CATALOGO DEI PRODOTTI DELLA RICERCA

BRESOLIN, Davide
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.286
EU - Europa 2.250
AS - Asia 1.057
SA - Sud America 60
AF - Africa 20
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 3
Totale 5.682
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.273
GB - Regno Unito 1.085
CN - Cina 540
SG - Singapore 389
SE - Svezia 181
RU - Federazione Russa 162
FI - Finlandia 157
FR - Francia 154
IT - Italia 151
IE - Irlanda 140
DE - Germania 115
BR - Brasile 51
UA - Ucraina 47
KR - Corea 38
HK - Hong Kong 31
TR - Turchia 30
BE - Belgio 19
CM - Camerun 14
NL - Olanda 12
CA - Canada 9
AU - Australia 6
PL - Polonia 5
SA - Arabia Saudita 5
VN - Vietnam 5
KG - Kirghizistan 4
CH - Svizzera 3
EC - Ecuador 3
IL - Israele 3
JP - Giappone 3
LU - Lussemburgo 3
AL - Albania 2
AR - Argentina 2
BD - Bangladesh 2
CZ - Repubblica Ceca 2
EU - Europa 2
ID - Indonesia 2
MD - Moldavia 2
MX - Messico 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
CR - Costa Rica 1
DK - Danimarca 1
EG - Egitto 1
ES - Italia 1
HU - Ungheria 1
IN - India 1
IQ - Iraq 1
JM - Giamaica 1
KW - Kuwait 1
LT - Lituania 1
LV - Lettonia 1
MA - Marocco 1
NG - Nigeria 1
OM - Oman 1
PT - Portogallo 1
PY - Paraguay 1
RO - Romania 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 5.682
Salva come PNG Salva come JPEG
Città #
Southend 899
Jacksonville 451
Woodbridge 309
Chandler 295
Ann Arbor 293
Singapore 247
Houston 168
Dublin 140
Lancaster 129
Ashburn 93
Wilmington 75
Beijing 71
Lawrence 65
Princeton 65
Nanjing 64
Jinan 47
Shenyang 45
Verona 43
The Dalles 38
Milan 35
Seoul 35
Helsinki 31
Hong Kong 28
Hebei 24
Nanchang 24
Ningbo 23
New York 22
Zhengzhou 21
Tianjin 20
Brussels 19
Changsha 19
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
Rome 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
Guayaquil 3
Luxembourg 3
Naples 3
Seattle 3
Shanghai 3
Stockholm 3
Tokyo 3
Atlanta 2
Caratinga 2
Chicago 2
Civitavecchia 2
Clearwater 2
Dallas 2
Dearborn 2
Düsseldorf 2
Hefei 2
Hilden 2
Istanbul 2
Juiz de Fora 2
Lima 2
Lomé 2
London 2
Macapá 2
Modena 2
Nettuno 2
North Bergen 2
Nuremberg 2
Orange 2
Philadelphia 2
Redmond 2
Redwood City 2
Rio de Janeiro 2
Rotterdam 2
Shenzhen 2
Sydney 2
São Paulo 2
Warsaw 2
Yicheng 2
Totale 4.152
Salva come PNG Salva come JPEG
Nome #
A Decidable Spatial Generalization of Metric Interval Temporal Logic 165
Optimal tableau for Right Propositional Neighborhood Logic over trees 152
A tableau-based system for spatial reasoning about directional relations 141
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 137
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 133
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 124
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 121
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 121
A game-theoretic approach to fault diagnosis and identification of hybrid systems 115
Fault Diagnosis of Hybrid Systems: an Onboard Camera Model 112
Open Problems in Verification and Refinement of Autonomous Robotic Systems 112
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation 112
Correct-by-construction code generation from hybrid automata specification 107
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 106
An Introduction to the Verification of Hybrid Systems using Ariadne 104
Computing the evolution of hybrid systems using rigorous function calculus 103
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic 102
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers 102
Formal Verification Applied to Robotic Surgery 101
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 101
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 99
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture 99
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 98
Parametric formal verification: the robotic paint spraying case study 96
An Optimal Decision Procedure for MPNL over the Integers 93
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems 93
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 91
Application of Contract-based verification techniques for Hybrid Automata to Surgical Robotic Systems 91
A tableau-based decision procedure for right propositional neighborhood logic 90
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power 88
A tableau-based decision procedure for a branching-time interval temporal logic 85
Time Granularities and Ultimately Periodic Automata 83
Formal verification of robotic surgery tasks by reachability analysis 83
A Tableau-based decision procedure for Right Propositional Neighborhood Logic 82
An optimal decision procedure for Right Propositional Neighborhood Logic 81
Metric propositional neighborhood logics on natural numbers 81
Robotic surgery 79
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 79
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 76
Time granularities and ultimately periodic automata 74
On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures 74
Formal verification of medical CPS: a laser incision case study 74
Tableaux for Logics of Subinterval Structures over Dense Orderings 73
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths 72
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL 72
Relational dual tableaux for interval temporal logics 66
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 66
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 66
Minimizing Deterministic Timed Finite State Machines 66
Proof methods for Interval Temporal Logics 65
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability 63
The light side of Interval Temporal Logic: the Bernays-Schoenfinkel's fragment of CDT 63
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 63
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics 59
Undecidability of interval temporal logics with the overlap modality 59
HyLTL: a temporal logic for model checking hybrid systems 59
Rigorous continuous evolution of uncertain systems 59
The dark side of Interval Temporal Logic: sharpening the undecidability border 58
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT 58
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity 58
On Begin, Meets and Before 56
Reachability computation for hybrid systems with Ariadne 55
Improving HyLTL model checking of hybrid systems 54
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms 54
The dark side of interval temporal logic: marking the undecidability border 45
A higher order method for input-affine uncertain systems 42
Automating Numerical Parameters Along the Evolution of a Nonlinear System 41
A computable and compositional semantics for hybrid systems 23
Totale 5.775
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.773
article - articoli 5.354
book - libri 238
conference - conferenze 12.744
curatela - curatele 0
other - altro 819
patent - brevetti 0
selected - selezionate 0
volume - volumi 618
Totale 39.546
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020159 0 0 0 0 0 0 0 0 0 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/2025835 83 90 29 209 35 36 20 82 186 65 0 0
Totale 5.775