IRIS
MONTANARI, Angelo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 18.411
AS - Asia 7.566
EU - Europa 5.241
SA - Sud America 1.225
AF - Africa 133
OC - Oceania 20
Continente sconosciuto - Info sul continente non disponibili 17
Totale 32.613
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 18.180
SG - Singapore 3.874
CN - Cina 1.542
UA - Ucraina 1.242
BR - Brasile 1.019
IT - Italia 958
DE - Germania 845
HK - Hong Kong 794
VN - Vietnam 498
RU - Federazione Russa 457
FI - Finlandia 437
SE - Svezia 342
IE - Irlanda 251
GB - Regno Unito 194
TR - Turchia 192
KR - Corea 176
IN - India 142
CA - Canada 132
AR - Argentina 78
FR - Francia 76
PL - Polonia 65
BE - Belgio 64
MX - Messico 64
CZ - Repubblica Ceca 59
ZA - Sudafrica 50
BD - Bangladesh 49
EC - Ecuador 48
NL - Olanda 48
JP - Giappone 47
ID - Indonesia 41
AT - Austria 40
ES - Italia 38
IQ - Iraq 27
IR - Iran 23
CO - Colombia 22
MA - Marocco 21
LT - Lituania 20
PE - Perù 17
UZ - Uzbekistan 17
AU - Australia 16
VE - Venezuela 16
EU - Europa 15
KE - Kenya 14
PK - Pakistan 13
RO - Romania 13
AZ - Azerbaigian 12
AE - Emirati Arabi Uniti 11
CH - Svizzera 11
TW - Taiwan 11
SA - Arabia Saudita 10
EG - Egitto 9
JO - Giordania 9
MT - Malta 9
PT - Portogallo 9
CL - Cile 8
GR - Grecia 8
PY - Paraguay 8
BG - Bulgaria 7
CR - Costa Rica 7
HU - Ungheria 7
PH - Filippine 7
RS - Serbia 7
IL - Israele 6
KG - Kirghizistan 6
SI - Slovenia 6
TT - Trinidad e Tobago 6
AL - Albania 5
BH - Bahrain 5
DK - Danimarca 5
DZ - Algeria 5
EE - Estonia 5
GE - Georgia 5
JM - Giamaica 5
LB - Libano 5
NP - Nepal 5
OM - Oman 5
TG - Togo 5
TH - Thailandia 5
UY - Uruguay 5
AM - Armenia 4
BO - Bolivia 4
CM - Camerun 4
DO - Repubblica Dominicana 4
PA - Panama 4
PS - Palestinian Territory 4
SN - Senegal 4
TN - Tunisia 4
BB - Barbados 3
CG - Congo 3
KZ - Kazakistan 3
LK - Sri Lanka 3
MD - Moldavia 3
NZ - Nuova Zelanda 3
QA - Qatar 3
SK - Slovacchia (Repubblica Slovacca) 3
AO - Angola 2
ET - Etiopia 2
HN - Honduras 2
HR - Croazia 2
KH - Cambogia 2
Totale 32.581
Salva come PNG Salva come JPEG
Città #
Woodbridge 2.248
Ann Arbor 1.796
Fairfield 1.749
Singapore 1.510
Ashburn 1.445
Houston 1.429
Chandler 1.179
Jacksonville 859
Hong Kong 780
Wilmington 780
Beijing 773
Seattle 733
Cambridge 623
Dearborn 569
Udine 372
Boardman 355
Princeton 254
Dublin 243
Los Angeles 222
Dallas 189
Seoul 164
Izmir 158
Hefei 148
Ho Chi Minh City 144
San Diego 120
New York 117
Buffalo 110
Dong Ket 109
São Paulo 107
Munich 97
Redondo Beach 97
Hanoi 88
Serra Riccò 83
Ogden 71
Des Moines 63
The Dalles 63
Brussels 59
Trieste 57
Warsaw 57
Brno 53
Ottawa 51
Council Bluffs 50
San Mateo 50
Helsinki 48
Norwalk 48
Phoenix 44
Brooklyn 41
Frankfurt am Main 40
Nanjing 40
Düsseldorf 38
Tokyo 38
Columbus 37
Johannesburg 33
Karlsruhe 32
London 32
Santa Clara 32
Mumbai 30
Kunming 29
Denver 28
Rio de Janeiro 28
Toronto 27
Asti 26
Guangzhou 25
Montreal 25
Vienna 25
Belo Horizonte 23
Chicago 23
Milan 23
Amsterdam 22
Curitiba 22
Nuremberg 22
San Francisco 22
Campinas 21
Stockholm 21
Treviso 21
Nanchang 20
Turku 20
Atlanta 19
Chennai 19
Grafing 18
Jinan 18
Orem 18
Shanghai 18
Mexico City 17
Quito 17
Guayaquil 15
Tashkent 15
Dhaka 14
Haiphong 14
Manchester 14
Mcallen 14
Simi Valley 14
Ardabil 13
Boston 13
Hyderabad 13
Lappeenranta 13
Poplar 13
Washington 13
Baku 12
Lauterbourg 12
Totale 21.576
Salva come PNG Salva come JPEG
Nome #
Evaluating LLMs Capabilities at Natural Language to Logic Translation: A Preliminary Investigation 244
A Decidable Spatial Logic with Cone-shaped Cardinal Directions 239
An Original Approach to Positioning with Cellular Fingerprints Based on Decision Tree Ensembles 229
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals 216
On Propositional Interval Neighborhood Temporal Logics 213
An optimal tableau for Right Propositional Neighborhood Logic over trees 210
A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases 198
A tableau system for right propositional neighborhood logic over finite linear orders: An implementation 195
A Road Map of Interval Temporal Logics and Duration Calculi 195
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL 195
Maximal decidable fragments of Halpern and Shoham's modal logic of intervals 193
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 191
Efficient temporal reasoning in the Cached Event Calculus 191
Decidability of MSO Theories of Tree Structures 191
A General Tableau Method for Propositional Interval Temporal Logics 189
Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking? 188
Non-Finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T 187
A graph-theoretic approach to map conceptual designs to XML schemas 182
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 181
A Uniform Algebraic Characterization of Temporal Functional Dependencies 180
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau 180
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning 177
A Hierarchy of Modal Event Calculi: Expressiveness and Complexity 176
Tableaux for logics of subinterval structures over dense orderings 176
Prompt interval temporal logic 176
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 175
Metric Propositional Neighborhood Logic with an Equivalence Relation 174
Interval-based Synthesis 174
A New Tableau-based Satisfiability Checker for Linear Temporal Logic 174
A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants 171
A decidable spatial generalization of Metric Interval Temporal Logic 171
Decision tree pruning via multi-objective evolutionary computation 171
J48S: A Sequence Classification Approach to Text Analysis Based on Decision Trees 171
From Entity Relationship to XML Schema: A Graph-Theoretic Approach 170
Metric propositional neighborhood logic with an equivalence relation 170
Definability and decidability of binary predicates for time granularity 169
A set-theoretic translation method for polymodal logics 168
Time Granularities and Ultimately Periodic Automata 168
A Consensus Glossary of Temporal Database Concepts 167
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 167
On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders 167
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 165
An event-based data warehouse to support decisions in multi-channel, multi-service contact centers 165
A map-matching algorithm dealing with sparse cellular fingerprint observations 165
A set-theoretic translation method for (poly)modal logics 164
A Novel Decision Tree Approach for the Handling of Time Series 163
A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders 163
Model Checking for Fragments of the Interval Temporal Logic HS at the Low Levels of the Polynomial Time Hierarchy 162
A Tableau-based Decision Procedure for Right Propositional Neighborhood Logic 162
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 160
Compact and Tractable Automaton-based Representations for Time Granularities 160
A Modal Calculus of Partially Ordered Events in a Logic Programming Framework 160
A Contraction Method to Decide MSO Theory of Deterministic Trees 160
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 160
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 160
A conceptual spatial model supporting topologically-consistent multiple representations 160
Interval temporal logic model checking: The border between good and bad HS fragments 159
Propositional Interval Temporal Logics: Some Promising Paths 157
The T4SQL Temporal Query Language 156
Map matching with sparse cellular fingerprint observations 155
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events 154
Indexing by Shape of Image Databases Based on Extended Grid Files 154
Multiobjective evolutionary feature selection and fuzzy classification of contact centre data 153
Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems 152
Decidability of Interval Temporal Logics over Split-Frames via Granularity 152
Decidability results for metric and layered temporal logics 152
A calculus of macro-events: progress report 151
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics 150
Interval Temporal Logics over Strongly Discrete Linear Orders: Expressiveness and Complexity 150
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 150
A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation 149
An algorithmic account of winning strategies in Ehrenfeucht games on labelled successor structures 149
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic 148
An Optimal Tableau-based Decision Algorithm for Propositional Neighborhood Logic 148
From entity relationship to XML Schema: A graph-theoretic approach (extended abstract) 147
Tableau-Based System for Spatial Reasoning about Directional Relations 146
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures over Dense Orderings 145
Checking interval properties of computations 145
A Cellular Network Database for Fingerprint Positioning Systems 145
An in-depth investigation of interval temporal logic model checking with regular expressions 145
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers 144
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past 144
Modal deduction in second-order logic and set theory. I 143
Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems 143
Back to Interval Temporal Logics 142
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 142
On the relationships between theories of time granularity and the monadic second-order theory of one successor 142
On the complexity of fragments of the modal logic of Allen’s relations over dense structures 142
Crossing the undecidability border with extensions of propositional neighborhood logic over natural numbers 141
A Guided Tour Through some Extensions of the Event Calculus 141
Metric propositional neighborhood logics on natural numbers 140
Completeness Results for Two-sorted Metric Temporal Logics 139
On Devising Algorithms for Ehrenfeucht-Fraïssé Games 138
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 138
Decidability of the interval temporal logic AA*BB* over the rationals 138
On the Equivalence of Automaton-based Representations of Time Granularities 137
Modal Event Calculi with Preconditions 136
A relational encoding of a conceptual model with multiple temporal dimensions 136
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 136
A logical approach to time granularity 135
Totale 16.457
Salva come PNG Salva come JPEG
Categoria #
all - tutte 121.114
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 121.114
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20212.151 0 0 0 0 0 371 174 331 481 186 373 235
2021/20222.297 130 225 107 195 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/20266.264 911 1.010 904 1.100 1.538 801 0 0 0 0 0 0
Totale 33.263