CATALOGO DEI PRODOTTI DELLA RICERCA

BRESOLIN, Davide
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.244
NA - Nord America 2.969
AS - Asia 1.894
SA - Sud America 280
AF - Africa 42
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 3
Totale 8.438
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.925
GB - Regno Unito 1.106
RU - Federazione Russa 1.054
SG - Singapore 741
CN - Cina 658
BR - Brasile 223
HK - Hong Kong 184
SE - Svezia 184
FR - Francia 172
IT - Italia 168
FI - Finlandia 160
IE - Irlanda 141
DE - Germania 129
VN - Vietnam 121
KR - Corea 75
UA - Ucraina 50
TR - Turchia 44
AR - Argentina 23
CA - Canada 23
BE - Belgio 19
PL - Polonia 15
ZA - Sudafrica 15
CM - Camerun 14
EC - Ecuador 14
NL - Olanda 13
IN - India 12
MX - Messico 11
BD - Bangladesh 8
ID - Indonesia 8
IQ - Iraq 7
AU - Australia 6
ES - Italia 6
AE - Emirati Arabi Uniti 5
CL - Cile 5
PE - Perù 5
SA - Arabia Saudita 5
EG - Egitto 4
JM - Giamaica 4
JP - Giappone 4
KG - Kirghizistan 4
PK - Pakistan 4
VE - Venezuela 4
CH - Svizzera 3
CO - Colombia 3
DO - Repubblica Dominicana 3
IL - Israele 3
LU - Lussemburgo 3
UZ - Uzbekistan 3
AL - Albania 2
AT - Austria 2
CZ - Repubblica Ceca 2
EU - Europa 2
HU - Ungheria 2
KW - Kuwait 2
LV - Lettonia 2
MA - Marocco 2
MD - Moldavia 2
PH - Filippine 2
RO - Romania 2
SK - Slovacchia (Repubblica Slovacca) 2
TG - Togo 2
UY - Uruguay 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AD - Andorra 1
BJ - Benin 1
CD - Congo 1
CR - Costa Rica 1
DK - Danimarca 1
DZ - Algeria 1
ET - Etiopia 1
GE - Georgia 1
KZ - Kazakistan 1
LT - Lituania 1
NG - Nigeria 1
NI - Nicaragua 1
OM - Oman 1
PT - Portogallo 1
PY - Paraguay 1
RS - Serbia 1
TH - Thailandia 1
TT - Trinidad e Tobago 1
Totale 8.438
Salva come PNG Salva come JPEG
Città #
Southend 899
Jacksonville 452
Singapore 357
Woodbridge 309
Moscow 307
Chandler 295
Ann Arbor 293
Dallas 205
Ashburn 190
Hong Kong 181
Houston 173
Dublin 141
Lancaster 129
Beijing 99
Wilmington 75
The Dalles 70
Lawrence 65
Nanjing 65
Princeton 65
Los Angeles 63
Ho Chi Minh City 55
Jinan 47
Shenyang 45
New York 44
Verona 44
Columbus 39
Milan 35
Seoul 35
Helsinki 31
Tianjin 28
Hebei 24
Nanchang 24
Ningbo 23
Zhengzhou 22
Buffalo 21
Changsha 21
Redondo Beach 21
Brussels 19
Hangzhou 19
Santa Clara 19
Sindelfingen 17
São Paulo 17
Hanoi 16
Des Moines 15
Taizhou 15
Guangzhou 14
Taiyuan 12
Haikou 11
Istanbul 11
Johannesburg 11
Montreal 10
Rome 10
San Francisco 10
Toronto 10
Warsaw 10
Boardman 9
Jiaxing 9
Munich 9
Rio de Janeiro 9
Brooklyn 8
Chicago 8
Guayaquil 8
Norwalk 8
Denver 7
Falkenstein 7
Fuzhou 7
Phoenix 7
Auburn Hills 6
Curitiba 6
Grezzana 6
Haiphong 6
London 6
Seattle 6
Shanghai 6
Stockholm 6
Washington 6
Frankfurt am Main 5
Lanzhou 5
Manchester 5
Meda 5
Mexico City 5
Orem 5
Roubaix 5
Ankara 4
Baghdad 4
Belo Horizonte 4
Bexley 4
Bishkek 4
Brasília 4
Bắc Ninh 4
Dong Ket 4
Dongguan 4
Jakarta 4
Kent 4
Lappeenranta 4
Natal 4
Ninh Bình 4
Pellestrina 4
Quito 4
Riyadh 4
Totale 5.491
Salva come PNG Salva come JPEG
Nome #
A Decidable Spatial Generalization of Metric Interval Temporal Logic 228
A tableau-based system for spatial reasoning about directional relations 223
A game-theoretic approach to fault diagnosis and identification of hybrid systems 189
Optimal tableau for Right Propositional Neighborhood Logic over trees 179
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 178
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 177
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 177
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 176
An Introduction to the Verification of Hybrid Systems using Ariadne 170
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 165
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 164
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation 162
Open Problems in Verification and Refinement of Autonomous Robotic Systems 161
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 159
Computing the evolution of hybrid systems using rigorous function calculus 157
Correct-by-construction code generation from hybrid automata specification 154
Fault Diagnosis of Hybrid Systems: an Onboard Camera Model 153
An Optimal Decision Procedure for MPNL over the Integers 152
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 148
A tableau-based decision procedure for a branching-time interval temporal logic 142
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems 141
Application of Contract-based verification techniques for Hybrid Automata to Surgical Robotic Systems 138
A tableau-based decision procedure for right propositional neighborhood logic 137
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic 137
Formal Verification Applied to Robotic Surgery 135
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 132
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers 130
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture 129
An optimal decision procedure for Right Propositional Neighborhood Logic 128
Formal verification of medical CPS: a laser incision case study 128
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 124
A computable and compositional semantics for hybrid systems 122
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 122
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power 122
A higher order method for input-affine uncertain systems 121
Parametric formal verification: the robotic paint spraying case study 120
A Tableau-based decision procedure for Right Propositional Neighborhood Logic 119
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 119
Time Granularities and Ultimately Periodic Automata 115
Time granularities and ultimately periodic automata 112
Tableaux for Logics of Subinterval Structures over Dense Orderings 112
Formal verification of robotic surgery tasks by reachability analysis 112
Metric propositional neighborhood logics on natural numbers 109
Robotic surgery 105
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL 103
On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures 102
Minimizing Deterministic Timed Finite State Machines 100
Rigorous continuous evolution of uncertain systems 100
Relational dual tableaux for interval temporal logics 98
Proof methods for Interval Temporal Logics 97
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 95
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths 95
Automating Numerical Parameters Along the Evolution of a Nonlinear System 93
Reachability computation for hybrid systems with Ariadne 93
Undecidability of interval temporal logics with the overlap modality 92
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity 92
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 90
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics 89
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability 89
The light side of Interval Temporal Logic: the Bernays-Schoenfinkel's fragment of CDT 89
On Begin, Meets and Before 86
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 86
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT 81
The dark side of Interval Temporal Logic: sharpening the undecidability border 79
HyLTL: a temporal logic for model checking hybrid systems 77
The dark side of interval temporal logic: marking the undecidability border 76
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms 75
Improving HyLTL model checking of hybrid systems 71
Totale 8.531
Salva come PNG Salva come JPEG
Categoria #
all - tutte 26.888
article - articoli 7.505
book - libri 322
conference - conferenze 17.050
curatela - curatele 0
other - altro 1.113
patent - brevetti 0
selected - selezionate 0
volume - volumi 898
Totale 53.776
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021247 0 0 0 0 0 65 12 38 50 7 56 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/20262.395 257 191 259 588 920 180 0 0 0 0 0 0
Totale 8.531