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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202159 0 0 0 0 0 0 0 0 0 0 0 59
2021/2022434 31 29 32 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.299 182 275 217 280 265 139 229 100 175 208 118 111
Totale 6.931