IRIS
DELLA MONICA, Dario
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.542
EU - Europa 697
AS - Asia 340
AF - Africa 4
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 1
Totale 3.588
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.533
IT - Italia 244
UA - Ucraina 167
SG - Singapore 161
CN - Cina 90
DE - Germania 89
FI - Finlandia 56
IE - Irlanda 45
SE - Svezia 33
VN - Vietnam 29
TR - Turchia 26
IN - India 24
GB - Regno Unito 19
CZ - Repubblica Ceca 13
BE - Belgio 11
CA - Canada 8
EU - Europa 4
NL - Olanda 4
TG - Togo 4
FR - Francia 3
IR - Iran 3
ES - Italia 2
HK - Hong Kong 2
KR - Corea 2
RO - Romania 2
TW - Taiwan 2
AL - Albania 1
AT - Austria 1
AU - Australia 1
DK - Danimarca 1
IS - Islanda 1
KG - Kirghizistan 1
LT - Lituania 1
MX - Messico 1
PL - Polonia 1
PT - Portogallo 1
RS - Serbia 1
RU - Federazione Russa 1
Totale 3.588
Salva come PNG Salva come JPEG
Città #
Woodbridge 394
Fairfield 260
Ann Arbor 224
Houston 213
Chandler 198
Singapore 139
Wilmington 125
Ashburn 120
Seattle 112
Cambridge 109
Jacksonville 100
Udine 87
Dearborn 76
Boardman 66
Princeton 49
Beijing 47
Dublin 45
Asti 30
Dong Ket 29
San Diego 24
Serra Riccò 24
San Mateo 23
Trieste 23
Ogden 18
Brno 13
Izmir 13
Kocaeli 13
Brussels 11
Des Moines 11
Council Bluffs 8
Norwalk 8
Florence 7
Hefei 7
Nanchang 7
New York 7
Helsinki 6
Simi Valley 6
Treviso 6
Los Angeles 5
Munich 5
Nanjing 5
Rome 5
Cagliari 4
Feletto Umberto 4
Frankfurt am Main 4
Lomé 4
Pasian di Prato 4
Preganziol 4
Toronto 4
Andover 3
Edinburgh 3
Fremont 3
Guangzhou 3
Hyderabad 3
Karlsruhe 3
Milan 3
Monmouth Junction 3
Ottawa 3
Vicenza 3
Amsterdam 2
Atlanta 2
Brescia 2
Columbus 2
Darmstadt 2
Fuzhou 2
Horia 2
Indianapolis 2
Lappeenranta 2
Münster 2
Nantong 2
Rio Saliceto 2
Seregno 2
Shanghai 2
Xiamen 2
Adelaide 1
Albuquerque 1
Ardabil 1
Barcelona 1
Belgrade 1
Bishkek 1
Caserta 1
Chengdu 1
Copenhagen 1
Costa Mesa 1
Dallas 1
Dongjak-gu 1
Fayetteville 1
Groningen 1
Harbin 1
Indiana 1
Jinan 1
Jinhua 1
Kopavogur 1
Kunming 1
L'aquila 1
Leawood 1
Lisbon 1
Longmont 1
Mestre 1
Minerbio 1
Totale 2.792
Salva come PNG Salva come JPEG
Nome #
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals 151
A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases 147
A tableau system for right propositional neighborhood logic over finite linear orders: An implementation 145
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 145
Prompt interval temporal logic 140
A decidable spatial generalization of Metric Interval Temporal Logic 130
A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders 128
On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders 121
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 119
On the complexity of fragments of the modal logic of Allen’s relations over dense structures 117
Metric propositional neighborhood logics on natural numbers 117
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic 116
Interval Temporal Logics over Strongly Discrete Linear Orders: Expressiveness and Complexity 115
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics 114
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 110
The dark side of interval temporal logic: Marking the undecidability border 99
Crossing the undecidability border with extensions of propositional neighborhood logic over natural numbers 97
When are prime formulae characteristic? 97
Undecidability of Interval Temporal Logics with the Overlap Modality 91
Expressiveness, decidability, and undecidability of interval temporal logic 90
The dark side of Interval Temporal Logics: sharpening the undecidability border 83
First Steps towards Automated Synthesis of Tableau Systems for Interval Temporal Logics 76
Interval Temporal Logics: a Journey 70
The light side of interval temporal logic: The Bernays-Schönfinkel fragment of CDT 64
Interval temporal logics over finite linear orders: The complete picture 59
A novel automata-theoretic approach to timeline-based planning 59
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts 59
An Approach to Fuzzy Modal Logic of Time Intervals 57
Expressiveness of the Interval Logics of Allen’s Relations on the Class of all Linear Orders: Complete Classification 55
Complexity of qualitative timeline-based planning 54
Pairing monitoring with machine learning for smart system verification and predictive maintenance 51
The light side of Interval Temporal Logics: the Bernays-Schoenfinkel's fragment of CDT 46
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation 46
Metric Propositional Neighborhood Logics: expressiveness, decidability, and undecidability 45
A Foundation for Runtime Monitoring 45
Hybrid metric propositional neighborhood logics with interval length binders 43
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 42
Beyond $omega BS$-regular Languages: $omegaT$-regular Expressions and Counter-Check Automata 36
Learning how to monitor: Pairing monitoring and learning for online system verification 35
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking 33
Pushing runtime verification to the limit: May process semantics be with Us 26
Good-for-Game QPTL: An Alternating Hodges Semantics 23
Monitors that Learn from Failures: Pairing STL and Genetic Programming 22
Time series checking with fuzzy interval temporal logics 22
Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS 21
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 20
Extended ω-Regular Languages and Interval Temporal Logic 19
A note on ultimately-periodic finite interval temporal logic model checking 18
Proving continuity of coinductive global bisimulation distances: A never ending story 18
An interval temporal logic characterization of extended ω-regular languages 17
When are prime formulae characteristic? 16
Preface 15
Fuzzy Halpern and Shoham's interval temporal logics 13
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 13
Decision Trees with a Modal Flavor 11
Alternating ({I}n){D}ependence-{F}riendly {L}ogic 10
Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022 7
Proceedings of the 14th International Symposium on Games, Automata, Logics and Formal Verification (GandALF) 7
Good-for-Game QPTL: An Alternating Hodges Semantics 6
Totale 3.751
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.468
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 15.468
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020608 0 0 0 0 58 120 105 86 73 109 12 45
2020/2021601 7 49 11 68 13 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/2025302 59 66 102 54 21 0 0 0 0 0 0 0
Totale 3.751