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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/202610.925 911 1.010 904 1.100 1.538 837 1.303 433 707 1.063 708 411
2026/2027265 265 0 0 0 0 0 0 0 0 0 0 0
Totale 38.189