BRESOLIN, DAVIDE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.088
AS - Asia 365
EU - Europa 351
AF - Africa 1
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 5.807
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.087
CN - Cina 179
FI - Finlandia 116
SE - Svezia 98
VN - Vietnam 98
SG - Singapore 83
IT - Italia 58
GB - Regno Unito 34
DE - Germania 31
IE - Irlanda 4
IN - India 4
FR - Francia 2
NL - Olanda 2
UA - Ucraina 2
AU - Australia 1
CA - Canada 1
CH - Svizzera 1
EG - Egitto 1
ES - Italia 1
EU - Europa 1
PT - Portogallo 1
RU - Federazione Russa 1
SA - Arabia Saudita 1
Totale 5.807
Salva come PNG Salva come JPEG
Città #
Fairfield 1.003
Woodbridge 695
Houston 544
Ann Arbor 456
Ashburn 406
Seattle 370
Cambridge 349
Wilmington 324
Chandler 224
Dong Ket 98
San Diego 92
Medford 82
Princeton 82
Guangzhou 60
Boardman 59
Des Moines 58
Singapore 43
Nanjing 40
Helsinki 37
Beijing 33
Tortoreto 15
Hebei 13
Padova 13
London 9
Roxbury 9
Shenyang 9
Jiaxing 8
Kilburn 8
Lappeenranta 8
Borås 7
Lozzo Atestino 6
Nanchang 6
Indiana 5
New York 5
Dublin 4
Leawood 4
Tianjin 4
Atlanta 3
Chiswick 3
Hounslow 3
Norwalk 3
Pune 3
Verona 3
Altavilla Silentina 2
Alzate Brianza 2
Apice 2
Bolton 2
Greenwood 2
Indianapolis 2
Kharkiv 2
Las Vegas 2
Limbiate 2
Monfalcone 2
Mussolente 2
San Francisco 2
Santa Clara 2
Tappahannock 2
Trieste 2
Banī Mazār 1
Chelyabinsk 1
Chicago 1
Dalian 1
Dubendorf 1
Ferrara 1
Geislingen an der Steige 1
Greenwich 1
Haikou 1
Hangzhou 1
Harlan 1
Lancenigo-Villorba 1
Melbourne 1
Miami Beach 1
Nuremberg 1
Ogden 1
Porto 1
Redmond 1
Tucker 1
Vigonza 1
Xuzhou 1
Yellow Springs 1
Zhengzhou 1
Totale 5.259
Salva come PNG Salva come JPEG
Nome #
Assume–guarantee verification of nonlinear hybrid systems with Ariadne 113
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems 110
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems 102
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation 99
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 99
A tableau-based decision procedure for right propositional neighborhood logic 96
An Optimal Decision Procedure for MPNL over the Integers 95
Computing the evolution of hybrid systems using rigorous function calculus 95
A Decidable Spatial Generalization of Metric Interval Temporal Logic 95
An optimal decision procedure for Right Propositional Neighborhood Logic 95
Formal verification applied to robotic surgery 94
Sub-Propositional Fragments of the Interval Temporal Logic of Allen's Relations 93
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 93
Correct-by-construction code generation from hybrid automata specification 90
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals 89
The impact of EFSM composition on functional ATPG 89
Most general property-preserving updates 87
The dark side of Interval Temporal Logic: sharpening the undecidability border 87
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 86
Time granularities and ultimately periodic automata 86
Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014) 86
Horn fragments of the Halpern-Shoham interval temporal logic 86
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers 85
A Tableau-based decision procedure for Right Propositional Neighborhood Logic 85
Relational dual tableaux for interval temporal logics 85
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power 84
Formal Verification of Medical CPS 84
Metric propositional neighborhood logics on natural numbers 83
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL 83
Improving HyLTL model checking of hybrid systems 82
A framework for Fault Diagnosis of Hybrid Systems based on Predicate Abstractions 81
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity 81
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 80
Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools 79
An introduction to the verification of hybrid systems using ARIADNE 78
Undecidability of interval temporal logics with the overlap modality 77
Formal verification of robotic surgery tasks by reachability analysis 77
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths 77
Optimal tableau for Right Propositional Neighborhood Logic over trees 77
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT 76
A tableau-based system for spatial reasoning about directional relations 75
A game-theoretic approach to fault diagnosis and identification of hybrid systems 74
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 73
Application of contract-based verification techniques for hybrid automata to surgical robotic systems 72
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic 70
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 70
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics 68
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 68
Fault Diagnosis of Hybrid Systems: an Onboard Camera Model 68
Ongoing work on automated verification of noisy nonlinear systems with Ariadne 66
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 65
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture 64
Time Granularities and Ultimately Periodic Automata 64
Rigorous Continuous Evolution of Uncertain Systems 62
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 61
Open Problems in Verification and Refinement of Autonomous Robotic Systems 61
HyLTL: a temporal logic for model checking hybrid systems 60
On the Complexity of Fragments of Horn Modal Logics 60
The dark side of interval temporal logic: marking the undecidability border 60
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 59
On the expressive power of sub-propositional fragments of modal logic 57
Tableaux for Logics of Subinterval Structures over Dense Orderings 55
Reachability computation for hybrid systems with Ariadne 54
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 54
Static and dynamic property-preserving updates 54
Minimizing Deterministic Timed Finite State Machines 53
Parametric formal verification: the robotic paint spraying case study 52
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability 51
A tableau-based decision procedure for a branching-time interval temporal logic 50
The light side of Interval Temporal Logic: the Bernays-Schoenfinkel's fragment of CDT 49
On the complexity of fragments of the modal logic of Allen’s relations over dense structures 49
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms 48
Finite satisfiability of interval temporal logic formulas with multi-objective metaheuristics 45
On Begin, Meets and Before 44
Robotic surgery: formal verification of plans 43
A computable and compositional semantics for hybrid automata 43
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 37
Proof methods for Interval Temporal Logics 36
DL-Lite and Interval Temporal Logics: a Marriage Proposal 33
On Sub-Propositional Fragments of Modal Logic 33
Extracting Interval Temporal Logic Rules: A First Approach 16
Fast(er) reasoning in interval temporal logic 15
Repair of Unsound Data-Aware Process Models 9
Automating Numerical Parameters Along the Evolution of a Nonlinear System 9
Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty 8
Dynamic Controllability of Temporal Networks via Supervisory Control 7
A higher order method for input-affine uncertain systems 7
Equivalence checking and intersection of deterministic timed finite state machines 4
A computable and compositional semantics for hybrid systems 2
Totale 5.856
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.536
article - articoli 6.178
book - libri 136
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 500
Totale 26.350
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.153 0 50 24 87 192 121 149 155 178 92 63 42
2020/2021867 49 47 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/20259 4 5 0 0 0 0 0 0 0 0 0 0
Totale 5.856