CATALOGO DEI PRODOTTI DELLA RICERCA

BRESOLIN, Davide
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.186
EU - Europa 2.004
AS - Asia 630
AF - Africa 16
SA - Sud America 6
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 3
Totale 4.850
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.174
GB - Regno Unito 1.083
CN - Cina 490
SE - Svezia 181
FR - Francia 154
IE - Irlanda 139
FI - Finlandia 133
IT - Italia 108
DE - Germania 105
SG - Singapore 53
UA - Ucraina 45
KR - Corea 35
TR - Turchia 27
BE - Belgio 18
CM - Camerun 14
CA - Canada 9
NL - Olanda 9
RU - Federazione Russa 7
AU - Australia 5
PL - Polonia 5
KG - Kirghizistan 4
SA - Arabia Saudita 4
VN - Vietnam 4
HK - Hong Kong 3
IL - Israele 3
LU - Lussemburgo 3
BR - Brasile 2
CH - Svizzera 2
CZ - Repubblica Ceca 2
EC - Ecuador 2
EU - Europa 2
JP - Giappone 2
MD - Moldavia 2
PE - Perù 2
SK - Slovacchia (Repubblica Slovacca) 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AL - Albania 1
BD - Bangladesh 1
CR - Costa Rica 1
ES - Italia 1
HU - Ungheria 1
IQ - Iraq 1
JM - Giamaica 1
KW - Kuwait 1
LT - Lituania 1
LV - Lettonia 1
MX - Messico 1
NG - Nigeria 1
OM - Oman 1
RO - Romania 1
ZA - Sudafrica 1
Totale 4.850
Salva come PNG Salva come JPEG
Città #
Southend 899
Jacksonville 451
Woodbridge 309
Chandler 295
Ann Arbor 293
Houston 168
Dublin 139
Lancaster 129
Ashburn 90
Wilmington 75
Beijing 70
Lawrence 65
Princeton 65
Nanjing 64
Jinan 47
Shenyang 45
Verona 43
Singapore 38
Seoul 35
Hebei 24
Nanchang 24
Ningbo 23
New York 21
Zhengzhou 21
Changsha 19
Tianjin 19
Brussels 18
Milan 18
Sindelfingen 17
Hangzhou 16
Taizhou 15
Taiyuan 12
Haikou 11
Boardman 9
Jiaxing 9
Los Angeles 9
Guangzhou 8
Norwalk 8
Toronto 8
Helsinki 7
Auburn Hills 6
Grezzana 6
San Francisco 6
Washington 6
Lanzhou 5
Bishkek 4
Dong Ket 4
Dongguan 4
Fuzhou 4
Kent 4
Lappeenranta 4
Pellestrina 4
Riyadh 4
Sequals 4
Aviano 3
Falls Church 3
Luxembourg 3
Seattle 3
Stockholm 3
Atlanta 2
Chicago 2
Civitavecchia 2
Clearwater 2
Dearborn 2
Düsseldorf 2
Guayaquil 2
Hilden 2
Lima 2
Nettuno 2
Orange 2
Philadelphia 2
Redmond 2
Redwood City 2
Rotterdam 2
Sydney 2
Tokyo 2
Warsaw 2
Yicheng 2
Abuja 1
Andover 1
Austin 1
Birmingham 1
Bratislava 1
Budapest 1
Canberra 1
Central 1
Changzhou 1
Chaoyang 1
Chisinau 1
Denver 1
Dhaka 1
Dubai 1
Edinburgh 1
El Paso 1
Esslingen 1
Esslingen am Neckar 1
Haifa 1
Hanover 1
Hefei 1
Istanbul 1
Totale 3.776
Salva come PNG Salva come JPEG
Nome #
A Decidable Spatial Generalization of Metric Interval Temporal Logic 148
Optimal tableau for Right Propositional Neighborhood Logic over trees 145
A tableau-based system for spatial reasoning about directional relations 127
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 126
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 126
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 115
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 110
Fault Diagnosis of Hybrid Systems: an Onboard Camera Model 103
A game-theoretic approach to fault diagnosis and identification of hybrid systems 102
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 102
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation 101
An Introduction to the Verification of Hybrid Systems using Ariadne 97
Open Problems in Verification and Refinement of Autonomous Robotic Systems 96
Formal Verification Applied to Robotic Surgery 92
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 91
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers 90
Computing the evolution of hybrid systems using rigorous function calculus 88
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 87
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 87
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 86
Parametric formal verification: the robotic paint spraying case study 86
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic 85
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems 84
Application of Contract-based verification techniques for Hybrid Automata to Surgical Robotic Systems 82
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power 79
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 78
An Optimal Decision Procedure for MPNL over the Integers 77
Correct-by-construction code generation from hybrid automata specification 76
A tableau-based decision procedure for right propositional neighborhood logic 75
A Tableau-based decision procedure for Right Propositional Neighborhood Logic 74
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture 74
An optimal decision procedure for Right Propositional Neighborhood Logic 71
Formal verification of robotic surgery tasks by reachability analysis 71
A tableau-based decision procedure for a branching-time interval temporal logic 68
Time granularities and ultimately periodic automata 68
Robotic surgery 68
On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures 68
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 67
Tableaux for Logics of Subinterval Structures over Dense Orderings 66
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 65
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL 64
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths 62
Formal verification of medical CPS: a laser incision case study 60
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 59
Time Granularities and Ultimately Periodic Automata 58
Relational dual tableaux for interval temporal logics 58
Metric propositional neighborhood logics on natural numbers 57
Proof methods for Interval Temporal Logics 55
Minimizing Deterministic Timed Finite State Machines 55
Undecidability of interval temporal logics with the overlap modality 53
The light side of Interval Temporal Logic: the Bernays-Schoenfinkel's fragment of CDT 53
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 53
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics 52
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 50
HyLTL: a temporal logic for model checking hybrid systems 50
Reachability computation for hybrid systems with Ariadne 49
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT 49
On Begin, Meets and Before 48
The dark side of Interval Temporal Logic: sharpening the undecidability border 47
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity 47
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms 45
Rigorous continuous evolution of uncertain systems 44
Improving HyLTL model checking of hybrid systems 43
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability 42
The dark side of interval temporal logic: marking the undecidability border 36
A higher order method for input-affine uncertain systems 32
Automating Numerical Parameters Along the Evolution of a Nonlinear System 18
Totale 4.940
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.408
article - articoli 3.729
book - libri 185
conference - conferenze 9.420
curatela - curatele 0
other - altro 621
patent - brevetti 0
selected - selezionate 0
volume - volumi 453
Totale 28.816
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020618 86 2 11 67 36 94 77 42 44 73 24 62
2020/2021609 35 110 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
Totale 4.940