CATALOGO DEI PRODOTTI DELLA RICERCA

BRESOLIN, Davide
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.173
EU - Europa 1.992
AS - Asia 530
AF - Africa 16
OC - Oceania 5
SA - Sud America 4
Continente sconosciuto - Info sul continente non disponibili 3
Totale 4.723
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.162
GB - Regno Unito 1.083
CN - Cina 483
SE - Svezia 178
FR - Francia 154
IE - Irlanda 139
FI - Finlandia 131
IT - Italia 107
DE - Germania 104
UA - Ucraina 45
TR - Turchia 27
BE - Belgio 18
CM - Camerun 14
CA - Canada 9
NL - Olanda 8
RU - Federazione Russa 6
AU - Australia 5
PL - Polonia 5
SA - Arabia Saudita 4
VN - Vietnam 4
HK - Hong Kong 3
IL - Israele 3
BR - Brasile 2
CH - Svizzera 2
CZ - Repubblica Ceca 2
EU - Europa 2
JP - Giappone 2
LU - Lussemburgo 2
MD - Moldavia 2
PE - Perù 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
CR - Costa Rica 1
ES - Italia 1
HU - Ungheria 1
IQ - Iraq 1
KG - Kirghizistan 1
KW - Kuwait 1
LV - Lettonia 1
MX - Messico 1
NG - Nigeria 1
OM - Oman 1
RO - Romania 1
SK - Slovacchia (Repubblica Slovacca) 1
ZA - Sudafrica 1
Totale 4.723
Salva come PNG Salva come JPEG
Città #
Southend 899
Jacksonville 450
Woodbridge 309
Chandler 295
Ann Arbor 293
Houston 168
Dublin 139
Lancaster 129
Ashburn 89
Wilmington 75
Beijing 68
Lawrence 65
Princeton 65
Nanjing 64
Jinan 47
Shenyang 45
Verona 43
Hebei 24
Nanchang 24
Ningbo 23
New York 21
Zhengzhou 21
Changsha 19
Tianjin 19
Brussels 18
Milan 17
Sindelfingen 17
Hangzhou 16
Taizhou 15
Taiyuan 12
Haikou 11
Boardman 9
Jiaxing 9
Guangzhou 8
Norwalk 8
Toronto 8
Helsinki 7
Los Angeles 7
Auburn Hills 6
Grezzana 6
San Francisco 6
Lanzhou 5
Washington 5
Dong Ket 4
Dongguan 4
Fuzhou 4
Pellestrina 4
Riyadh 4
Sequals 4
Aviano 3
Falls Church 3
Seattle 3
Atlanta 2
Chicago 2
Civitavecchia 2
Clearwater 2
Dearborn 2
Düsseldorf 2
Hilden 2
Lappeenranta 2
Lima 2
Luxembourg 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
Bishkek 1
Budapest 1
Canberra 1
Central 1
Changzhou 1
Chaoyang 1
Chisinau 1
Denver 1
Edinburgh 1
Esslingen 1
Esslingen am Neckar 1
Haifa 1
Hanover 1
Hefei 1
Istanbul 1
Jinhua 1
Johannesburg 1
Kemerovo 1
Kosice 1
Kunming 1
Kuwait City 1
Manchester 1
Markham 1
Melbourne 1
Totale 3.685
Salva come PNG Salva come JPEG
Nome #
A Decidable Spatial Generalization of Metric Interval Temporal Logic 147
Optimal tableau for Right Propositional Neighborhood Logic over trees 143
A tableau-based system for spatial reasoning about directional relations 125
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 124
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 124
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
A game-theoretic approach to fault diagnosis and identification of hybrid systems 100
Fault Diagnosis of Hybrid Systems: an Onboard Camera Model 100
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation 99
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 99
An Introduction to the Verification of Hybrid Systems using Ariadne 95
Open Problems in Verification and Refinement of Autonomous Robotic Systems 94
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 89
Formal Verification Applied to Robotic Surgery 89
Computing the evolution of hybrid systems using rigorous function calculus 87
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers 86
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 85
Parametric formal verification: the robotic paint spraying case study 85
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 84
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic 83
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 82
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems 81
Application of Contract-based verification techniques for Hybrid Automata to Surgical Robotic Systems 80
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power 78
An Optimal Decision Procedure for MPNL over the Integers 76
A tableau-based decision procedure for right propositional neighborhood logic 74
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 74
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture 74
A Tableau-based decision procedure for Right Propositional Neighborhood Logic 73
Correct-by-construction code generation from hybrid automata specification 72
An optimal decision procedure for Right Propositional Neighborhood Logic 69
Formal verification of robotic surgery tasks by reachability analysis 67
On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures 67
A tableau-based decision procedure for a branching-time interval temporal logic 66
Time granularities and ultimately periodic automata 66
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 65
Robotic surgery 65
Tableaux for Logics of Subinterval Structures over Dense Orderings 63
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 63
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL 63
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths 62
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 57
Formal verification of medical CPS: a laser incision case study 57
Relational dual tableaux for interval temporal logics 56
Time Granularities and Ultimately Periodic Automata 55
Metric propositional neighborhood logics on natural numbers 55
Minimizing Deterministic Timed Finite State Machines 54
Proof methods for Interval Temporal Logics 53
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics 52
Undecidability of interval temporal logics with the overlap modality 52
The light side of Interval Temporal Logic: the Bernays-Schoenfinkel's fragment of CDT 52
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 51
Reachability computation for hybrid systems with Ariadne 48
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT 48
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 47
The dark side of Interval Temporal Logic: sharpening the undecidability border 47
HyLTL: a temporal logic for model checking hybrid systems 47
On Begin, Meets and Before 46
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity 45
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms 43
Improving HyLTL model checking of hybrid systems 42
Rigorous continuous evolution of uncertain systems 42
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability 41
The dark side of interval temporal logic: marking the undecidability border 33
A higher order method for input-affine uncertain systems 31
Automating Numerical Parameters Along the Evolution of a Nonlinear System 16
Totale 4.813
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.118
article - articoli 3.363
book - libri 170
conference - conferenze 8.612
curatela - curatele 0
other - altro 562
patent - brevetti 0
selected - selezionate 0
volume - volumi 411
Totale 26.236
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019150 0 0 0 0 0 0 0 0 0 91 29 30
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/2024270 28 36 35 29 30 67 6 29 2 8 0 0
Totale 4.813