CRIS Current Research Information System

BRESOLIN, DAVIDE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.664
AS - Asia 2.604
EU - Europa 1.728
SA - Sud America 169
AF - Africa 152
Continente sconosciuto - Info sul continente non disponibili 87
OC - Oceania 1
Totale 8.405
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.642
VN - Vietnam 966
GB - Regno Unito 707
CN - Cina 612
SG - Singapore 572
DE - Germania 270
FR - Francia 160
HK - Hong Kong 154
RU - Federazione Russa 144
IT - Italia 135
BR - Brasile 118
IN - India 118
IE - Irlanda 73
TG - Togo 67
ZA - Sudafrica 65
JO - Giordania 63
EE - Estonia 57
SE - Svezia 55
UA - Ucraina 39
AR - Argentina 24
FI - Finlandia 22
BG - Bulgaria 21
JP - Giappone 20
TR - Turchia 17
BD - Bangladesh 16
NL - Olanda 13
IQ - Iraq 10
PH - Filippine 10
CA - Canada 9
CI - Costa d'Avorio 9
MX - Messico 8
BE - Belgio 7
EC - Ecuador 7
PY - Paraguay 7
CH - Svizzera 6
IL - Israele 6
SA - Arabia Saudita 6
CO - Colombia 5
TW - Taiwan 5
UZ - Uzbekistan 5
EG - Egitto 4
ID - Indonesia 4
KR - Corea 4
LB - Libano 4
TH - Thailandia 4
BA - Bosnia-Erzegovina 3
CL - Cile 3
CZ - Repubblica Ceca 3
OM - Oman 3
UY - Uruguay 3
GR - Grecia 2
JM - Giamaica 2
MA - Marocco 2
PK - Pakistan 2
PL - Polonia 2
PT - Portogallo 2
RO - Romania 2
TN - Tunisia 2
VE - Venezuela 2
AL - Albania 1
AU - Australia 1
CU - Cuba 1
DZ - Algeria 1
ES - Italia 1
ET - Etiopia 1
HN - Honduras 1
KE - Kenya 1
KH - Cambogia 1
LT - Lituania 1
ME - Montenegro 1
MY - Malesia 1
NP - Nepal 1
SI - Slovenia 1
TT - Trinidad e Tobago 1
Totale 8.318
Salva come PNG Salva come JPEG
Città #
Southend 658
Fairfield 575
Singapore 357
Santa Clara 296
Woodbridge 290
Ashburn 276
Seattle 258
Ho Chi Minh City 227
Cambridge 224
Wilmington 221
Houston 202
San Jose 199
Hanoi 172
Hong Kong 152
Dong Ket 151
Ann Arbor 150
Princeton 126
Beijing 109
Lauterbourg 77
Dublin 73
Chandler 72
Boardman 67
Lomé 67
Amman 63
Padova 63
Westminster 63
Nanjing 61
Berlin 59
Medford 47
Shenyang 42
Los Angeles 37
Saint Petersburg 37
Jinan 35
San Diego 27
Changsha 26
Buffalo 23
Hebei 23
Tianjin 23
Sofia 21
Jiaxing 19
Nanchang 19
Redondo Beach 19
Haiphong 18
Helsinki 17
Tokyo 17
Biên Hòa 16
Hangzhou 16
Da Nang 15
Norwalk 15
Zhengzhou 15
Bologna 13
Istanbul 13
Grafing 12
Ha Long 12
Hải Dương 12
New York 12
Dearborn 11
Ninh Bình 11
Taiyuan 11
Florence 10
Lanzhou 10
Quận Một 10
Shanghai 10
Abidjan 9
Guangzhou 9
Ningbo 9
São Paulo 9
The Dalles 9
Thái Nguyên 9
Brooklyn 8
Can Tho 8
Dallas 8
Taizhou 8
Vũng Tàu 8
Brussels 7
Haikou 7
Frankfurt am Main 6
Long An 6
Nuremberg 6
Olalla 6
Quận Ba 6
Turin 6
Điện Bàn 6
Amsterdam 5
Belo Horizonte 5
Bühl 5
Chicago 5
Civitavecchia 5
Lappeenranta 5
Manaus 5
Munich 5
Quảng Ninh 5
Quận Bình Thạnh 5
Rio de Janeiro 5
Tam Bình 5
Verona 5
Apice 4
Asunción 4
Curitiba 4
Huế 4
Totale 6.213
Salva come PNG Salva come JPEG
Nome #
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 359
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 237
Relational dual tableaux for interval temporal logics 191
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation 180
Most general property-preserving updates 175
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 167
Application of contract-based verification techniques for hybrid automata to surgical robotic systems 165
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems 165
A tableau-based decision procedure for right propositional neighborhood logic 164
A game-theoretic approach to fault diagnosis and identification of hybrid systems 159
The impact of EFSM composition on functional ATPG 158
A framework for Fault Diagnosis of Hybrid Systems based on Predicate Abstractions 158
A tableau-based system for spatial reasoning about directional relations 157
Fault Diagnosis of Hybrid Systems: an Onboard Camera Model 155
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems 154
Assume–guarantee verification of nonlinear hybrid systems with Ariadne 154
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 151
Computing the evolution of hybrid systems using rigorous function calculus 149
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 143
Metric propositional neighborhood logics on natural numbers 143
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic 143
A Decidable Spatial Generalization of Metric Interval Temporal Logic 142
Improving HyLTL model checking of hybrid systems 139
Optimal tableau for Right Propositional Neighborhood Logic over trees 130
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture 129
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 129
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power 128
Formal verification applied to robotic surgery 127
An Optimal Decision Procedure for MPNL over the Integers 127
Tableaux for Logics of Subinterval Structures over Dense Orderings 124
Formal verification of robotic surgery tasks by reachability analysis 124
The dark side of interval temporal logic: marking the undecidability border 124
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths 123
An optimal decision procedure for Right Propositional Neighborhood Logic 122
Sub-Propositional Fragments of the Interval Temporal Logic of Allen's Relations 122
An introduction to the verification of hybrid systems using ARIADNE 121
Robotic surgery: formal verification of plans 121
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms 120
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 118
Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools 118
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 117
Time Granularities and Ultimately Periodic Automata 116
The dark side of Interval Temporal Logic: sharpening the undecidability border 116
On the complexity of fragments of the modal logic of Allen’s relations over dense structures 116
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics 114
A tableau-based decision procedure for a branching-time interval temporal logic 112
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 112
Open Problems in Verification and Refinement of Autonomous Robotic Systems 111
Undecidability of interval temporal logics with the overlap modality 109
Reachability computation for hybrid systems with Ariadne 109
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers 109
Correct-by-construction code generation from hybrid automata specification 109
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL 108
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT 108
HyLTL: a temporal logic for model checking hybrid systems 108
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 105
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity 102
On Begin, Meets and Before 98
The light side of Interval Temporal Logic: the Bernays-Schoenfinkel's fragment of CDT 94
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability 83
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 80
Proof methods for Interval Temporal Logics 80
DL-Lite and Interval Temporal Logics: a Marriage Proposal 74
Totale 8.405
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.631
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 22.631
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20262.063 317 245 227 129 179 115 197 188 285 111 56 14
2026/202726 26 0 0 0 0 0 0 0 0 0 0 0
Totale 8.405