IRIS
MONTANARI, Angelo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 16.619
EU - Europa 4.778
AS - Asia 2.865
SA - Sud America 427
AF - Africa 50
OC - Oceania 18
Continente sconosciuto - Info sul continente non disponibili 16
Totale 24.773
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 16.494
SG - Singapore 1.456
UA - Ucraina 1.235
IT - Italia 867
CN - Cina 765
DE - Germania 741
RU - Federazione Russa 442
FI - Finlandia 419
BR - Brasile 387
SE - Svezia 327
IE - Irlanda 249
TR - Turchia 170
GB - Regno Unito 138
KR - Corea 125
VN - Vietnam 117
CA - Canada 94
BE - Belgio 64
IN - India 61
CZ - Repubblica Ceca 58
FR - Francia 52
PL - Polonia 35
NL - Olanda 29
HK - Hong Kong 27
AT - Austria 26
IR - Iran 20
MX - Messico 20
JP - Giappone 18
AU - Australia 15
EU - Europa 15
AR - Argentina 13
ZA - Sudafrica 12
BD - Bangladesh 11
RO - Romania 11
PE - Perù 10
TW - Taiwan 10
UZ - Uzbekistan 10
CH - Svizzera 9
ES - Italia 9
PT - Portogallo 9
GR - Grecia 8
LT - Lituania 8
EC - Ecuador 7
EG - Egitto 7
HU - Ungheria 7
MA - Marocco 7
PK - Pakistan 7
AZ - Azerbaigian 6
ID - Indonesia 6
IQ - Iraq 6
RS - Serbia 6
BG - Bulgaria 5
DK - Danimarca 5
EE - Estonia 5
KE - Kenya 5
TG - Togo 5
AM - Armenia 4
CM - Camerun 4
DZ - Algeria 4
KG - Kirghizistan 4
SA - Arabia Saudita 4
AE - Emirati Arabi Uniti 3
AL - Albania 3
CO - Colombia 3
CR - Costa Rica 3
GE - Georgia 3
IL - Israele 3
JO - Giordania 3
LK - Sri Lanka 3
NZ - Nuova Zelanda 3
PA - Panama 3
PH - Filippine 3
SI - Slovenia 3
SK - Slovacchia (Repubblica Slovacca) 3
TN - Tunisia 3
VE - Venezuela 3
BH - Bahrain 2
BO - Bolivia 2
CL - Cile 2
HR - Croazia 2
KH - Cambogia 2
LV - Lettonia 2
NP - Nepal 2
OM - Oman 2
PS - Palestinian Territory 2
TH - Thailandia 2
TT - Trinidad e Tobago 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AO - Angola 1
CI - Costa d'Avorio 1
CY - Cipro 1
DO - Repubblica Dominicana 1
HN - Honduras 1
JM - Giamaica 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
MN - Mongolia 1
MY - Malesia 1
NO - Norvegia 1
QA - Qatar 1
Totale 24.771
Salva come PNG Salva come JPEG
Città #
Woodbridge 2.247
Ann Arbor 1.796
Fairfield 1.749
Houston 1.418
Chandler 1.179
Singapore 945
Ashburn 915
Jacksonville 858
Wilmington 780
Seattle 730
Cambridge 623
Dearborn 569
Beijing 364
Boardman 354
Udine 348
Princeton 253
Dublin 242
Izmir 158
San Diego 120
Seoul 114
Dong Ket 109
Serra Riccò 83
Ogden 71
Los Angeles 63
Des Moines 62
Brussels 59
New York 59
Trieste 54
Brno 53
Ottawa 51
San Mateo 50
Hefei 49
Norwalk 48
Helsinki 47
Nanjing 40
Düsseldorf 38
Columbus 37
Frankfurt am Main 31
Warsaw 30
Kunming 29
Munich 28
Karlsruhe 27
Phoenix 27
São Paulo 27
Asti 26
Council Bluffs 26
Guangzhou 23
Toronto 22
Milan 20
Nanchang 20
Treviso 20
Brooklyn 19
London 19
Grafing 18
Hong Kong 18
Jinan 18
Vienna 18
Dallas 17
San Francisco 17
Santa Clara 17
Nuremberg 16
Mcallen 14
Rio de Janeiro 14
Simi Valley 14
Ardabil 13
Shanghai 13
Washington 13
Belo Horizonte 12
Lauterbourg 12
Shenyang 12
Amsterdam 11
Fuzhou 11
Tokyo 11
Wuhan 11
Hyderabad 10
Atlanta 9
Campinas 9
Chicago 9
Indiana 9
Lappeenranta 9
Verona 9
Athens 8
Florence 8
Johannesburg 8
Kocaeli 8
Ningbo 8
Portsmouth 8
Redmond 8
Saint Petersburg 8
Tashkent 8
The Dalles 8
Vicenza 8
Dhaka 7
Hangzhou 7
Leawood 7
Monmouth Junction 7
Preganziol 7
Rodgau 7
Timisoara 7
Turku 7
Totale 17.637
Salva come PNG Salva come JPEG
Nome #
A Decidable Spatial Logic with Cone-shaped Cardinal Directions 203
An Original Approach to Positioning with Cellular Fingerprints Based on Decision Tree Ensembles 198
An optimal tableau for Right Propositional Neighborhood Logic over trees 173
Maximal decidable fragments of Halpern and Shoham's modal logic of intervals 169
On Propositional Interval Neighborhood Temporal Logics 164
A General Tableau Method for Propositional Interval Temporal Logics 162
Metric Propositional Neighborhood Logic with an Equivalence Relation 161
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals 161
A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases 161
Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking? 161
A Road Map of Interval Temporal Logics and Duration Calculi 159
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning 158
Efficient temporal reasoning in the Cached Event Calculus 157
A tableau system for right propositional neighborhood logic over finite linear orders: An implementation 157
Non-Finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T 156
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL 156
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 152
From Entity Relationship to XML Schema: A Graph-Theoretic Approach 151
Prompt interval temporal logic 151
Decidability of MSO Theories of Tree Structures 151
A Hierarchy of Modal Event Calculi: Expressiveness and Complexity 150
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 150
A Uniform Algebraic Characterization of Temporal Functional Dependencies 149
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 149
A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants 145
Time Granularities and Ultimately Periodic Automata 145
Interval temporal logic model checking: The border between good and bad HS fragments 144
Metric propositional neighborhood logic with an equivalence relation 143
A Consensus Glossary of Temporal Database Concepts 142
A decidable spatial generalization of Metric Interval Temporal Logic 142
A graph-theoretic approach to map conceptual designs to XML schemas 142
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau 142
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 141
Tableaux for logics of subinterval structures over dense orderings 141
Interval-based Synthesis 140
A set-theoretic translation method for (poly)modal logics 138
Definability and decidability of binary predicates for time granularity 138
J48S: A Sequence Classification Approach to Text Analysis Based on Decision Trees 138
A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders 138
A New Tableau-based Satisfiability Checker for Linear Temporal Logic 137
A conceptual spatial model supporting topologically-consistent multiple representations 136
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 136
The T4SQL Temporal Query Language 134
Compact and Tractable Automaton-based Representations for Time Granularities 134
Indexing by Shape of Image Databases Based on Extended Grid Files 134
Model Checking for Fragments of the Interval Temporal Logic HS at the Low Levels of the Polynomial Time Hierarchy 134
Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems 133
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 133
Decidability results for metric and layered temporal logics 133
A Modal Calculus of Partially Ordered Events in a Logic Programming Framework 132
On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders 132
Propositional Interval Temporal Logics: Some Promising Paths 131
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 131
Checking interval properties of computations 131
A set-theoretic translation method for polymodal logics 130
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 130
A calculus of macro-events: progress report 129
Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems 129
An event-based data warehouse to support decisions in multi-channel, multi-service contact centers 128
On the complexity of fragments of the modal logic of Allen’s relations over dense structures 127
Map matching with sparse cellular fingerprint observations 127
A Novel Decision Tree Approach for the Handling of Time Series 127
Decision tree pruning via multi-objective evolutionary computation 126
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events 125
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 125
A map-matching algorithm dealing with sparse cellular fingerprint observations 125
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 124
Interval Temporal Logics over Strongly Discrete Linear Orders: Expressiveness and Complexity 124
Metric propositional neighborhood logics on natural numbers 124
An in-depth investigation of interval temporal logic model checking with regular expressions 124
A Contraction Method to Decide MSO Theory of Deterministic Trees 123
An Optimal Tableau-based Decision Algorithm for Propositional Neighborhood Logic 123
Multiobjective evolutionary feature selection and fuzzy classification of contact centre data 123
Modal deduction in second-order logic and set theory. I 122
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic 122
Decidability of Interval Temporal Logics over Split-Frames via Granularity 122
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics 122
Completeness Results for Two-sorted Metric Temporal Logics 121
From entity relationship to XML Schema: A graph-theoretic approach (extended abstract) 120
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 120
A relational encoding of a conceptual model with multiple temporal dimensions 119
An algorithmic account of winning strategies in Ehrenfeucht games on labelled successor structures 119
Modal Event Calculi with Preconditions 118
A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation 118
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 117
A Tableau-based Decision Procedure for Right Propositional Neighborhood Logic 117
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures over Dense Orderings 116
Tableau-Based System for Spatial Reasoning about Directional Relations 115
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS 115
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past 115
On the Equivalence of Automaton-based Representations of Time Granularities 114
Back to Interval Temporal Logics 114
A Cellular Network Database for Fingerprint Positioning Systems 114
The problem of finding transcription factor binding sites and its impact in defining co-regulated gene-networks 113
Temporal Logic. From Ancient Ideas to Artificial Intelligence,by Peter Ohrstrom and Per F.V. Hasle (book review) 113
Adding one or more equivalence relations to the interval temporal logic ABBbar 113
On the relationships between theories of time granularity and the monadic second-order theory of one successor 112
A Guided Tour Through some Extensions of the Event Calculus 112
Decidability of the interval temporal logic AA*BB* over the rationals 110
An Optimal Decision Procedure for MPNL over the Integers 110
Totale 13.515
Salva come PNG Salva come JPEG
Categoria #
all - tutte 94.225
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 94.225
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020332 0 0 0 0 0 0 0 0 0 0 0 332
2020/20213.254 71 352 132 390 158 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/20254.217 215 390 239 286 200 254 321 299 533 419 959 102
Totale 25.383