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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021794 0 0 0 0 0 0 0 0 0 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/20269.580 911 1.010 904 1.100 1.538 837 1.303 433 707 837 0 0
Totale 36.579