IRIS
MONTANARI, Angelo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 16.198
EU - Europa 4.168
AS - Asia 1.749
AF - Africa 17
Continente sconosciuto - Info sul continente non disponibili 16
SA - Sud America 15
OC - Oceania 12
Totale 22.175
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 16.109
UA - Ucraina 1.228
IT - Italia 794
SG - Singapore 749
DE - Germania 653
CN - Cina 609
FI - Finlandia 410
SE - Svezia 323
IE - Irlanda 243
RU - Federazione Russa 172
TR - Turchia 166
VN - Vietnam 111
GB - Regno Unito 108
CA - Canada 86
BE - Belgio 63
CZ - Repubblica Ceca 54
IN - India 51
PL - Polonia 21
IR - Iran 20
NL - Olanda 17
FR - Francia 16
EU - Europa 15
AU - Australia 11
KR - Corea 11
HK - Hong Kong 10
RO - Romania 10
TW - Taiwan 10
BR - Brasile 9
AT - Austria 7
GR - Grecia 6
LT - Lituania 6
PT - Portogallo 6
CH - Svizzera 5
JP - Giappone 5
RS - Serbia 5
TG - Togo 5
CM - Camerun 4
ES - Italia 4
HU - Ungheria 4
KE - Kenya 4
MX - Messico 3
SI - Slovenia 3
AL - Albania 2
AR - Argentina 2
DK - Danimarca 2
DZ - Algeria 2
EE - Estonia 2
EG - Egitto 2
HR - Croazia 2
ID - Indonesia 2
KG - Kirghizistan 2
VE - Venezuela 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
BD - Bangladesh 1
BG - Bulgaria 1
CL - Cile 1
EC - Ecuador 1
LK - Sri Lanka 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
Totale 22.175
Salva come PNG Salva come JPEG
Città #
Woodbridge 2.247
Ann Arbor 1.796
Fairfield 1.749
Houston 1.418
Chandler 1.179
Ashburn 899
Jacksonville 858
Wilmington 780
Seattle 728
Singapore 666
Cambridge 623
Dearborn 569
Boardman 354
Udine 330
Princeton 253
Dublin 236
Beijing 233
Izmir 158
San Diego 120
Dong Ket 109
Serra Riccò 83
Ogden 71
Des Moines 62
Brussels 58
Brno 53
Trieste 53
Ottawa 51
San Mateo 50
Hefei 49
Norwalk 48
Helsinki 45
New York 41
Nanjing 40
Columbus 37
Los Angeles 30
Kunming 29
Asti 26
Karlsruhe 25
Guangzhou 23
Munich 23
Council Bluffs 22
Toronto 22
Nanchang 20
Phoenix 19
Treviso 19
Grafing 18
Jinan 18
Warsaw 18
Frankfurt am Main 15
London 14
Mcallen 14
Milan 14
Simi Valley 14
Ardabil 13
Dallas 13
Washington 13
Shenyang 12
Fuzhou 11
Shanghai 11
Wuhan 11
Indiana 9
Lappeenranta 9
Verona 9
Amsterdam 8
Florence 8
Hyderabad 8
Kocaeli 8
Ningbo 8
Redmond 8
Saint Petersburg 8
Vicenza 8
Hangzhou 7
Hong Kong 7
Leawood 7
Monmouth Junction 7
Preganziol 7
Rodgau 7
Santa Clara 7
Timisoara 7
Athens 6
Hebei 6
San Francisco 6
Shaoxing 6
Vienna 6
Augusta 5
Belgrade 5
Edinburgh 5
Lomé 5
Shenzhen 5
Tappahannock 5
Utrecht 5
Varese 5
Wenzhou 5
Baotou 4
Budapest 4
Feletto Umberto 4
Gent 4
Jiaxing 4
Miami 4
Montréal 4
Totale 16.763
Salva come PNG Salva come JPEG
Nome #
A Decidable Spatial Logic with Cone-shaped Cardinal Directions 192
An Original Approach to Positioning with Cellular Fingerprints Based on Decision Tree Ensembles 191
Maximal decidable fragments of Halpern and Shoham's modal logic of intervals 163
An optimal tableau for Right Propositional Neighborhood Logic over trees 162
Metric Propositional Neighborhood Logic with an Equivalence Relation 156
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning 155
Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking? 153
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals 152
A General Tableau Method for Propositional Interval Temporal Logics 151
On Propositional Interval Neighborhood Temporal Logics 150
A Road Map of Interval Temporal Logics and Duration Calculi 150
Efficient temporal reasoning in the Cached Event Calculus 147
A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases 147
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 146
Non-Finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T 145
A tableau system for right propositional neighborhood logic over finite linear orders: An implementation 145
From Entity Relationship to XML Schema: A Graph-Theoretic Approach 143
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 143
Decidability of MSO Theories of Tree Structures 143
Prompt interval temporal logic 142
A Uniform Algebraic Characterization of Temporal Functional Dependencies 140
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL 140
Time Granularities and Ultimately Periodic Automata 139
A Hierarchy of Modal Event Calculi: Expressiveness and Complexity 138
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 138
Interval temporal logic model checking: The border between good and bad HS fragments 136
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 134
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau 134
A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants 132
Interval-based Synthesis 132
A New Tableau-based Satisfiability Checker for Linear Temporal Logic 132
A decidable spatial generalization of Metric Interval Temporal Logic 131
J48S: A Sequence Classification Approach to Text Analysis Based on Decision Trees 131
Metric propositional neighborhood logic with an equivalence relation 131
Tableaux for logics of subinterval structures over dense orderings 130
A Consensus Glossary of Temporal Database Concepts 129
A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders 129
Definability and decidability of binary predicates for time granularity 128
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 128
The T4SQL Temporal Query Language 127
A set-theoretic translation method for (poly)modal logics 127
Decidability results for metric and layered temporal logics 127
A graph-theoretic approach to map conceptual designs to XML schemas 127
Compact and Tractable Automaton-based Representations for Time Granularities 126
A conceptual spatial model supporting topologically-consistent multiple representations 126
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 124
Model Checking for Fragments of the Interval Temporal Logic HS at the Low Levels of the Polynomial Time Hierarchy 124
Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems 123
Propositional Interval Temporal Logics: Some Promising Paths 123
On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders 123
Indexing by Shape of Image Databases Based on Extended Grid Files 122
Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems 122
Checking interval properties of computations 121
On the complexity of fragments of the modal logic of Allen’s relations over dense structures 121
An event-based data warehouse to support decisions in multi-channel, multi-service contact centers 121
A set-theoretic translation method for polymodal logics 120
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 120
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 119
Metric propositional neighborhood logics on natural numbers 119
Map matching with sparse cellular fingerprint observations 119
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 119
A Modal Calculus of Partially Ordered Events in a Logic Programming Framework 118
A calculus of macro-events: progress report 118
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events 117
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic 117
Interval Temporal Logics over Strongly Discrete Linear Orders: Expressiveness and Complexity 117
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 117
A Novel Decision Tree Approach for the Handling of Time Series 117
Completeness Results for Two-sorted Metric Temporal Logics 115
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics 115
An in-depth investigation of interval temporal logic model checking with regular expressions 115
A Contraction Method to Decide MSO Theory of Deterministic Trees 114
Modal Event Calculi with Preconditions 114
Decision tree pruning via multi-objective evolutionary computation 114
An Optimal Tableau-based Decision Algorithm for Propositional Neighborhood Logic 113
Multiobjective evolutionary feature selection and fuzzy classification of contact centre data 113
A map-matching algorithm dealing with sparse cellular fingerprint observations 113
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 112
A relational encoding of a conceptual model with multiple temporal dimensions 112
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 112
Modal deduction in second-order logic and set theory. I 111
An algorithmic account of winning strategies in Ehrenfeucht games on labelled successor structures 111
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past 111
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS 110
From entity relationship to XML Schema: A graph-theoretic approach (extended abstract) 110
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures over Dense Orderings 109
Tableau-Based System for Spatial Reasoning about Directional Relations 109
A Tableau-based Decision Procedure for Right Propositional Neighborhood Logic 109
Back to Interval Temporal Logics 108
Decidability of Interval Temporal Logics over Split-Frames via Granularity 108
Adding one or more equivalence relations to the interval temporal logic ABBbar 108
A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation 107
On the relationships between theories of time granularity and the monadic second-order theory of one successor 105
On the Equivalence of Automaton-based Representations of Time Granularities 104
Temporal Logic. From Ancient Ideas to Artificial Intelligence,by Peter Ohrstrom and Per F.V. Hasle (book review) 103
Decidability of the interval temporal logic AA*BB* over the rationals 103
An Optimal Decision Procedure for MPNL over the Integers 103
Model checking for combined logics with an application to mobile systems 102
A Cellular Network Database for Fingerprint Positioning Systems 102
The problem of finding transcription factor binding sites and its impact in defining co-regulated gene-networks 101
Totale 12.625
Salva come PNG Salva come JPEG
Categoria #
all - tutte 80.866
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 80.866
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.621 0 0 0 0 0 0 677 631 439 435 107 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/20251.591 215 390 239 286 200 254 7 0 0 0 0 0
Totale 22.757