CATALOGO DEI PRODOTTI DELLA RICERCA

BRESOLIN, Davide
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.866
EU - Europa 3.408
AS - Asia 2.293
SA - Sud America 315
Continente sconosciuto - Info sul continente non disponibili 96
AF - Africa 59
OC - Oceania 6
Totale 10.043
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.801
GB - Regno Unito 1.110
RU - Federazione Russa 1.056
SG - Singapore 910
CN - Cina 694
IT - Italia 302
BR - Brasile 237
HK - Hong Kong 190
VN - Vietnam 188
SE - Svezia 184
FR - Francia 176
FI - Finlandia 161
IE - Irlanda 142
DE - Germania 136
KR - Corea 101
BD - Bangladesh 59
UA - Ucraina 52
TR - Turchia 48
CA - Canada 36
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 11
NG - Nigeria 10
ID - Indonesia 9
CO - Colombia 8
CL - Cile 7
ES - Italia 7
PE - Perù 7
AU - Australia 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
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
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
DK - Danimarca 1
ET - Etiopia 1
GE - Georgia 1
GT - Guatemala 1
HN - Honduras 1
IS - Islanda 1
JO - Giordania 1
KH - Cambogia 1
LT - Lituania 1
MR - Mauritania 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.950
Salva come PNG Salva come JPEG
Città #
Southend 899
Singapore 493
Jacksonville 452
Ashburn 384
San Jose 332
Woodbridge 310
Moscow 307
Chandler 295
Ann Arbor 293
Dallas 215
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 58
Jinan 47
Shenyang 45
Columbus 40
Milan 36
Seoul 35
Hanoi 32
Helsinki 32
Tianjin 30
Staranzano 28
Santa Clara 27
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 14
Phoenix 13
Istanbul 12
Johannesburg 12
Montreal 12
Rome 12
Taiyuan 12
Haikou 11
Orem 11
Chicago 10
Frankfurt am Main 10
Guayaquil 10
San Francisco 10
Tokyo 10
Warsaw 10
Baghdad 9
Boardman 9
Brooklyn 9
Jiaxing 9
Munich 9
Rio de Janeiro 9
Abuja 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
Philadelphia 6
Shenzhen 6
Stockholm 6
Washington 6
Da Nang 5
Jakarta 5
Lanzhou 5
Manchester 5
Meda 5
Quito 5
Roubaix 5
Ankara 4
Belo Horizonte 4
Bexley 4
Bishkek 4
Brasília 4
Totale 6.592
Salva come PNG Salva come JPEG
Nome #
A Decidable Spatial Generalization of Metric Interval Temporal Logic 259
A tableau-based system for spatial reasoning about directional relations 249
A game-theoretic approach to fault diagnosis and identification of hybrid systems 220
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 214
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 212
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 210
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 199
Optimal tableau for Right Propositional Neighborhood Logic over trees 198
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 194
An Introduction to the Verification of Hybrid Systems using Ariadne 190
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation 188
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 184
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 184
Open Problems in Verification and Refinement of Autonomous Robotic Systems 177
Computing the evolution of hybrid systems using rigorous function calculus 175
Fault Diagnosis of Hybrid Systems: an Onboard Camera Model 175
An Optimal Decision Procedure for MPNL over the Integers 171
Correct-by-construction code generation from hybrid automata specification 171
A tableau-based decision procedure for a branching-time interval temporal logic 167
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 167
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic 166
Formal Verification Applied to Robotic Surgery 162
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems 158
Application of Contract-based verification techniques for Hybrid Automata to Surgical Robotic Systems 158
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture 155
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 155
A higher order method for input-affine uncertain systems 154
Formal verification of medical CPS: a laser incision case study 154
A computable and compositional semantics for hybrid systems 152
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 152
A tableau-based decision procedure for right propositional neighborhood logic 151
An optimal decision procedure for Right Propositional Neighborhood Logic 147
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers 147
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 145
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power 145
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL 145
Parametric formal verification: the robotic paint spraying case study 142
Metric propositional neighborhood logics on natural numbers 136
Tableaux for Logics of Subinterval Structures over Dense Orderings 135
Formal verification of robotic surgery tasks by reachability analysis 135
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 134
A Tableau-based decision procedure for Right Propositional Neighborhood Logic 132
Robotic surgery 131
Minimizing Deterministic Timed Finite State Machines 128
Time Granularities and Ultimately Periodic Automata 124
On Begin, Meets and Before 123
Time granularities and ultimately periodic automata 121
On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures 121
Rigorous continuous evolution of uncertain systems 119
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 118
Automating Numerical Parameters Along the Evolution of a Nonlinear System 116
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT 116
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity 115
Relational dual tableaux for interval temporal logics 114
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths 113
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 113
Proof methods for Interval Temporal Logics 110
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 107
Reachability computation for hybrid systems with Ariadne 106
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability 105
The light side of Interval Temporal Logic: the Bernays-Schoenfinkel's fragment of CDT 103
Undecidability of interval temporal logics with the overlap modality 102
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms 99
HyLTL: a temporal logic for model checking hybrid systems 98
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics 97
The dark side of Interval Temporal Logic: sharpening the undecidability border 95
The dark side of interval temporal logic: marking the undecidability border 95
Improving HyLTL model checking of hybrid systems 90
Totale 10.043
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.296
article - articoli 9.091
book - libri 383
conference - conferenze 20.440
curatela - curatele 0
other - altro 1.314
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.068
Totale 64.592
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022379 0 0 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.680 257 191 259 588 920 220 313 220 243 248 90 131
2026/2027227 43 81 103 0 0 0 0 0 0 0 0 0
Totale 10.043