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