CRIS Current Research Information System

BRESOLIN, DAVIDE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.349
AS - Asia 2.185
EU - Europa 1.610
SA - Sud America 153
AF - Africa 145
OC - Oceania 1
Totale 7.443
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.339
VN - Vietnam 778
GB - Regno Unito 703
CN - Cina 536
SG - Singapore 504
DE - Germania 262
HK - Hong Kong 145
RU - Federazione Russa 144
IT - Italia 122
IN - India 111
BR - Brasile 110
FR - Francia 75
IE - Irlanda 71
TG - Togo 67
ZA - Sudafrica 65
JO - Giordania 63
EE - Estonia 57
SE - Svezia 55
UA - Ucraina 38
AR - Argentina 22
BG - Bulgaria 21
FI - Finlandia 21
TR - Turchia 14
JP - Giappone 13
NL - Olanda 12
CI - Costa d'Avorio 9
BE - Belgio 7
CH - Svizzera 6
EC - Ecuador 6
IL - Israele 6
PY - Paraguay 6
BD - Bangladesh 5
CA - Canada 4
CO - Colombia 4
MX - Messico 4
UZ - Uzbekistan 4
BA - Bosnia-Erzegovina 3
CZ - Repubblica Ceca 3
EG - Egitto 3
ID - Indonesia 3
CL - Cile 2
GR - Grecia 2
LB - Libano 2
PL - Polonia 2
PT - Portogallo 2
UY - Uruguay 2
AL - Albania 1
AU - Australia 1
CU - Cuba 1
HN - Honduras 1
KH - Cambogia 1
LT - Lituania 1
MA - Marocco 1
RO - Romania 1
SI - Slovenia 1
VE - Venezuela 1
Totale 7.443
Salva come PNG Salva come JPEG
Città #
Southend 658
Fairfield 575
Singapore 293
Woodbridge 290
Santa Clara 287
Seattle 258
Ashburn 255
Cambridge 224
Wilmington 221
Houston 201
Ho Chi Minh City 182
Dong Ket 151
Ann Arbor 150
Hong Kong 145
Princeton 126
Hanoi 117
Beijing 108
Chandler 72
Dublin 71
Boardman 67
Lomé 67
Amman 63
Padova 63
Westminster 63
Nanjing 61
Berlin 59
Medford 47
Shenyang 41
Los Angeles 37
Saint Petersburg 37
Jinan 35
San Diego 27
Changsha 26
Buffalo 23
Hebei 23
Sofia 21
Tianjin 21
Jiaxing 19
Nanchang 19
Redondo Beach 19
Hangzhou 16
Helsinki 16
Haiphong 15
Norwalk 15
Biên Hòa 14
Zhengzhou 14
Da Nang 13
Tokyo 13
Bologna 12
Grafing 12
Ha Long 12
Istanbul 12
Dearborn 11
Hải Dương 11
Taiyuan 11
Florence 10
Lanzhou 10
Ninh Bình 10
Abidjan 9
Ningbo 9
Quận Một 9
Thái Nguyên 9
Brooklyn 8
Shanghai 8
São Paulo 8
Taizhou 8
Brussels 7
Dallas 7
Guangzhou 7
Haikou 7
Vũng Tàu 7
Can Tho 6
Olalla 6
Belo Horizonte 5
Bühl 5
Civitavecchia 5
Lappeenranta 5
Manaus 5
Munich 5
New York 5
Quảng Ninh 5
Quận Bình Thạnh 5
Rio de Janeiro 5
Tam Bình 5
Turin 5
Verona 5
Điện Bàn 5
Amsterdam 4
Apice 4
Asunción 4
Curitiba 4
Lausanne 4
London 4
Nuremberg 4
Orange 4
Paris 4
Phoenix 4
Quận Sáu 4
Redwood City 4
Shenzhen 4
Totale 5.686
Salva come PNG Salva come JPEG
Nome #
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 345
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 218
Relational dual tableaux for interval temporal logics 180
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation 166
Most general property-preserving updates 157
A tableau-based decision procedure for right propositional neighborhood logic 151
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems 149
Application of contract-based verification techniques for hybrid automata to surgical robotic systems 147
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 147
A game-theoretic approach to fault diagnosis and identification of hybrid systems 145
The impact of EFSM composition on functional ATPG 144
A tableau-based system for spatial reasoning about directional relations 144
A framework for Fault Diagnosis of Hybrid Systems based on Predicate Abstractions 143
Assume–guarantee verification of nonlinear hybrid systems with Ariadne 141
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems 140
Computing the evolution of hybrid systems using rigorous function calculus 139
Fault Diagnosis of Hybrid Systems: an Onboard Camera Model 136
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 131
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic 131
A Decidable Spatial Generalization of Metric Interval Temporal Logic 129
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 124
Improving HyLTL model checking of hybrid systems 123
Metric propositional neighborhood logics on natural numbers 122
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture 116
An Optimal Decision Procedure for MPNL over the Integers 116
Formal verification applied to robotic surgery 114
An optimal decision procedure for Right Propositional Neighborhood Logic 113
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 112
Sub-Propositional Fragments of the Interval Temporal Logic of Allen's Relations 112
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms 111
The dark side of interval temporal logic: marking the undecidability border 110
Optimal tableau for Right Propositional Neighborhood Logic over trees 109
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 108
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths 107
Formal verification of robotic surgery tasks by reachability analysis 107
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power 106
An introduction to the verification of hybrid systems using ARIADNE 106
Time Granularities and Ultimately Periodic Automata 105
Robotic surgery: formal verification of plans 105
Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools 104
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 104
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 103
The dark side of Interval Temporal Logic: sharpening the undecidability border 102
Correct-by-construction code generation from hybrid automata specification 102
Open Problems in Verification and Refinement of Autonomous Robotic Systems 101
Reachability computation for hybrid systems with Ariadne 101
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics 101
On the complexity of fragments of the modal logic of Allen’s relations over dense structures 99
HyLTL: a temporal logic for model checking hybrid systems 99
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT 98
Tableaux for Logics of Subinterval Structures over Dense Orderings 97
Undecidability of interval temporal logics with the overlap modality 96
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL 95
A tableau-based decision procedure for a branching-time interval temporal logic 95
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity 94
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 93
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers 93
On Begin, Meets and Before 88
The light side of Interval Temporal Logic: the Bernays-Schoenfinkel's fragment of CDT 82
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability 72
Proof methods for Interval Temporal Logics 66
DL-Lite and Interval Temporal Logics: a Marriage Proposal 66
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 63
Totale 7.523
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.924
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 19.924
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021526 0 0 0 0 0 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/2025978 9 192 84 50 330 42 71 8 1 5 27 159
2025/20261.207 317 245 227 129 179 110 0 0 0 0 0 0
Totale 7.523