BRESOLIN, DAVIDE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.792
AS - Asia 1.333
EU - Europa 1.022
SA - Sud America 291
AF - Africa 278
OC - Oceania 33
Continente sconosciuto - Info sul continente non disponibili 18
Totale 8.767
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.611
SG - Singapore 415
HK - Hong Kong 255
CN - Cina 212
BR - Brasile 186
IT - Italia 174
VN - Vietnam 136
FI - Finlandia 128
PL - Polonia 113
SE - Svezia 108
FR - Francia 77
RU - Federazione Russa 63
DE - Germania 47
GB - Regno Unito 47
IN - India 23
IQ - Iraq 21
EC - Ecuador 20
AR - Argentina 17
NL - Olanda 17
TR - Turchia 17
ZA - Sudafrica 16
AE - Emirati Arabi Uniti 15
CH - Svizzera 15
MX - Messico 15
AT - Austria 14
BE - Belgio 14
DO - Repubblica Dominicana 14
EE - Estonia 14
HN - Honduras 14
AU - Australia 13
ID - Indonesia 13
SA - Arabia Saudita 13
TT - Trinidad e Tobago 13
UA - Ucraina 13
UY - Uruguay 13
AZ - Azerbaigian 12
BG - Bulgaria 12
CM - Camerun 12
CW - ???statistics.table.value.countryCode.CW??? 12
DZ - Algeria 12
IE - Irlanda 12
JM - Giamaica 12
JP - Giappone 12
KZ - Kazakistan 12
LA - Repubblica Popolare Democratica del Laos 12
AL - Albania 11
BB - Barbados 11
CA - Canada 11
CG - Congo 11
ES - Italia 11
IR - Iran 11
MR - Mauritania 11
PY - Paraguay 11
TN - Tunisia 11
CO - Colombia 10
GT - Guatemala 10
LC - Santa Lucia 10
LU - Lussemburgo 10
MA - Marocco 10
ME - Montenegro 10
MN - Mongolia 10
UZ - Uzbekistan 10
BD - Bangladesh 9
BF - Burkina Faso 9
CD - Congo 9
KG - Kirghizistan 9
LB - Libano 9
MG - Madagascar 9
MK - Macedonia 9
NZ - Nuova Zelanda 9
PK - Pakistan 9
SO - Somalia 9
VE - Venezuela 9
BO - Bolivia 8
CR - Costa Rica 8
CY - Cipro 8
EG - Egitto 8
GH - Ghana 8
IS - Islanda 8
JO - Giordania 8
NI - Nicaragua 8
NP - Nepal 8
PH - Filippine 8
TL - Timor Orientale 8
UG - Uganda 8
ZM - Zambia 8
AD - Andorra 7
AM - Armenia 7
BY - Bielorussia 7
CI - Costa d'Avorio 7
ET - Etiopia 7
GM - Gambi 7
GR - Grecia 7
HR - Croazia 7
HT - Haiti 7
KH - Cambogia 7
MZ - Mozambico 7
NA - Namibia 7
NE - Niger 7
PE - Perù 7
Totale 8.496
Salva come PNG Salva come JPEG
Città #
Fairfield 1.003
Woodbridge 695
Houston 544
Ann Arbor 456
Ashburn 441
Seattle 372
Cambridge 349
Wilmington 324
Hong Kong 249
Chandler 224
Singapore 222
Boardman 151
Santa Clara 121
Bytom 101
Dong Ket 98
San Diego 92
Medford 82
Princeton 82
Guangzhou 60
Des Moines 59
Beijing 58
Helsinki 44
Nanjing 40
Padova 22
Vicenza 21
São Paulo 15
Tortoreto 15
London 14
Milan 14
Hebei 13
Ho Chi Minh City 12
New York 12
Bridgetown 11
Buffalo 11
Nouakchott 11
Willemstad 11
Baku 10
Castries 10
Hanoi 10
Podgorica 10
Tallinn 10
Ulan Bator 10
Lappeenranta 9
Montevideo 9
Rome 9
Roxbury 9
Shenyang 9
Vienna 9
Amman 8
Antananarivo 8
Brazzaville 8
Dili 8
Dublin 8
Jiaxing 8
Kampala 8
Kilburn 8
Los Angeles 8
Lusaka 8
Managua 8
Reykjavik 8
San Pedro Sula 8
Tashkent 8
The Dalles 8
Vientiane 8
Warsaw 8
Accra 7
Andorra la Vella 7
Auckland 7
Belo Horizonte 7
Borås 7
Dakar 7
Dubai 7
Guayaquil 7
Hargeisa 7
Kinshasa 7
Niamey 7
Rio de Janeiro 7
Sofia 7
Tunis 7
Abidjan 6
Addis Ababa 6
Baghdad 6
Bishkek 6
Conakry 6
Douala 6
Johannesburg 6
Kigali 6
Kingston 6
Lozzo Atestino 6
Munich 6
Nanchang 6
Panama City 6
Quito 6
Secaucus 6
Tehran 6
Tirana 6
Yerevan 6
Boston 5
Cape Town 5
Columbus 5
Totale 6.520
Salva come PNG Salva come JPEG
Nome #
Assume–guarantee verification of nonlinear hybrid systems with Ariadne 152
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems 150
An optimal decision procedure for Right Propositional Neighborhood Logic 142
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation 140
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems 135
A Decidable Spatial Generalization of Metric Interval Temporal Logic 132
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 127
A Tableau-based decision procedure for Right Propositional Neighborhood Logic 126
An Optimal Decision Procedure for MPNL over the Integers 122
Formal verification applied to robotic surgery 120
A tableau-based decision procedure for right propositional neighborhood logic 120
Formal Verification of Medical CPS 119
Sub-Propositional Fragments of the Interval Temporal Logic of Allen's Relations 118
Correct-by-construction code generation from hybrid automata specification 116
Computing the evolution of hybrid systems using rigorous function calculus 116
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 116
Time granularities and ultimately periodic automata 116
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals 116
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 114
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers 114
Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014) 113
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity 112
Horn fragments of the Halpern-Shoham interval temporal logic 111
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL 110
The impact of EFSM composition on functional ATPG 110
An introduction to the verification of hybrid systems using ARIADNE 109
A framework for Fault Diagnosis of Hybrid Systems based on Predicate Abstractions 109
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power 108
Most general property-preserving updates 108
Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools 108
A tableau-based system for spatial reasoning about directional relations 108
Fault Diagnosis of Hybrid Systems: an Onboard Camera Model 108
Relational dual tableaux for interval temporal logics 107
The dark side of Interval Temporal Logic: sharpening the undecidability border 107
Formal verification of robotic surgery tasks by reachability analysis 106
Application of contract-based verification techniques for hybrid automata to surgical robotic systems 106
Improving HyLTL model checking of hybrid systems 105
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths 105
A game-theoretic approach to fault diagnosis and identification of hybrid systems 103
Metric propositional neighborhood logics on natural numbers 102
Undecidability of interval temporal logics with the overlap modality 102
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT 102
Optimal tableau for Right Propositional Neighborhood Logic over trees 102
Rigorous Continuous Evolution of Uncertain Systems 101
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 100
Ongoing work on automated verification of noisy nonlinear systems with Ariadne 99
Static and dynamic property-preserving updates 99
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture 98
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 97
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic 95
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 95
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics 94
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 94
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 94
Time Granularities and Ultimately Periodic Automata 92
On the expressive power of sub-propositional fragments of modal logic 92
On the Complexity of Fragments of Horn Modal Logics 91
Automated Synthesis of Certified Neural Networks 90
Open Problems in Verification and Refinement of Autonomous Robotic Systems 87
Minimizing Deterministic Timed Finite State Machines 87
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 85
A computable and compositional semantics for hybrid automata 85
HyLTL: a temporal logic for model checking hybrid systems 84
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 83
Reachability computation for hybrid systems with Ariadne 82
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 81
Parametric formal verification: the robotic paint spraying case study 81
The dark side of interval temporal logic: marking the undecidability border 80
A tableau-based decision procedure for a branching-time interval temporal logic 79
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms 78
Tableaux for Logics of Subinterval Structures over Dense Orderings 77
Finite satisfiability of interval temporal logic formulas with multi-objective metaheuristics 77
The light side of Interval Temporal Logic: the Bernays-Schoenfinkel's fragment of CDT 76
On the complexity of fragments of the modal logic of Allen’s relations over dense structures 76
Automated Synthesis of Certified Neural Networks: Initial Results and Open Research Lines 73
Data-aware process models: From soundness checking to repair 73
Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty 72
On Begin, Meets and Before 69
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability 68
Robotic surgery: formal verification of plans 68
Proof methods for Interval Temporal Logics 66
On Sub-Propositional Fragments of Modal Logic 65
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 64
DL-Lite and Interval Temporal Logics: a Marriage Proposal 63
A higher order method for input-affine uncertain systems 59
Repair of Unsound Data-Aware Process Models 57
A computable and compositional semantics for hybrid systems 53
Dynamic Controllability of Temporal Networks via Supervisory Control 51
Extracting Interval Temporal Logic Rules: A First Approach 51
Automating Numerical Parameters Along the Evolution of a Nonlinear System 48
Fast(er) reasoning in interval temporal logic 41
Equivalence checking and intersection of deterministic timed finite state machines 37
Model Checking of Optimal LTL and ASAP Properties 33
Recent results on computable and compositional semantics for hybrid systems 30
Totale 8.842
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.009
article - articoli 9.268
book - libri 239
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 702
Totale 39.218
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021771 0 0 44 108 32 25 23 76 144 69 91 159
2021/20221.075 42 143 209 56 28 41 62 126 48 17 128 175
2022/2023591 141 0 2 67 156 57 3 51 77 5 23 9
2023/2024256 12 41 19 16 20 19 15 2 5 13 52 42
2024/20251.573 4 115 86 35 294 28 127 100 88 55 256 385
2025/20261.422 175 542 705 0 0 0 0 0 0 0 0 0
Totale 8.842