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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20205.455 293 248 219 796 393 885 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/202586 86 0 0 0 0 0 0 0 0 0 0 0
Totale 21.252