CRIS Current Research Information System

BRESOLIN, DAVIDE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.602
AS - Asia 2.593
EU - Europa 1.716
SA - Sud America 167
AF - Africa 152
OC - Oceania 1
Totale 8.231
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.585
VN - Vietnam 966
GB - Regno Unito 707
CN - Cina 612
SG - Singapore 568
DE - Germania 270
FR - Francia 160
HK - Hong Kong 151
RU - Federazione Russa 144
IT - Italia 126
IN - India 118
BR - Brasile 117
IE - Irlanda 72
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
NL - Olanda 13
BD - Bangladesh 12
IQ - Iraq 10
PH - Filippine 10
CI - Costa d'Avorio 9
BE - Belgio 7
EC - Ecuador 7
MX - Messico 7
PY - Paraguay 7
CH - Svizzera 6
IL - Israele 6
SA - Arabia Saudita 6
CA - Canada 5
TW - Taiwan 5
UZ - Uzbekistan 5
CO - Colombia 4
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
TN - Tunisia 2
VE - Venezuela 2
AL - Albania 1
AU - Australia 1
CU - Cuba 1
DZ - Algeria 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
RO - Romania 1
SI - Slovenia 1
TT - Trinidad e Tobago 1
Totale 8.231
Salva come PNG Salva come JPEG
Città #
Southend 658
Fairfield 575
Singapore 353
Santa Clara 290
Woodbridge 290
Ashburn 274
Seattle 258
Ho Chi Minh City 227
Cambridge 224
Wilmington 221
Houston 202
San Jose 197
Hanoi 172
Dong Ket 151
Ann Arbor 150
Hong Kong 149
Princeton 126
Beijing 109
Lauterbourg 77
Chandler 72
Dublin 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
Istanbul 13
Bologna 12
Grafing 12
Ha Long 12
Hải Dương 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
Taizhou 8
Vũng Tàu 8
Brussels 7
Dallas 7
Haikou 7
Frankfurt am Main 6
Long An 6
Nuremberg 6
Olalla 6
Quận Ba 6
Điện Bàn 6
Amsterdam 5
Belo Horizonte 5
Bühl 5
Chicago 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
Apice 4
Asunción 4
Curitiba 4
Huế 4
Totale 6.185
Salva come PNG Salva come JPEG
Nome #
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 358
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 234
Relational dual tableaux for interval temporal logics 190
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation 180
Most general property-preserving updates 171
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 166
A tableau-based decision procedure for right propositional neighborhood logic 164
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems 164
Application of contract-based verification techniques for hybrid automata to surgical robotic systems 163
A framework for Fault Diagnosis of Hybrid Systems based on Predicate Abstractions 158
A game-theoretic approach to fault diagnosis and identification of hybrid systems 158
The impact of EFSM composition on functional ATPG 156
A tableau-based system for spatial reasoning about directional relations 156
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems 154
Fault Diagnosis of Hybrid Systems: an Onboard Camera Model 154
Assume–guarantee verification of nonlinear hybrid systems with Ariadne 154
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 149
Computing the evolution of hybrid systems using rigorous function calculus 148
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 143
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic 143
Metric propositional neighborhood logics on natural numbers 142
A Decidable Spatial Generalization of Metric Interval Temporal Logic 141
Improving HyLTL model checking of hybrid systems 138
Optimal tableau for Right Propositional Neighborhood Logic over trees 130
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture 128
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power 127
Formal verification applied to robotic surgery 127
An Optimal Decision Procedure for MPNL over the Integers 126
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 125
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths 122
Formal verification of robotic surgery tasks by reachability analysis 122
The dark side of interval temporal logic: marking the undecidability border 122
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms 120
An optimal decision procedure for Right Propositional Neighborhood Logic 120
An introduction to the verification of hybrid systems using ARIADNE 120
Robotic surgery: formal verification of plans 120
Sub-Propositional Fragments of the Interval Temporal Logic of Allen's Relations 120
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 117
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 116
The dark side of Interval Temporal Logic: sharpening the undecidability border 116
Time Granularities and Ultimately Periodic Automata 115
Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools 115
On the complexity of fragments of the modal logic of Allen’s relations over dense structures 114
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
Correct-by-construction code generation from hybrid automata specification 109
Reachability computation for hybrid systems with Ariadne 108
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT 108
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers 108
Tableaux for Logics of Subinterval Structures over Dense Orderings 107
Undecidability of interval temporal logics with the overlap modality 107
HyLTL: a temporal logic for model checking hybrid systems 107
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL 106
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 102
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity 101
On Begin, Meets and Before 97
The light side of Interval Temporal Logic: the Bernays-Schoenfinkel's fragment of CDT 94
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability 81
Proof methods for Interval Temporal Logics 80
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 75
DL-Lite and Interval Temporal Logics: a Marriage Proposal 73
Totale 8.318
Salva come PNG Salva come JPEG
Categoria #
all - tutte 21.490
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 21.490
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021288 0 0 0 0 0 0 0 0 0 0 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/20262.002 317 245 227 129 179 115 197 188 285 111 9 0
Totale 8.318