CATALOGO DEI PRODOTTI DELLA RICERCA

BRESOLIN, Davide
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.235
EU - Europa 2.212
AS - Asia 851
AF - Africa 18
OC - Oceania 6
SA - Sud America 6
Continente sconosciuto - Info sul continente non disponibili 3
Totale 5.331
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.223
GB - Regno Unito 1.085
CN - Cina 540
SG - Singapore 220
SE - Svezia 181
RU - Federazione Russa 160
FI - Finlandia 157
FR - Francia 154
IE - Irlanda 140
IT - Italia 117
DE - Germania 113
UA - Ucraina 47
KR - Corea 35
TR - Turchia 27
BE - Belgio 19
CM - Camerun 14
NL - Olanda 12
CA - Canada 9
AU - Australia 6
PL - Polonia 5
HK - Hong Kong 4
KG - Kirghizistan 4
SA - Arabia Saudita 4
VN - Vietnam 4
CH - Svizzera 3
IL - Israele 3
JP - Giappone 3
LU - Lussemburgo 3
AL - Albania 2
BR - Brasile 2
CZ - Repubblica Ceca 2
EC - Ecuador 2
EU - Europa 2
ID - Indonesia 2
MD - Moldavia 2
PE - Perù 2
SK - Slovacchia (Repubblica Slovacca) 2
TG - Togo 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AT - Austria 1
BD - Bangladesh 1
CR - Costa Rica 1
DK - Danimarca 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
PT - Portogallo 1
RO - Romania 1
ZA - Sudafrica 1
Totale 5.331
Salva come PNG Salva come JPEG
Città #
Southend 899
Jacksonville 451
Woodbridge 309
Chandler 295
Ann Arbor 293
Singapore 188
Houston 168
Dublin 140
Lancaster 129
Ashburn 93
Wilmington 75
Beijing 71
Lawrence 65
Princeton 65
Nanjing 64
Jinan 47
Shenyang 45
Verona 43
Seoul 35
Helsinki 31
Hebei 24
Nanchang 24
Ningbo 23
New York 22
Zhengzhou 21
Tianjin 20
Brussels 19
Changsha 19
Milan 18
Hangzhou 17
Sindelfingen 17
Santa Clara 16
Taizhou 15
Taiyuan 12
Haikou 11
Guangzhou 10
Boardman 9
Jiaxing 9
Los Angeles 9
Norwalk 8
Toronto 8
Falkenstein 7
Auburn Hills 6
Grezzana 6
San Francisco 6
Washington 6
Fuzhou 5
Lanzhou 5
Bishkek 4
Dong Ket 4
Dongguan 4
Kent 4
Lappeenranta 4
Moscow 4
Pellestrina 4
Riyadh 4
Sequals 4
Aviano 3
Falls Church 3
Luxembourg 3
Rome 3
Seattle 3
Shanghai 3
Stockholm 3
Tokyo 3
Atlanta 2
Chicago 2
Civitavecchia 2
Clearwater 2
Dallas 2
Dearborn 2
Düsseldorf 2
Guayaquil 2
Hefei 2
Hilden 2
Lima 2
Lomé 2
London 2
Naples 2
Nettuno 2
North Bergen 2
Orange 2
Philadelphia 2
Redmond 2
Redwood City 2
Rotterdam 2
Shenzhen 2
Sydney 2
Warsaw 2
Yicheng 2
Zurich 2
Abuja 1
Amsterdam 1
Andover 1
Austin 1
Birmingham 1
Bratislava 1
Budapest 1
Canberra 1
Castelfranco Veneto 1
Totale 3.999
Salva come PNG Salva come JPEG
Nome #
A Decidable Spatial Generalization of Metric Interval Temporal Logic 159
Optimal tableau for Right Propositional Neighborhood Logic over trees 149
A tableau-based system for spatial reasoning about directional relations 137
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 131
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 130
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 121
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 118
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 113
A game-theoretic approach to fault diagnosis and identification of hybrid systems 111
Fault Diagnosis of Hybrid Systems: an Onboard Camera Model 111
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation 110
Open Problems in Verification and Refinement of Autonomous Robotic Systems 106
An Introduction to the Verification of Hybrid Systems using Ariadne 103
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 101
Formal Verification Applied to Robotic Surgery 99
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 98
Computing the evolution of hybrid systems using rigorous function calculus 97
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers 96
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 94
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 93
Parametric formal verification: the robotic paint spraying case study 93
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems 92
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic 91
Application of Contract-based verification techniques for Hybrid Automata to Surgical Robotic Systems 90
Correct-by-construction code generation from hybrid automata specification 88
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 86
An Optimal Decision Procedure for MPNL over the Integers 86
A tableau-based decision procedure for right propositional neighborhood logic 85
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power 85
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture 83
A Tableau-based decision procedure for Right Propositional Neighborhood Logic 80
Formal verification of robotic surgery tasks by reachability analysis 79
An optimal decision procedure for Right Propositional Neighborhood Logic 78
A tableau-based decision procedure for a branching-time interval temporal logic 77
Robotic surgery 76
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 74
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 73
On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures 72
Time granularities and ultimately periodic automata 71
Tableaux for Logics of Subinterval Structures over Dense Orderings 70
Metric propositional neighborhood logics on natural numbers 69
Formal verification of medical CPS: a laser incision case study 69
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL 69
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths 66
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 64
Time Granularities and Ultimately Periodic Automata 63
Minimizing Deterministic Timed Finite State Machines 63
Relational dual tableaux for interval temporal logics 62
Proof methods for Interval Temporal Logics 62
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 60
The light side of Interval Temporal Logic: the Bernays-Schoenfinkel's fragment of CDT 59
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics 56
Undecidability of interval temporal logics with the overlap modality 56
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT 56
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 55
HyLTL: a temporal logic for model checking hybrid systems 55
The dark side of Interval Temporal Logic: sharpening the undecidability border 54
On Begin, Meets and Before 54
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity 53
Reachability computation for hybrid systems with Ariadne 51
Rigorous continuous evolution of uncertain systems 51
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms 50
Improving HyLTL model checking of hybrid systems 48
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability 47
The dark side of interval temporal logic: marking the undecidability border 42
A higher order method for input-affine uncertain systems 41
Automating Numerical Parameters Along the Evolution of a Nonlinear System 27
A computable and compositional semantics for hybrid systems 14
Totale 5.422
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.883
article - articoli 4.801
book - libri 218
conference - conferenze 11.555
curatela - curatele 0
other - altro 751
patent - brevetti 0
selected - selezionate 0
volume - volumi 558
Totale 35.766
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020416 0 0 0 0 0 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
2024/2025482 83 90 29 209 35 36 0 0 0 0 0 0
Totale 5.422