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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020800 0 0 0 0 0 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/2025554 4 115 86 35 294 20 0 0 0 0 0 0
Totale 6.401