CATALOGO DEI PRODOTTI DELLA RICERCA

BRESOLIN, Davide
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.229
EU - Europa 3.462
AS - Asia 2.309
SA - Sud America 318
Continente sconosciuto - Info sul continente non disponibili 97
AF - Africa 62
OC - Oceania 6
Totale 10.483
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.104
GB - Regno Unito 1.117
RU - Federazione Russa 1.068
SG - Singapore 912
CN - Cina 695
IT - Italia 327
BR - Brasile 239
HK - Hong Kong 190
VN - Vietnam 188
SE - Svezia 184
FR - Francia 178
FI - Finlandia 161
IE - Irlanda 142
DE - Germania 137
KR - Corea 101
CA - Canada 72
BD - Bangladesh 60
UA - Ucraina 53
TR - Turchia 49
AR - Argentina 30
BE - Belgio 19
IN - India 19
NL - Olanda 19
EC - Ecuador 18
PL - Polonia 17
ZA - Sudafrica 17
IQ - Iraq 16
CM - Camerun 14
JP - Giappone 13
IL - Israele 12
MX - Messico 12
NG - Nigeria 10
ID - Indonesia 9
CO - Colombia 8
ES - Italia 8
CL - Cile 7
PE - Perù 7
AU - Australia 6
JM - Giamaica 6
PH - Filippine 6
PK - Pakistan 6
PR - Porto Rico 6
SA - Arabia Saudita 6
VE - Venezuela 6
AE - Emirati Arabi Uniti 5
CR - Costa Rica 5
EG - Egitto 5
GT - Guatemala 5
UZ - Uzbekistan 5
KG - Kirghizistan 4
SV - El Salvador 4
CH - Svizzera 3
DO - Repubblica Dominicana 3
EE - Estonia 3
HN - Honduras 3
LU - Lussemburgo 3
MA - Marocco 3
NI - Nicaragua 3
OM - Oman 3
RO - Romania 3
SC - Seychelles 3
TT - Trinidad e Tobago 3
AL - Albania 2
AT - Austria 2
CZ - Repubblica Ceca 2
DZ - Algeria 2
EU - Europa 2
GP - Guadalupe 2
HU - Ungheria 2
KW - Kuwait 2
KZ - Kazakistan 2
LV - Lettonia 2
MD - Moldavia 2
MY - Malesia 2
SK - Slovacchia (Repubblica Slovacca) 2
TG - Togo 2
UY - Uruguay 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AD - Andorra 1
BB - Barbados 1
BJ - Benin 1
CD - Congo 1
CW - ???statistics.table.value.countryCode.CW??? 1
DK - Danimarca 1
ET - Etiopia 1
GE - Georgia 1
IS - Islanda 1
JO - Giordania 1
KH - Cambogia 1
LT - Lituania 1
MR - Mauritania 1
PT - Portogallo 1
PY - Paraguay 1
RS - Serbia 1
SN - Senegal 1
TH - Thailandia 1
TN - Tunisia 1
Totale 10.390
Salva come PNG Salva come JPEG
Città #
Southend 899
Singapore 493
Ashburn 480
Jacksonville 453
San Jose 357
Woodbridge 310
Moscow 307
Chandler 295
Ann Arbor 293
Dallas 240
Hong Kong 186
Houston 175
Dublin 142
Council Bluffs 139
Lancaster 129
Verona 128
Beijing 102
The Dalles 100
Ho Chi Minh City 82
Wilmington 76
Los Angeles 68
Lawrence 65
Nanjing 65
Princeton 65
New York 60
Jinan 47
Shenyang 45
Columbus 43
Milan 43
Seoul 35
Hanoi 32
Helsinki 32
Santa Clara 32
Tianjin 30
Staranzano 28
Hebei 24
Nanchang 24
Buffalo 23
Ningbo 23
Zhengzhou 22
Changsha 21
Redondo Beach 21
Brussels 19
Guangzhou 19
Hangzhou 19
São Paulo 19
Sindelfingen 17
Des Moines 16
Rome 16
Toronto 16
Montreal 15
Taizhou 15
Las Vegas 14
Chicago 13
Phoenix 13
Istanbul 12
Johannesburg 12
Taiyuan 12
Tokyo 12
Haikou 11
Orem 11
Frankfurt am Main 10
Guayaquil 10
North Bergen 10
San Francisco 10
Warsaw 10
Baghdad 9
Boardman 9
Brooklyn 9
Jiaxing 9
Munich 9
Norwalk 9
Rio de Janeiro 9
Abuja 8
Denver 8
Haiphong 8
London 8
Amsterdam 7
Falkenstein 7
Fuzhou 7
Seattle 7
Shanghai 7
Atlanta 6
Auburn Hills 6
Curitiba 6
Grezzana 6
Mexico City 6
Philadelphia 6
Shenzhen 6
Stockholm 6
Washington 6
Da Nang 5
Jakarta 5
Lanzhou 5
Manchester 5
Meda 5
Quito 5
Roubaix 5
San José 5
Ankara 4
Totale 6.793
Salva come PNG Salva come JPEG
Nome #
A Decidable Spatial Generalization of Metric Interval Temporal Logic 268
A tableau-based system for spatial reasoning about directional relations 258
A game-theoretic approach to fault diagnosis and identification of hybrid systems 229
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 227
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 221
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 215
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 209
Optimal tableau for Right Propositional Neighborhood Logic over trees 203
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 200
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation 194
An Introduction to the Verification of Hybrid Systems using Ariadne 194
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 193
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 190
Computing the evolution of hybrid systems using rigorous function calculus 183
Fault Diagnosis of Hybrid Systems: an Onboard Camera Model 183
Open Problems in Verification and Refinement of Autonomous Robotic Systems 183
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 178
An Optimal Decision Procedure for MPNL over the Integers 176
Correct-by-construction code generation from hybrid automata specification 175
A tableau-based decision procedure for a branching-time interval temporal logic 173
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic 173
Formal Verification Applied to Robotic Surgery 167
Application of Contract-based verification techniques for Hybrid Automata to Surgical Robotic Systems 166
A computable and compositional semantics for hybrid systems 164
A higher order method for input-affine uncertain systems 164
Formal verification of medical CPS: a laser incision case study 164
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems 163
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 163
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture 161
A tableau-based decision procedure for right propositional neighborhood logic 158
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 156
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers 155
An optimal decision procedure for Right Propositional Neighborhood Logic 154
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 154
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power 151
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL 151
Metric propositional neighborhood logics on natural numbers 146
Parametric formal verification: the robotic paint spraying case study 145
Tableaux for Logics of Subinterval Structures over Dense Orderings 144
Robotic surgery 141
Formal verification of robotic surgery tasks by reachability analysis 141
A Tableau-based decision procedure for Right Propositional Neighborhood Logic 137
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 136
Minimizing Deterministic Timed Finite State Machines 134
Time Granularities and Ultimately Periodic Automata 129
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 128
On Begin, Meets and Before 128
On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures 127
Rigorous continuous evolution of uncertain systems 126
Automating Numerical Parameters Along the Evolution of a Nonlinear System 125
Time granularities and ultimately periodic automata 124
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity 122
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT 119
Relational dual tableaux for interval temporal logics 118
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 117
Proof methods for Interval Temporal Logics 116
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths 115
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability 112
Reachability computation for hybrid systems with Ariadne 111
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 110
The light side of Interval Temporal Logic: the Bernays-Schoenfinkel's fragment of CDT 106
The dark side of interval temporal logic: marking the undecidability border 105
Undecidability of interval temporal logics with the overlap modality 104
HyLTL: a temporal logic for model checking hybrid systems 103
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics 102
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms 102
The dark side of Interval Temporal Logic: sharpening the undecidability border 98
Improving HyLTL model checking of hybrid systems 96
Totale 10.483
Salva come PNG Salva come JPEG
Categoria #
all - tutte 33.777
article - articoli 9.524
book - libri 403
conference - conferenze 21.378
curatela - curatele 0
other - altro 1.370
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.102
Totale 67.554
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022358 0 0 0 0 43 50 12 58 21 16 38 120
2022/2023937 74 100 84 132 94 220 26 59 110 3 19 16
2023/2024397 28 36 35 29 30 67 6 29 2 65 45 25
2024/20251.196 83 90 29 209 35 36 20 82 186 105 74 247
2025/20263.680 257 191 259 588 920 220 313 220 243 248 90 131
2026/2027667 43 81 160 314 69 0 0 0 0 0 0 0
Totale 10.483