CRIS Current Research Information System

BRESOLIN, DAVIDE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.200
EU - Europa 1.539
AS - Asia 1.093
AF - Africa 132
OC - Oceania 1
SA - Sud America 1
Totale 5.966
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.199
GB - Regno Unito 697
CN - Cina 446
VN - Vietnam 272
DE - Germania 259
SG - Singapore 175
IT - Italia 120
IN - India 110
RU - Federazione Russa 99
FR - Francia 75
IE - Irlanda 71
TG - Togo 67
ZA - Sudafrica 65
JO - Giordania 63
EE - Estonia 57
SE - Svezia 53
UA - Ucraina 35
BG - Bulgaria 21
FI - Finlandia 21
TR - Turchia 14
BE - Belgio 7
NL - Olanda 7
CH - Svizzera 6
IL - Israele 4
BA - Bosnia-Erzegovina 3
HK - Hong Kong 3
UZ - Uzbekistan 3
CZ - Repubblica Ceca 2
GR - Grecia 2
LB - Libano 2
PT - Portogallo 2
AU - Australia 1
BD - Bangladesh 1
CA - Canada 1
CL - Cile 1
RO - Romania 1
SI - Slovenia 1
Totale 5.966
Salva come PNG Salva come JPEG
Città #
Southend 658
Fairfield 575
Woodbridge 290
Santa Clara 283
Seattle 258
Ashburn 242
Cambridge 224
Wilmington 220
Houston 201
Dong Ket 151
Ann Arbor 150
Singapore 150
Princeton 126
Chandler 72
Dublin 71
Lomé 67
Boardman 65
Amman 63
Padova 63
Westminster 63
Nanjing 61
Berlin 59
Medford 47
Shenyang 41
Saint Petersburg 37
Jinan 35
Beijing 34
San Diego 27
Changsha 26
Hebei 23
Sofia 21
Tianjin 21
Jiaxing 19
Nanchang 19
Hangzhou 16
Helsinki 16
Norwalk 15
Zhengzhou 14
Bologna 12
Grafing 12
Istanbul 12
Dearborn 11
Taiyuan 11
Florence 10
Lanzhou 10
Ningbo 9
Los Angeles 8
Shanghai 8
Taizhou 8
Brussels 7
Guangzhou 7
Haikou 7
Olalla 6
Bühl 5
Civitavecchia 5
Lappeenranta 5
Munich 5
Turin 5
Verona 5
Apice 4
Lausanne 4
Orange 4
Paris 4
Redwood City 4
Shenzhen 4
Brooklyn 3
Hong Kong 3
Kunming 3
London 3
Muizenberg 3
Plauen 3
The Hague 3
Washington 3
Wenzhou 3
Atlanta 2
Batman 2
Capaccio 2
Caprino Bergamasco 2
Castellarano 2
Falls Church 2
Frankfurt Am Main 2
Fuzhou 2
Harbin 2
Hefei 2
North Bergen 2
Ortonville 2
Tradate 2
Ulan-ude 2
Anyang 1
Buffalo 1
Canberra 1
Caserta 1
Changzhou 1
Chengdu 1
Chittagong 1
Corona 1
Costa Mesa 1
Den Haag 1
Duncan 1
Falkenstein 1
Totale 4.782
Salva come PNG Salva come JPEG
Nome #
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation 146
Most general property-preserving updates 140
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 135
A tableau-based decision procedure for right propositional neighborhood logic 133
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems 127
Application of contract-based verification techniques for hybrid automata to surgical robotic systems 125
A tableau-based system for spatial reasoning about directional relations 124
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 124
Computing the evolution of hybrid systems using rigorous function calculus 122
Assume–guarantee verification of nonlinear hybrid systems with Ariadne 122
A game-theoretic approach to fault diagnosis and identification of hybrid systems 122
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems 121
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 119
A framework for Fault Diagnosis of Hybrid Systems based on Predicate Abstractions 117
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 117
Improving HyLTL model checking of hybrid systems 115
Fault Diagnosis of Hybrid Systems: an Onboard Camera Model 112
A Decidable Spatial Generalization of Metric Interval Temporal Logic 109
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 106
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic 106
An Optimal Decision Procedure for MPNL over the Integers 104
The impact of EFSM composition on functional ATPG 102
An optimal decision procedure for Right Propositional Neighborhood Logic 100
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 98
Formal verification applied to robotic surgery 96
Metric propositional neighborhood logics on natural numbers 96
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms 95
Sub-Propositional Fragments of the Interval Temporal Logic of Allen's Relations 95
Time Granularities and Ultimately Periodic Automata 94
Robotic surgery: formal verification of plans 94
Correct-by-construction code generation from hybrid automata specification 94
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 92
An introduction to the verification of hybrid systems using ARIADNE 92
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths 90
The dark side of Interval Temporal Logic: sharpening the undecidability border 90
Formal verification of robotic surgery tasks by reachability analysis 89
Optimal tableau for Right Propositional Neighborhood Logic over trees 87
Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools 87
The dark side of interval temporal logic: marking the undecidability border 87
Reachability computation for hybrid systems with Ariadne 86
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power 86
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics 86
Open Problems in Verification and Refinement of Autonomous Robotic Systems 85
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture 85
Tableaux for Logics of Subinterval Structures over Dense Orderings 84
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 84
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 84
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity 83
On the complexity of fragments of the modal logic of Allen’s relations over dense structures 82
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT 81
HyLTL: a temporal logic for model checking hybrid systems 81
Undecidability of interval temporal logics with the overlap modality 80
Relational dual tableaux for interval temporal logics 80
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers 80
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL 79
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 79
A tableau-based decision procedure for a branching-time interval temporal logic 77
On Begin, Meets and Before 71
The light side of Interval Temporal Logic: the Bernays-Schoenfinkel's fragment of CDT 69
Proof methods for Interval Temporal Logics 53
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability 51
DL-Lite and Interval Temporal Logics: a Marriage Proposal 50
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 46
Totale 6.046
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.192
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 14.192
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.286 0 0 0 0 0 0 287 303 388 137 61 110
2020/2021822 181 73 23 11 8 27 22 62 75 52 30 258
2021/2022957 193 41 77 40 99 62 29 79 36 15 70 216
2022/2023682 79 164 25 79 12 26 20 24 167 14 57 15
2023/2024167 9 29 12 12 18 48 19 2 6 7 4 1
2024/2025708 9 192 84 50 330 42 1 0 0 0 0 0
Totale 6.046