IRIS
MONTANARI, Angelo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 23.537
AS - Asia 8.954
EU - Europa 6.573
SA - Sud America 1.505
Continente sconosciuto - Info sul continente non disponibili 702
AF - Africa 241
OC - Oceania 24
Totale 41.536
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 22.957
SG - Singapore 4.252
CN - Cina 1.780
IT - Italia 1.650
UA - Ucraina 1.250
BR - Brasile 1.161
DE - Germania 935
HK - Hong Kong 851
VN - Vietnam 705
RU - Federazione Russa 497
FI - Finlandia 467
FR - Francia 363
SE - Svezia 348
CA - Canada 287
IE - Irlanda 255
GB - Regno Unito 245
IN - India 224
TR - Turchia 214
KR - Corea 180
BD - Bangladesh 142
AR - Argentina 117
MX - Messico 89
ZA - Sudafrica 82
JP - Giappone 81
IQ - Iraq 79
NL - Olanda 78
PL - Polonia 74
BE - Belgio 71
EC - Ecuador 69
ID - Indonesia 69
CZ - Repubblica Ceca 62
ES - Italia 52
CO - Colombia 49
AT - Austria 47
PK - Pakistan 47
PH - Filippine 42
VE - Venezuela 37
SA - Arabia Saudita 35
MA - Marocco 34
LT - Lituania 31
CR - Costa Rica 27
UZ - Uzbekistan 27
JM - Giamaica 25
IR - Iran 24
NI - Nicaragua 24
TT - Trinidad e Tobago 24
CL - Cile 21
AE - Emirati Arabi Uniti 20
AU - Australia 20
GT - Guatemala 20
IL - Israele 20
PE - Perù 20
RO - Romania 20
HN - Honduras 19
KE - Kenya 19
SV - El Salvador 19
DZ - Algeria 17
CH - Svizzera 16
NP - Nepal 16
EU - Europa 15
PR - Porto Rico 15
TN - Tunisia 15
AZ - Azerbaigian 14
EG - Egitto 14
JO - Giordania 14
CW - ???statistics.table.value.countryCode.CW??? 13
TH - Thailandia 13
TW - Taiwan 13
PT - Portogallo 12
HU - Ungheria 11
MY - Malesia 11
OM - Oman 11
PY - Paraguay 11
KG - Kirghizistan 10
RS - Serbia 10
UY - Uruguay 10
AL - Albania 9
BG - Bulgaria 9
DO - Repubblica Dominicana 9
GR - Grecia 9
MT - Malta 9
BO - Bolivia 8
EE - Estonia 8
TG - Togo 8
GE - Georgia 7
SN - Senegal 7
AM - Armenia 6
BB - Barbados 6
BH - Bahrain 6
ET - Etiopia 6
GP - Guadalupe 6
LB - Libano 6
PS - Palestinian Territory 6
SI - Slovenia 6
AO - Angola 5
CG - Congo 5
DK - Danimarca 5
CI - Costa d'Avorio 4
CM - Camerun 4
HR - Croazia 4
Totale 40.776
Salva come PNG Salva come JPEG
Città #
Woodbridge 2.248
Ashburn 2.009
Singapore 1.806
Ann Arbor 1.797
Fairfield 1.750
Houston 1.445
Chandler 1.180
San Jose 1.099
Jacksonville 865
Hong Kong 830
Beijing 802
Wilmington 780
Council Bluffs 773
Seattle 735
Cambridge 623
Dearborn 569
Boardman 385
Udine 381
Los Angeles 278
Lauterbourg 265
Princeton 257
Dublin 248
Staranzano 245
Dallas 227
Ho Chi Minh City 217
The Dalles 204
New York 170
Seoul 167
Izmir 158
Hefei 148
Hanoi 142
Santa Clara 125
São Paulo 123
San Diego 121
Buffalo 119
Dong Ket 109
Frankfurt am Main 103
Munich 100
Redondo Beach 97
Milan 89
Chicago 87
Serra Riccò 83
Helsinki 76
Phoenix 72
Ogden 71
Brooklyn 66
Des Moines 66
Brussels 65
Denver 62
Tokyo 61
Trieste 59
Warsaw 59
Atlanta 58
Brno 54
Ottawa 54
Toronto 52
San Mateo 51
Orem 49
Norwalk 48
Montreal 44
Rome 44
Columbus 42
Johannesburg 42
Nanjing 40
North Bergen 40
Düsseldorf 38
Amsterdam 36
London 35
Rio de Janeiro 34
Treviso 34
Mumbai 33
Karlsruhe 32
Chennai 30
Kunming 29
San Francisco 29
Vienna 29
Curitiba 28
Guangzhou 28
Washington 27
Asti 26
Mexico City 26
Baghdad 25
Belo Horizonte 25
Nuremberg 25
Stockholm 25
Haiphong 24
Miano 24
Quito 24
Shanghai 24
Managua 23
Boston 22
Campinas 22
Tashkent 22
Bologna 21
Philadelphia 21
San José 21
Brasília 20
Las Vegas 20
Nanchang 20
Turku 20
Totale 26.156
Salva come PNG Salva come JPEG
Nome #
Evaluating LLMs Capabilities at Natural Language to Logic Translation: A Preliminary Investigation 393
A graph-theoretic approach to map conceptual designs to XML schemas 325
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals 273
A Decidable Spatial Logic with Cone-shaped Cardinal Directions 265
On Propositional Interval Neighborhood Temporal Logics 264
A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases 258
An Original Approach to Positioning with Cellular Fingerprints Based on Decision Tree Ensembles 257
On Cascades of Reset Automata 256
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL 240
A Road Map of Interval Temporal Logics and Duration Calculi 238
Decidability of MSO Theories of Tree Structures 235
An optimal tableau for Right Propositional Neighborhood Logic over trees 232
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 222
Prompt interval temporal logic 222
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 218
A tableau system for right propositional neighborhood logic over finite linear orders: An implementation 217
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning 217
A General Tableau Method for Propositional Interval Temporal Logics 216
Maximal decidable fragments of Halpern and Shoham's modal logic of intervals 216
Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking? 215
Efficient temporal reasoning in the Cached Event Calculus 214
Decision tree pruning via multi-objective evolutionary computation 213
A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants 211
A Uniform Algebraic Characterization of Temporal Functional Dependencies 209
Model Checking for Fragments of the Interval Temporal Logic HS at the Low Levels of the Polynomial Time Hierarchy 209
An in-depth investigation of interval temporal logic model checking with regular expressions 209
J48S: A Sequence Classification Approach to Text Analysis Based on Decision Trees 207
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau 206
A Hierarchy of Modal Event Calculi: Expressiveness and Complexity 205
Metric Propositional Neighborhood Logic with an Equivalence Relation 204
Non-Finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T 202
A set-theoretic translation method for polymodal logics 201
A Consensus Glossary of Temporal Database Concepts 200
Tableaux for logics of subinterval structures over dense orderings 200
A New Tableau-based Satisfiability Checker for Linear Temporal Logic 199
A set-theoretic translation method for (poly)modal logics 198
A map-matching algorithm dealing with sparse cellular fingerprint observations 197
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 196
From Entity Relationship to XML Schema: A Graph-Theoretic Approach 196
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 196
A decidable spatial generalization of Metric Interval Temporal Logic 195
Interval-based Synthesis 195
A Contraction Method to Decide MSO Theory of Deterministic Trees 194
A conceptual spatial model supporting topologically-consistent multiple representations 194
A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders 194
Definability and decidability of binary predicates for time granularity 193
An event-based data warehouse to support decisions in multi-channel, multi-service contact centers 193
On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders 193
Time Granularities and Ultimately Periodic Automata 191
A Modal Calculus of Partially Ordered Events in a Logic Programming Framework 190
Metric propositional neighborhood logic with an equivalence relation 189
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 187
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 187
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events 186
Modal deduction in second-order logic and set theory. I 186
Multiobjective evolutionary feature selection and fuzzy classification of contact centre data 186
Compact and Tractable Automaton-based Representations for Time Granularities 184
A Novel Decision Tree Approach for the Handling of Time Series 184
An algorithmic account of winning strategies in Ehrenfeucht games on labelled successor structures 183
Map matching with sparse cellular fingerprint observations 183
A Tableau-based Decision Procedure for Right Propositional Neighborhood Logic 183
Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems 182
The T4SQL Temporal Query Language 179
A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation 179
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 178
Interval temporal logic model checking: The border between good and bad HS fragments 178
An Optimal Tableau-based Decision Algorithm for Propositional Neighborhood Logic 178
Indexing by Shape of Image Databases Based on Extended Grid Files 177
Propositional Interval Temporal Logics: Some Promising Paths 177
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 177
A Guided Tour Through some Extensions of the Event Calculus 177
Decidability of Interval Temporal Logics over Split-Frames via Granularity 176
A General Modal Framework for the Event Calculus and its Skeptical and Credolous Variants 175
Decidability results for metric and layered temporal logics 175
From entity relationship to XML Schema: A graph-theoretic approach (extended abstract) 173
On the complexity of fragments of the modal logic of Allen’s relations over dense structures 173
A calculus of macro-events: progress report 172
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics 172
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic 170
Crossing the undecidability border with extensions of propositional neighborhood logic over natural numbers 170
Interval Temporal Logics over Strongly Discrete Linear Orders: Expressiveness and Complexity 170
On the Equivalence of Automaton-based Representations of Time Granularities 169
Tableau-Based System for Spatial Reasoning about Directional Relations 169
Checking interval properties of computations 169
Modal Event Calculi with Preconditions 168
On Devising Algorithms for Ehrenfeucht-Fraïssé Games 167
A Cellular Network Database for Fingerprint Positioning Systems 167
Back to Interval Temporal Logics 166
Decidability of the interval temporal logic ABB* over the natural numbers 166
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 166
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 166
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past 166
A relational encoding of a conceptual model with multiple temporal dimensions 165
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures over Dense Orderings 164
Theories of omega-layered metric temporal structures 164
A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in (Modal) Event Calculus 163
Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems 163
BLACK: A fast, flexible and reliable LTL satisfiability checker 163
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 162
On the relationships between theories of time granularity and the monadic second-order theory of one successor 162
Totale 19.674
Salva come PNG Salva come JPEG
Categoria #
all - tutte 149.215
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 149.215
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.640 0 0 0 0 55 97 135 81 56 349 523 344
2022/20232.566 307 247 88 304 259 634 21 170 372 27 66 71
2023/20241.050 154 73 40 18 132 132 18 95 120 75 17 176
2024/20255.833 215 390 239 286 200 254 321 299 533 419 959 1.718
2025/202610.925 911 1.010 904 1.100 1.538 837 1.303 433 707 1.063 708 411
2026/20273.612 295 689 1.234 1.228 166 0 0 0 0 0 0 0
Totale 41.536