IRIS
DELLA MONICA, Dario
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.939
AS - Asia 1.453
EU - Europa 928
SA - Sud America 343
AF - Africa 26
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 1
Totale 5.694
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.903
SG - Singapore 718
BR - Brasile 285
CN - Cina 280
IT - Italia 262
UA - Ucraina 171
HK - Hong Kong 158
VN - Vietnam 151
DE - Germania 119
RU - Federazione Russa 92
FI - Finlandia 60
IE - Irlanda 47
GB - Regno Unito 42
SE - Svezia 37
IN - India 36
TR - Turchia 31
AR - Argentina 19
MX - Messico 16
CZ - Repubblica Ceca 14
CA - Canada 13
KR - Corea 13
ES - Italia 12
FR - Francia 12
BD - Bangladesh 11
BE - Belgio 11
NL - Olanda 11
PL - Polonia 11
AT - Austria 10
ID - Indonesia 10
EC - Ecuador 9
IQ - Iraq 8
MA - Marocco 7
ZA - Sudafrica 7
CO - Colombia 6
PE - Perù 6
CL - Cile 5
PY - Paraguay 5
EU - Europa 4
KE - Kenya 4
TG - Togo 4
UY - Uruguay 4
UZ - Uzbekistan 4
IR - Iran 3
JP - Giappone 3
LT - Lituania 3
PK - Pakistan 3
VE - Venezuela 3
AE - Emirati Arabi Uniti 2
AL - Albania 2
AM - Armenia 2
AZ - Azerbaigian 2
BB - Barbados 2
EE - Estonia 2
EG - Egitto 2
HN - Honduras 2
JO - Giordania 2
KG - Kirghizistan 2
LB - Libano 2
PT - Portogallo 2
RO - Romania 2
SA - Arabia Saudita 2
TN - Tunisia 2
TW - Taiwan 2
AU - Australia 1
BO - Bolivia 1
CH - Svizzera 1
DK - Danimarca 1
GR - Grecia 1
IS - Islanda 1
JM - Giamaica 1
KZ - Kazakistan 1
LK - Sri Lanka 1
MD - Moldavia 1
MN - Mongolia 1
MY - Malesia 1
NI - Nicaragua 1
PH - Filippine 1
QA - Qatar 1
RS - Serbia 1
SV - El Salvador 1
TH - Thailandia 1
TJ - Tagikistan 1
Totale 5.694
Salva come PNG Salva come JPEG
Città #
Woodbridge 394
Singapore 280
Fairfield 260
Ann Arbor 224
Ashburn 224
Houston 214
Chandler 198
Beijing 169
Hong Kong 156
Wilmington 125
Seattle 113
Cambridge 109
Jacksonville 101
Udine 93
Dearborn 76
Boardman 66
Ho Chi Minh City 54
Princeton 49
Dublin 47
Los Angeles 38
Asti 30
Dong Ket 29
Redondo Beach 28
Hanoi 26
San Diego 24
Serra Riccò 24
San Mateo 23
Trieste 23
São Paulo 22
Hefei 21
New York 19
Ogden 18
Dallas 14
Brno 13
Buffalo 13
Düsseldorf 13
Izmir 13
Kocaeli 13
Munich 13
Brussels 11
Des Moines 11
Seoul 11
Warsaw 11
Council Bluffs 10
Curitiba 9
The Dalles 9
Brooklyn 8
Helsinki 8
Norwalk 8
Florence 7
Fortaleza 7
Frankfurt am Main 7
Nanchang 7
Phoenix 7
Rome 7
Amsterdam 6
Campinas 6
Guarulhos 6
London 6
Rio de Janeiro 6
Simi Valley 6
Treviso 6
Belo Horizonte 5
Itajaí 5
Mumbai 5
Nanjing 5
Nuremberg 5
Santa Clara 5
Sumaré 5
Toronto 5
Atlanta 4
Biên Hòa 4
Cagliari 4
Edinburgh 4
Feletto Umberto 4
Hải Dương 4
Johannesburg 4
Lima 4
Lomé 4
Manaus 4
Mexico City 4
Nairobi 4
Pasian di Prato 4
Preganziol 4
Quito 4
Stockholm 4
Andover 3
Bauru 3
Boston 3
Brasília 3
Cachoeirinha 3
Cape Town 3
Caxias do Sul 3
Criciúma 3
Denver 3
Erbil 3
Fremont 3
Guangzhou 3
Haiphong 3
Hyderabad 3
Totale 3.695
Salva come PNG Salva come JPEG
Nome #
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals 214
A tableau system for right propositional neighborhood logic over finite linear orders: An implementation 194
A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases 194
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 178
Prompt interval temporal logic 173
On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders 167
A decidable spatial generalization of Metric Interval Temporal Logic 166
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 166
A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders 162
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics 148
Interval Temporal Logics over Strongly Discrete Linear Orders: Expressiveness and Complexity 148
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic 146
On the complexity of fragments of the modal logic of Allen’s relations over dense structures 141
When are prime formulae characteristic? 141
Crossing the undecidability border with extensions of propositional neighborhood logic over natural numbers 140
Metric propositional neighborhood logics on natural numbers 137
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 135
The dark side of interval temporal logic: Marking the undecidability border 132
Undecidability of Interval Temporal Logics with the Overlap Modality 128
Expressiveness, decidability, and undecidability of interval temporal logic 121
An Approach to Fuzzy Modal Logic of Time Intervals 116
The dark side of Interval Temporal Logics: sharpening the undecidability border 109
First Steps towards Automated Synthesis of Tableau Systems for Interval Temporal Logics 107
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts 99
A Foundation for Runtime Monitoring 98
A novel automata-theoretic approach to timeline-based planning 96
Complexity of qualitative timeline-based planning 96
Interval temporal logics over finite linear orders: The complete picture 95
Beyond $omega BS$-regular Languages: $omegaT$-regular Expressions and Counter-Check Automata 95
The light side of interval temporal logic: The Bernays-Schönfinkel fragment of CDT 91
Metric Propositional Neighborhood Logics: expressiveness, decidability, and undecidability 90
Interval Temporal Logics: a Journey 89
Expressiveness of the Interval Logics of Allen’s Relations on the Class of all Linear Orders: Complete Classification 85
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 85
Pairing monitoring with machine learning for smart system verification and predictive maintenance 83
Hybrid metric propositional neighborhood logics with interval length binders 81
The light side of Interval Temporal Logics: the Bernays-Schoenfinkel's fragment of CDT 76
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation 75
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking 71
An interval temporal logic characterization of extended ω-regular languages 70
Monitors that Learn from Failures: Pairing STL and Genetic Programming 66
Extended ω-Regular Languages and Interval Temporal Logic 64
A note on ultimately-periodic finite interval temporal logic model checking 61
Learning how to monitor: Pairing monitoring and learning for online system verification 59
Decision Trees with a Modal Flavor 54
Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS 52
Pushing runtime verification to the limit: May process semantics be with Us 52
When are prime formulae characteristic? 50
Good-for-Game QPTL: An Alternating Hodges Semantics 46
Alternating ({I}n){D}ependence-{F}riendly {L}ogic 44
Time series checking with fuzzy interval temporal logics 44
Good-for-Game QPTL: An Alternating Hodges Semantics 44
Proceedings of the 14th International Symposium on Games, Automata, Logics and Formal Verification (GandALF) 43
Fuzzy Halpern and Shoham's interval temporal logics 42
Proving continuity of coinductive global bisimulation distances: A never ending story 42
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 41
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 39
Preface 38
Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022 32
An Automaton-based Characterisation of First-Order Logic over Infinite Trees. 23
Totale 5.874
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.325
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 24.325
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021453 0 0 0 0 0 56 38 58 122 61 59 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/20261.242 182 275 217 280 265 23 0 0 0 0 0 0
Totale 5.874