CATALOGO DEI PRODOTTI DELLA RICERCA

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021464 0 0 44 79 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/2026449 257 191 1 0 0 0 0 0 0 0 0 0
Totale 6.585