IRIS
DELLA MONICA, Dario
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.627
EU - Europa 857
AS - Asia 564
SA - Sud America 74
AF - Africa 8
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 1
Totale 4.135
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.615
SG - Singapore 320
IT - Italia 251
UA - Ucraina 169
CN - Cina 119
DE - Germania 112
RU - Federazione Russa 85
BR - Brasile 70
FI - Finlandia 58
IE - Irlanda 47
SE - Svezia 33
GB - Regno Unito 30
VN - Vietnam 30
TR - Turchia 28
IN - India 25
CZ - Repubblica Ceca 13
KR - Corea 13
BE - Belgio 11
FR - Francia 10
CA - Canada 8
NL - Olanda 8
AT - Austria 7
PL - Polonia 7
HK - Hong Kong 6
ES - Italia 4
EU - Europa 4
TG - Togo 4
IQ - Iraq 3
IR - Iran 3
MX - Messico 3
PE - Perù 3
AM - Armenia 2
JO - Giordania 2
LT - Lituania 2
PT - Portogallo 2
RO - Romania 2
TW - Taiwan 2
UZ - Uzbekistan 2
ZA - Sudafrica 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AU - Australia 1
AZ - Azerbaigian 1
BD - Bangladesh 1
CO - Colombia 1
DK - Danimarca 1
EE - Estonia 1
GR - Grecia 1
HN - Honduras 1
IS - Islanda 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LK - Sri Lanka 1
MA - Marocco 1
MN - Mongolia 1
PH - Filippine 1
QA - Qatar 1
RS - Serbia 1
TN - Tunisia 1
Totale 4.135
Salva come PNG Salva come JPEG
Città #
Woodbridge 394
Fairfield 260
Singapore 230
Ann Arbor 224
Houston 213
Chandler 198
Wilmington 125
Ashburn 120
Seattle 113
Cambridge 109
Jacksonville 101
Udine 93
Dearborn 76
Beijing 70
Boardman 66
Princeton 49
Dublin 47
Asti 30
Dong Ket 29
San Diego 24
Serra Riccò 24
San Mateo 23
Trieste 23
Ogden 18
Brno 13
Düsseldorf 13
Izmir 13
Kocaeli 13
Los Angeles 12
Brussels 11
Des Moines 11
Seoul 11
Council Bluffs 10
Helsinki 8
New York 8
Norwalk 8
Florence 7
Frankfurt am Main 7
Hefei 7
Munich 7
Nanchang 7
Warsaw 7
Simi Valley 6
Treviso 6
Nanjing 5
Rome 5
Amsterdam 4
Atlanta 4
Cagliari 4
Feletto Umberto 4
Hong Kong 4
Lomé 4
Nuremberg 4
Pasian di Prato 4
Phoenix 4
Preganziol 4
Rio de Janeiro 4
Toronto 4
Andover 3
Brooklyn 3
Curitiba 3
Edinburgh 3
Fremont 3
Guangzhou 3
Hyderabad 3
Karlsruhe 3
Milan 3
Monmouth Junction 3
Ottawa 3
Portsmouth 3
Santa Clara 3
São Paulo 3
Vicenza 3
Amman 2
Balneário Camboriú 2
Boston 2
Brescia 2
Columbus 2
Dallas 2
Darmstadt 2
Erbil 2
Fortaleza 2
Fuzhou 2
Guarulhos 2
Horia 2
Indianapolis 2
Itabira 2
Johannesburg 2
Lappeenranta 2
Lauterbourg 2
Lima 2
Manchester 2
Münster 2
Nantong 2
Rio Saliceto 2
San Francisco 2
Santa Luzia 2
Seregno 2
Shanghai 2
Southampton 2
Totale 3.001
Salva come PNG Salva come JPEG
Nome #
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals 161
A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases 161
A tableau system for right propositional neighborhood logic over finite linear orders: An implementation 156
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 152
Prompt interval temporal logic 151
A decidable spatial generalization of Metric Interval Temporal Logic 141
A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders 138
On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders 132
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 130
On the complexity of fragments of the modal logic of Allen’s relations over dense structures 127
Interval Temporal Logics over Strongly Discrete Linear Orders: Expressiveness and Complexity 124
Metric propositional neighborhood logics on natural numbers 124
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic 122
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics 122
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 117
When are prime formulae characteristic? 109
Crossing the undecidability border with extensions of propositional neighborhood logic over natural numbers 105
The dark side of interval temporal logic: Marking the undecidability border 105
Undecidability of Interval Temporal Logics with the Overlap Modality 101
Expressiveness, decidability, and undecidability of interval temporal logic 100
The dark side of Interval Temporal Logics: sharpening the undecidability border 89
First Steps towards Automated Synthesis of Tableau Systems for Interval Temporal Logics 85
Interval Temporal Logics: a Journey 77
Interval temporal logics over finite linear orders: The complete picture 73
An Approach to Fuzzy Modal Logic of Time Intervals 72
The light side of interval temporal logic: The Bernays-Schönfinkel fragment of CDT 71
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts 68
Complexity of qualitative timeline-based planning 68
A novel automata-theoretic approach to timeline-based planning 67
Expressiveness of the Interval Logics of Allen’s Relations on the Class of all Linear Orders: Complete Classification 63
A Foundation for Runtime Monitoring 61
The light side of Interval Temporal Logics: the Bernays-Schoenfinkel's fragment of CDT 58
Pairing monitoring with machine learning for smart system verification and predictive maintenance 58
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation 53
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 52
Metric Propositional Neighborhood Logics: expressiveness, decidability, and undecidability 51
Beyond $omega BS$-regular Languages: $omegaT$-regular Expressions and Counter-Check Automata 51
Hybrid metric propositional neighborhood logics with interval length binders 50
Learning how to monitor: Pairing monitoring and learning for online system verification 43
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking 40
Monitors that Learn from Failures: Pairing STL and Genetic Programming 38
Pushing runtime verification to the limit: May process semantics be with Us 32
An interval temporal logic characterization of extended ω-regular languages 31
Time series checking with fuzzy interval temporal logics 30
Good-for-Game QPTL: An Alternating Hodges Semantics 30
Extended ω-Regular Languages and Interval Temporal Logic 30
Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS 29
A note on ultimately-periodic finite interval temporal logic model checking 29
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 27
When are prime formulae characteristic? 25
Proving continuity of coinductive global bisimulation distances: A never ending story 25
Decision Trees with a Modal Flavor 24
Fuzzy Halpern and Shoham's interval temporal logics 23
Preface 23
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 22
Alternating ({I}n){D}ependence-{F}riendly {L}ogic 22
Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022 15
Proceedings of the 14th International Symposium on Games, Automata, Logics and Formal Verification (GandALF) 15
Good-for-Game QPTL: An Alternating Hodges Semantics 13
Totale 4.311
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.864
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 18.864
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202045 0 0 0 0 0 0 0 0 0 0 0 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/2025862 59 66 102 54 22 81 78 48 93 51 192 16
Totale 4.311