CATALOGO DEI PRODOTTI DELLA RICERCA

BRESOLIN, Davide
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.697
EU - Europa 3.368
AS - Asia 2.278
SA - Sud America 310
AF - Africa 59
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 3
Totale 9.721
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.637
GB - Regno Unito 1.109
RU - Federazione Russa 1.056
SG - Singapore 903
CN - Cina 691
IT - Italia 266
BR - Brasile 236
HK - Hong Kong 189
VN - Vietnam 188
SE - Svezia 184
FR - Francia 175
FI - Finlandia 161
IE - Irlanda 142
DE - Germania 136
KR - Corea 101
BD - Bangladesh 59
UA - Ucraina 52
TR - Turchia 47
CA - Canada 32
AR - Argentina 30
BE - Belgio 19
IN - India 19
EC - Ecuador 18
NL - Olanda 17
PL - Polonia 17
ZA - Sudafrica 17
IQ - Iraq 16
CM - Camerun 14
MX - Messico 12
JP - Giappone 10
NG - Nigeria 10
ID - Indonesia 8
CL - Cile 7
PE - Perù 7
AU - Australia 6
ES - Italia 6
JM - Giamaica 6
PH - Filippine 6
PK - Pakistan 6
SA - Arabia Saudita 6
AE - Emirati Arabi Uniti 5
EG - Egitto 5
UZ - Uzbekistan 5
VE - Venezuela 5
CO - Colombia 4
KG - Kirghizistan 4
CH - Svizzera 3
DO - Repubblica Dominicana 3
IL - Israele 3
LU - Lussemburgo 3
MA - Marocco 3
OM - Oman 3
RO - Romania 3
AL - Albania 2
AT - Austria 2
CR - Costa Rica 2
CZ - Repubblica Ceca 2
DZ - Algeria 2
EU - Europa 2
HU - Ungheria 2
KW - Kuwait 2
KZ - Kazakistan 2
LV - Lettonia 2
MD - Moldavia 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
DK - Danimarca 1
ET - Etiopia 1
GE - Georgia 1
GT - Guatemala 1
JO - Giordania 1
KH - Cambogia 1
LT - Lituania 1
MR - Mauritania 1
MY - Malesia 1
NI - Nicaragua 1
PT - Portogallo 1
PY - Paraguay 1
RS - Serbia 1
SN - Senegal 1
SV - El Salvador 1
TH - Thailandia 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
Totale 9.721
Salva come PNG Salva come JPEG
Città #
Southend 899
Singapore 493
Jacksonville 452
Ashburn 370
San Jose 332
Woodbridge 309
Moscow 307
Chandler 295
Ann Arbor 293
Dallas 212
Hong Kong 186
Houston 175
Dublin 142
Lancaster 129
Verona 128
The Dalles 100
Beijing 99
Ho Chi Minh City 82
Wilmington 76
Council Bluffs 75
Los Angeles 67
Lawrence 65
Nanjing 65
Princeton 65
New York 58
Jinan 47
Shenyang 45
Columbus 40
Milan 36
Seoul 35
Hanoi 32
Helsinki 32
Tianjin 30
Santa Clara 25
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
Taizhou 15
Toronto 13
Johannesburg 12
Taiyuan 12
Haikou 11
Istanbul 11
Montreal 11
Orem 11
Rome 11
Frankfurt am Main 10
Guayaquil 10
San Francisco 10
Warsaw 10
Baghdad 9
Boardman 9
Chicago 9
Jiaxing 9
Munich 9
Phoenix 9
Rio de Janeiro 9
Tokyo 9
Abuja 8
Brooklyn 8
Haiphong 8
Norwalk 8
Denver 7
Falkenstein 7
Fuzhou 7
London 7
Seattle 7
Shanghai 7
Amsterdam 6
Auburn Hills 6
Curitiba 6
Grezzana 6
Mexico City 6
Shenzhen 6
Stockholm 6
Washington 6
Da Nang 5
Lanzhou 5
Manchester 5
Meda 5
Quito 5
Roubaix 5
Ankara 4
Belo Horizonte 4
Bexley 4
Bishkek 4
Brasília 4
Bắc Ninh 4
Campinas 4
Chennai 4
Totale 6.466
Salva come PNG Salva come JPEG
Nome #
A Decidable Spatial Generalization of Metric Interval Temporal Logic 254
A tableau-based system for spatial reasoning about directional relations 243
A game-theoretic approach to fault diagnosis and identification of hybrid systems 213
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 208
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 208
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 208
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 194
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 191
Optimal tableau for Right Propositional Neighborhood Logic over trees 190
An Introduction to the Verification of Hybrid Systems using Ariadne 186
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation 183
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 181
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 179
Open Problems in Verification and Refinement of Autonomous Robotic Systems 174
Fault Diagnosis of Hybrid Systems: an Onboard Camera Model 172
An Optimal Decision Procedure for MPNL over the Integers 171
Correct-by-construction code generation from hybrid automata specification 169
Computing the evolution of hybrid systems using rigorous function calculus 169
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 165
A tableau-based decision procedure for a branching-time interval temporal logic 164
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic 162
Formal Verification Applied to Robotic Surgery 158
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems 157
Application of Contract-based verification techniques for Hybrid Automata to Surgical Robotic Systems 155
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture 152
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 151
A computable and compositional semantics for hybrid systems 150
A tableau-based decision procedure for right propositional neighborhood logic 150
Formal verification of medical CPS: a laser incision case study 150
A higher order method for input-affine uncertain systems 149
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 149
An optimal decision procedure for Right Propositional Neighborhood Logic 146
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers 143
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 142
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power 142
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL 140
Parametric formal verification: the robotic paint spraying case study 137
Tableaux for Logics of Subinterval Structures over Dense Orderings 132
Metric propositional neighborhood logics on natural numbers 132
A Tableau-based decision procedure for Right Propositional Neighborhood Logic 131
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 131
Formal verification of robotic surgery tasks by reachability analysis 130
Robotic surgery 127
Time Granularities and Ultimately Periodic Automata 123
Minimizing Deterministic Timed Finite State Machines 123
Time granularities and ultimately periodic automata 120
On Begin, Meets and Before 118
On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures 116
Rigorous continuous evolution of uncertain systems 115
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity 114
Relational dual tableaux for interval temporal logics 113
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 113
Automating Numerical Parameters Along the Evolution of a Nonlinear System 112
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT 112
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths 109
Proof methods for Interval Temporal Logics 108
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 107
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability 104
Reachability computation for hybrid systems with Ariadne 103
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 102
The light side of Interval Temporal Logic: the Bernays-Schoenfinkel's fragment of CDT 102
Undecidability of interval temporal logics with the overlap modality 101
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms 98
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics 96
HyLTL: a temporal logic for model checking hybrid systems 95
The dark side of interval temporal logic: marking the undecidability border 94
The dark side of Interval Temporal Logic: sharpening the undecidability border 93
Improving HyLTL model checking of hybrid systems 85
Totale 9.814
Salva come PNG Salva come JPEG
Categoria #
all - tutte 30.441
article - articoli 8.581
book - libri 363
conference - conferenze 19.246
curatela - curatele 0
other - altro 1.242
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.009
Totale 60.882
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202119 0 0 0 0 0 0 0 0 0 0 0 19
2021/2022540 24 137 8 13 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.678 257 191 259 588 920 220 313 220 243 248 90 129
Totale 9.814