IRIS
DELLA MONICA, Dario
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.371
EU - Europa 642
AS - Asia 193
AF - Africa 4
Continente sconosciuto - Info sul continente non disponibili 4
Totale 3.214
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.363
IT - Italia 211
UA - Ucraina 161
DE - Germania 87
CN - Cina 85
FI - Finlandia 53
IE - Irlanda 45
SE - Svezia 29
VN - Vietnam 29
TR - Turchia 26
IN - India 24
SG - Singapore 20
GB - Regno Unito 17
CZ - Repubblica Ceca 13
BE - Belgio 11
CA - Canada 7
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
DK - Danimarca 1
MX - Messico 1
PL - Polonia 1
RS - Serbia 1
RU - Federazione Russa 1
Totale 3.214
Salva come PNG Salva come JPEG
Città #
Woodbridge 379
Fairfield 246
Houston 207
Chandler 198
Ann Arbor 190
Wilmington 120
Ashburn 117
Seattle 110
Cambridge 105
Jacksonville 96
Udine 87
Dearborn 72
Princeton 48
Beijing 47
Dublin 45
Asti 30
Dong Ket 29
San Diego 23
San Mateo 23
Serra Riccò 23
Trieste 23
Singapore 19
Ogden 17
Brno 13
Izmir 13
Kocaeli 13
Brussels 11
Des Moines 11
Boardman 10
Norwalk 8
Hefei 7
Council Bluffs 6
Helsinki 6
Nanchang 6
New York 6
Simi Valley 6
Munich 5
Nanjing 5
Cagliari 4
Feletto Umberto 4
Frankfurt am Main 4
Lomé 4
Los Angeles 4
Preganziol 4
Andover 3
Fremont 3
Guangzhou 3
Hyderabad 3
Karlsruhe 3
Monmouth Junction 3
Ottawa 3
Toronto 3
Vicenza 3
Amsterdam 2
Atlanta 2
Darmstadt 2
Edinburgh 2
Fuzhou 2
Horia 2
Indianapolis 2
Münster 2
Seregno 2
Shanghai 2
Albuquerque 1
Ardabil 1
Barcelona 1
Belgrade 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
Kunming 1
L'aquila 1
Lappeenranta 1
Leawood 1
Mestre 1
Montreal 1
Nanning 1
Nantong 1
Norman 1
Nuremberg 1
Phoenix 1
Providence 1
Provo 1
Redmond 1
Rome 1
San Francisco 1
San Jose 1
Shenyang 1
Suffolk 1
Taipei 1
Taiyuan 1
Totale 2.488
Salva come PNG Salva come JPEG
Nome #
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals 147
A tableau system for right propositional neighborhood logic over finite linear orders: An implementation 140
Prompt interval temporal logic 138
A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases 138
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 136
A decidable spatial generalization of Metric Interval Temporal Logic 125
A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders 123
On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders 119
Metric propositional neighborhood logics on natural numbers 115
On the complexity of fragments of the modal logic of Allen’s relations over dense structures 114
Interval Temporal Logics over Strongly Discrete Linear Orders: Expressiveness and Complexity 113
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 113
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 109
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics 109
The dark side of interval temporal logic: Marking the undecidability border 97
When are prime formulae characteristic? 94
Crossing the undecidability border with extensions of propositional neighborhood logic over natural numbers 92
Undecidability of Interval Temporal Logics with the Overlap Modality 89
Expressiveness, decidability, and undecidability of interval temporal logic 85
The dark side of Interval Temporal Logics: sharpening the undecidability border 82
First Steps towards Automated Synthesis of Tableau Systems for Interval Temporal Logics 74
Interval Temporal Logics: a Journey 66
The light side of interval temporal logic: The Bernays-Schönfinkel fragment of CDT 61
Interval temporal logics over finite linear orders: The complete picture 56
A novel automata-theoretic approach to timeline-based planning 55
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts 54
Expressiveness of the Interval Logics of Allen’s Relations on the Class of all Linear Orders: Complete Classification 53
An Approach to Fuzzy Modal Logic of Time Intervals 53
Pairing monitoring with machine learning for smart system verification and predictive maintenance 49
The light side of Interval Temporal Logics: the Bernays-Schoenfinkel's fragment of CDT 44
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation 43
Metric Propositional Neighborhood Logics: expressiveness, decidability, and undecidability 42
Complexity of qualitative timeline-based planning 41
Hybrid metric propositional neighborhood logics with interval length binders 38
A Foundation for Runtime Monitoring 35
Beyond $omega BS$-regular Languages: $omegaT$-regular Expressions and Counter-Check Automata 32
Learning how to monitor: Pairing monitoring and learning for online system verification 29
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking 29
Pushing runtime verification to the limit: May process semantics be with Us 24
Good-for-Game QPTL: An Alternating Hodges Semantics 21
Time series checking with fuzzy interval temporal logics 19
Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS 18
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 17
Extended ω-Regular Languages and Interval Temporal Logic 16
Monitors that Learn from Failures: Pairing STL and Genetic Programming 15
Proving continuity of coinductive global bisimulation distances: A never ending story 15
When are prime formulae characteristic? 13
Preface 13
A note on ultimately-periodic finite interval temporal logic model checking 13
An interval temporal logic characterization of extended ω-regular languages 12
Fuzzy Halpern and Shoham's interval temporal logics 11
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 8
Alternating ({I}n){D}ependence-{F}riendly {L}ogic 7
Decision Trees with a Modal Flavor 6
Good-for-Game QPTL: An Alternating Hodges Semantics 4
Totale 3.364
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.849
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 12.849
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020800 41 30 36 108 56 113 102 82 71 107 12 42
2020/2021589 7 47 11 66 13 54 38 56 121 60 58 58
2021/2022424 31 27 30 19 3 16 23 14 17 70 112 62
2022/2023467 57 47 3 51 54 94 6 40 75 8 11 21
2023/2024162 33 3 9 4 13 15 6 12 21 16 5 25
2024/202529 29 0 0 0 0 0 0 0 0 0 0 0
Totale 3.364