CATALOGO DEI PRODOTTI DELLA RICERCA

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021341 0 0 0 0 94 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/20261.376 257 191 259 588 81 0 0 0 0 0 0 0
Totale 7.512