CATALOGO DEI PRODOTTI DELLA RICERCA

BRESOLIN, Davide
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.516
EU - Europa 3.355
AS - Asia 2.230
SA - Sud America 310
AF - Africa 59
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 3
Totale 9.479
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.464
GB - Regno Unito 1.109
RU - Federazione Russa 1.056
SG - Singapore 899
CN - Cina 687
IT - Italia 255
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
UA - Ucraina 52
TR - Turchia 47
AR - Argentina 30
CA - Canada 28
BD - Bangladesh 19
BE - Belgio 19
IN - India 19
EC - Ecuador 18
NL - Olanda 17
ZA - Sudafrica 17
IQ - Iraq 16
PL - Polonia 15
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
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
JM - Giamaica 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
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
CR - Costa Rica 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
TH - Thailandia 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
Totale 9.479
Salva come PNG Salva come JPEG
Città #
Southend 899
Singapore 492
Jacksonville 452
Ashburn 350
Woodbridge 309
Moscow 307
Chandler 295
San Jose 295
Ann Arbor 293
Dallas 208
Hong Kong 186
Houston 175
Dublin 142
Lancaster 129
Verona 128
The Dalles 100
Beijing 99
Ho Chi Minh City 82
Wilmington 76
Los Angeles 66
Lawrence 65
Nanjing 65
Princeton 65
New York 52
Jinan 47
Shenyang 45
Columbus 39
Milan 35
Seoul 35
Hanoi 32
Helsinki 32
Tianjin 30
Hebei 24
Nanchang 24
Buffalo 23
Ningbo 23
Santa Clara 22
Zhengzhou 22
Changsha 21
Redondo Beach 21
Brussels 19
Guangzhou 19
Hangzhou 19
São Paulo 19
Sindelfingen 17
Des Moines 16
Taizhou 15
Johannesburg 12
Taiyuan 12
Haikou 11
Istanbul 11
Montreal 11
Orem 11
Toronto 11
Frankfurt am Main 10
Guayaquil 10
Rome 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
Dhaka 4
Totale 6.318
Salva come PNG Salva come JPEG
Nome #
A Decidable Spatial Generalization of Metric Interval Temporal Logic 253
A tableau-based system for spatial reasoning about directional relations 240
A game-theoretic approach to fault diagnosis and identification of hybrid systems 209
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 208
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 203
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 191
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 188
Optimal tableau for Right Propositional Neighborhood Logic over trees 187
An Introduction to the Verification of Hybrid Systems using Ariadne 184
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 180
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation 180
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 178
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 176
Open Problems in Verification and Refinement of Autonomous Robotic Systems 173
An Optimal Decision Procedure for MPNL over the Integers 170
Fault Diagnosis of Hybrid Systems: an Onboard Camera Model 169
Computing the evolution of hybrid systems using rigorous function calculus 167
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 165
Correct-by-construction code generation from hybrid automata specification 165
A tableau-based decision procedure for a branching-time interval temporal logic 164
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic 160
Formal Verification Applied to Robotic Surgery 158
Application of Contract-based verification techniques for Hybrid Automata to Surgical Robotic Systems 155
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems 154
A computable and compositional semantics for hybrid systems 149
A tableau-based decision procedure for right propositional neighborhood logic 149
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture 149
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 147
Formal verification of medical CPS: a laser incision case study 147
A higher order method for input-affine uncertain systems 146
An optimal decision procedure for Right Propositional Neighborhood Logic 145
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers 142
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 141
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power 138
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 137
Parametric formal verification: the robotic paint spraying case study 135
A Tableau-based decision procedure for Right Propositional Neighborhood Logic 131
Tableaux for Logics of Subinterval Structures over Dense Orderings 128
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 128
Metric propositional neighborhood logics on natural numbers 128
Formal verification of robotic surgery tasks by reachability analysis 126
Robotic surgery 125
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL 122
Time Granularities and Ultimately Periodic Automata 121
Minimizing Deterministic Timed Finite State Machines 120
Time granularities and ultimately periodic automata 119
On Begin, Meets and Before 116
Rigorous continuous evolution of uncertain systems 112
On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures 111
Automating Numerical Parameters Along the Evolution of a Nonlinear System 109
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths 109
Relational dual tableaux for interval temporal logics 108
Proof methods for Interval Temporal Logics 108
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 108
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity 107
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability 104
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 104
Reachability computation for hybrid systems with Ariadne 102
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 99
The light side of Interval Temporal Logic: the Bernays-Schoenfinkel's fragment of CDT 99
Undecidability of interval temporal logics with the overlap modality 96
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics 95
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms 94
The dark side of interval temporal logic: marking the undecidability border 92
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT 90
The dark side of Interval Temporal Logic: sharpening the undecidability border 89
HyLTL: a temporal logic for model checking hybrid systems 88
Improving HyLTL model checking of hybrid systems 82
Totale 9.572
Salva come PNG Salva come JPEG
Categoria #
all - tutte 28.806
article - articoli 8.104
book - libri 341
conference - conferenze 18.221
curatela - curatele 0
other - altro 1.175
patent - brevetti 0
selected - selezionate 0
volume - volumi 965
Totale 57.612
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202182 0 0 0 0 0 0 0 0 0 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/20263.436 257 191 259 588 920 220 313 220 243 225 0 0
Totale 9.572