IRIS
DELLA MONICA, Dario
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.981
AS - Asia 1.838
EU - Europa 1.152
SA - Sud America 385
Continente sconosciuto - Info sul continente non disponibili 187
AF - Africa 43
OC - Oceania 2
Totale 7.588
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.875
SG - Singapore 855
IT - Italia 373
CN - Cina 349
BR - Brasile 308
VN - Vietnam 213
HK - Hong Kong 177
UA - Ucraina 173
DE - Germania 141
RU - Federazione Russa 94
FR - Francia 68
FI - Finlandia 63
GB - Regno Unito 55
IE - Irlanda 47
IN - India 47
CA - Canada 44
TR - Turchia 38
SE - Svezia 37
AR - Argentina 25
BD - Bangladesh 25
MX - Messico 22
ID - Indonesia 17
IQ - Iraq 17
CZ - Repubblica Ceca 14
PL - Polonia 14
KR - Corea 13
NL - Olanda 13
ES - Italia 12
JP - Giappone 12
BE - Belgio 11
CO - Colombia 11
ZA - Sudafrica 11
AT - Austria 10
EC - Ecuador 10
MA - Marocco 10
CL - Cile 9
PH - Filippine 9
PK - Pakistan 9
UZ - Uzbekistan 9
CR - Costa Rica 7
KE - Kenya 7
SA - Arabia Saudita 7
JM - Giamaica 6
NI - Nicaragua 6
PE - Perù 6
VE - Venezuela 6
EE - Estonia 5
JO - Giordania 5
PY - Paraguay 5
EU - Europa 4
GT - Guatemala 4
KG - Kirghizistan 4
PR - Porto Rico 4
TG - Togo 4
TN - Tunisia 4
UY - Uruguay 4
AL - Albania 3
AM - Armenia 3
BB - Barbados 3
EG - Egitto 3
HN - Honduras 3
IR - Iran 3
KZ - Kazakistan 3
LB - Libano 3
LT - Lituania 3
PT - Portogallo 3
SV - El Salvador 3
TT - Trinidad e Tobago 3
AE - Emirati Arabi Uniti 2
AU - Australia 2
AZ - Azerbaigian 2
CH - Svizzera 2
DK - Danimarca 2
ET - Etiopia 2
MN - Mongolia 2
OM - Oman 2
RO - Romania 2
RS - Serbia 2
TH - Thailandia 2
TJ - Tagikistan 2
TW - Taiwan 2
BO - Bolivia 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
GE - Georgia 1
GR - Grecia 1
HU - Ungheria 1
IL - Israele 1
IS - Islanda 1
LK - Sri Lanka 1
MD - Moldavia 1
MY - Malesia 1
PS - Palestinian Territory 1
QA - Qatar 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
Totale 7.405
Salva come PNG Salva come JPEG
Città #
Ashburn 417
Woodbridge 394
Singapore 362
Fairfield 260
Ann Arbor 224
Houston 218
Chandler 198
Beijing 173
Hong Kong 172
San Jose 172
Wilmington 125
Seattle 114
Cambridge 110
Jacksonville 103
Council Bluffs 95
Udine 93
Ho Chi Minh City 78
Dearborn 76
Boardman 75
Lauterbourg 53
Staranzano 51
Princeton 49
Dublin 48
Los Angeles 48
Hanoi 41
The Dalles 40
Santa Clara 32
New York 31
Asti 30
Dong Ket 29
Redondo Beach 28
São Paulo 25
San Diego 24
Serra Riccò 24
Trieste 24
Frankfurt am Main 23
San Mateo 23
Hefei 21
Dallas 18
Ogden 18
Phoenix 18
Atlanta 17
Milan 15
Brno 13
Brooklyn 13
Buffalo 13
Denver 13
Düsseldorf 13
Izmir 13
Kocaeli 13
Munich 13
Toronto 13
Warsaw 13
Tokyo 12
Brussels 11
Des Moines 11
Seoul 11
Helsinki 10
Chicago 9
Curitiba 9
Amsterdam 8
Norwalk 8
Brasília 7
Florence 7
Fortaleza 7
Haiphong 7
Mexico City 7
Miano 7
Montreal 7
Mumbai 7
Nanchang 7
Rio de Janeiro 7
Rome 7
Tashkent 7
Treviso 7
Campinas 6
Guarulhos 6
Las Vegas 6
London 6
Managua 6
Nairobi 6
Naples 6
Nuremberg 6
Simi Valley 6
Amman 5
Belo Horizonte 5
Dhaka 5
Edinburgh 5
Hyderabad 5
Hải Dương 5
Itajaí 5
Johannesburg 5
Nanjing 5
North Charleston 5
Orem 5
Orlando 5
Ottawa 5
Philadelphia 5
San Antonio 5
Sumaré 5
Totale 4.633
Salva come PNG Salva come JPEG
Nome #
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals 271
A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases 256
An Approach to Fuzzy Modal Logic of Time Intervals 235
Prompt interval temporal logic 220
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 217
A tableau system for right propositional neighborhood logic over finite linear orders: An implementation 216
Expressiveness, decidability, and undecidability of interval temporal logic 209
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 195
A decidable spatial generalization of Metric Interval Temporal Logic 193
A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders 192
On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders 191
On the complexity of fragments of the modal logic of Allen’s relations over dense structures 172
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics 171
Crossing the undecidability border with extensions of propositional neighborhood logic over natural numbers 169
Interval Temporal Logics over Strongly Discrete Linear Orders: Expressiveness and Complexity 169
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic 168
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 161
Metric propositional neighborhood logics on natural numbers 160
The dark side of interval temporal logic: Marking the undecidability border 155
When are prime formulae characteristic? 155
Undecidability of Interval Temporal Logics with the Overlap Modality 151
The dark side of Interval Temporal Logics: sharpening the undecidability border 140
First Steps towards Automated Synthesis of Tableau Systems for Interval Temporal Logics 130
A novel automata-theoretic approach to timeline-based planning 125
A Foundation for Runtime Monitoring 124
Beyond $omega BS$-regular Languages: $omegaT$-regular Expressions and Counter-Check Automata 123
Complexity of qualitative timeline-based planning 123
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts 121
Interval temporal logics over finite linear orders: The complete picture 118
Interval Temporal Logics: a Journey 117
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 117
Metric Propositional Neighborhood Logics: expressiveness, decidability, and undecidability 113
The light side of interval temporal logic: The Bernays-Schönfinkel fragment of CDT 110
Expressiveness of the Interval Logics of Allen’s Relations on the Class of all Linear Orders: Complete Classification 108
The light side of Interval Temporal Logics: the Bernays-Schoenfinkel's fragment of CDT 106
Pairing monitoring with machine learning for smart system verification and predictive maintenance 98
Hybrid metric propositional neighborhood logics with interval length binders 98
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking 96
When are prime formulae characteristic? 94
An interval temporal logic characterization of extended ω-regular languages 93
Monitors that Learn from Failures: Pairing STL and Genetic Programming 89
Learning how to monitor: Pairing monitoring and learning for online system verification 88
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation 86
Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS 85
Extended ω-Regular Languages and Interval Temporal Logic 85
A note on ultimately-periodic finite interval temporal logic model checking 78
Decision Trees with a Modal Flavor 74
Good-for-Game QPTL: An Alternating Hodges Semantics 72
Pushing runtime verification to the limit: May process semantics be with Us 70
Preface 70
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 66
Alternating ({I}n){D}ependence-{F}riendly {L}ogic 65
Time series checking with fuzzy interval temporal logics 65
Good-for-Game QPTL: An Alternating Hodges Semantics 63
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021 62
Fuzzy Halpern and Shoham's interval temporal logics 61
Proving continuity of coinductive global bisimulation distances: A never ending story 60
Proceedings of the 14th International Symposium on Games, Automata, Logics and Formal Verification (GandALF) 56
An Automaton-based Characterisation of First-Order Logic over Infinite Trees. 52
Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022 49
Deciding the Common Fragment of CTL with past and LTL 12
Totale 7.588
Salva come PNG Salva come JPEG
Categoria #
all - tutte 30.173
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 30.173
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022342 0 0 0 20 3 16 24 14 17 71 114 63
2022/2023468 58 47 3 51 54 94 6 40 75 8 11 21
2023/2024163 33 3 9 4 13 15 6 12 22 16 5 25
2024/20251.183 59 66 102 54 22 81 78 48 93 51 192 337
2025/20262.305 182 275 217 280 265 139 229 100 175 208 118 117
2026/2027651 66 126 254 205 0 0 0 0 0 0 0 0
Totale 7.588