CATALOGO DEI PRODOTTI DELLA RICERCA

SALA, Pietro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.515
EU - Europa 3.196
AS - Asia 2.408
SA - Sud America 237
AF - Africa 109
OC - Oceania 67
Continente sconosciuto - Info sul continente non disponibili 7
Totale 9.539
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.382
GB - Regno Unito 1.427
CN - Cina 800
SG - Singapore 753
IT - Italia 355
FR - Francia 244
SE - Svezia 244
HK - Hong Kong 242
RU - Federazione Russa 207
BR - Brasile 196
IE - Irlanda 173
DE - Germania 166
FI - Finlandia 145
KR - Corea 105
CA - Canada 103
IN - India 98
TR - Turchia 88
AU - Australia 63
VN - Vietnam 61
UA - Ucraina 47
ID - Indonesia 36
NL - Olanda 32
PH - Filippine 32
EG - Egitto 28
BE - Belgio 25
BD - Bangladesh 24
PK - Pakistan 24
CM - Camerun 23
MX - Messico 21
ZA - Sudafrica 19
IL - Israele 18
AR - Argentina 16
RO - Romania 16
AT - Austria 15
CZ - Repubblica Ceca 15
PL - Polonia 15
ES - Italia 14
NG - Nigeria 14
SA - Arabia Saudita 14
SI - Slovenia 13
TH - Thailandia 13
IR - Iran 12
JP - Giappone 12
AE - Emirati Arabi Uniti 10
TW - Taiwan 10
EC - Ecuador 7
LK - Sri Lanka 7
MY - Malesia 7
GR - Grecia 6
NP - Nepal 6
CO - Colombia 5
HU - Ungheria 5
IQ - Iraq 5
TG - Togo 5
CL - Cile 4
JO - Giordania 4
KE - Kenya 4
KH - Cambogia 4
NZ - Nuova Zelanda 4
OM - Oman 4
PE - Perù 4
PT - Portogallo 4
XK - ???statistics.table.value.countryCode.XK??? 4
ET - Etiopia 3
EU - Europa 3
IS - Islanda 3
LT - Lituania 3
PR - Porto Rico 3
PS - Palestinian Territory 3
SK - Slovacchia (Repubblica Slovacca) 3
VE - Venezuela 3
AL - Albania 2
AM - Armenia 2
BA - Bosnia-Erzegovina 2
BG - Bulgaria 2
DZ - Algeria 2
GE - Georgia 2
HR - Croazia 2
JM - Giamaica 2
KG - Kirghizistan 2
LA - Repubblica Popolare Democratica del Laos 2
LB - Libano 2
LV - Lettonia 2
MA - Marocco 2
MK - Macedonia 2
MU - Mauritius 2
PY - Paraguay 2
RS - Serbia 2
AZ - Azerbaigian 1
BB - Barbados 1
BF - Burkina Faso 1
BN - Brunei Darussalam 1
CH - Svizzera 1
CV - Capo Verde 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
GM - Gambi 1
HN - Honduras 1
KZ - Kazakistan 1
LU - Lussemburgo 1
Totale 9.529
Salva come PNG Salva come JPEG
Città #
Southend 1.100
Chandler 361
Singapore 350
Woodbridge 311
Jacksonville 264
Hong Kong 235
Ann Arbor 233
Houston 233
Dallas 209
Dublin 162
Ashburn 117
Beijing 104
Verona 101
Nanjing 89
Wilmington 83
Jinan 81
Lawrence 78
Princeton 78
The Dalles 52
Shenyang 50
Lancaster 47
Milan 47
Seoul 47
Los Angeles 46
New York 39
Istanbul 36
Helsinki 35
Columbus 34
Hebei 33
Tianjin 29
Redondo Beach 26
Santa Clara 26
Nanchang 24
Sindelfingen 24
Zhengzhou 24
Buffalo 22
Changsha 22
Haikou 22
Ningbo 22
Seattle 22
Chicago 20
Jiaxing 20
São Paulo 20
London 19
Hangzhou 17
Kent 17
Munich 17
Ho Chi Minh City 16
Jakarta 16
Taizhou 16
Frankfurt am Main 14
Phoenix 14
Taiyuan 14
Lanzhou 13
Norwalk 13
Redmond 13
Rome 13
Boardman 12
Brussels 12
Charlotte 12
Montreal 12
Toronto 12
Dong Ket 11
Elko 11
Brooklyn 10
Guangzhou 10
Amsterdam 9
Bexley 9
Brisbane 9
Fuzhou 9
Ljubljana 9
Redwood City 9
Rio de Janeiro 9
Sydney 9
Fairfield 8
Kansas City 8
Moscow 8
Richmond 8
Sacramento 8
Vienna 8
Atlanta 7
Birmingham 7
Cairo 7
Calgary 7
Medina 7
Melbourne 7
Pisa 7
Stockholm 7
Belo Horizonte 6
Chions 6
Council Bluffs 6
Dhaka 6
Dongguan 6
Edmonton 6
Naples 6
Nola 6
Philadelphia 6
Riyadh 6
San Francisco 6
Scunthorpe 6
Totale 5.540
Salva come PNG Salva come JPEG
Nome #
Tamsulosin and gynecomastia: data from the Italian spontaneous reporting system 1.693
A Decidable Spatial Generalization of Metric Interval Temporal Logic 188
A tableau-based system for spatial reasoning about directional relations 174
Mining approximate temporal functional dependencies with pure temporal grouping in clinical databases. 164
Optimal tableau for Right Propositional Neighborhood Logic over trees 162
Temporal Functional Dependencies Based on Interval Relations 161
Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders 158
Approximate Interval-Based Temporal Dependencies: The Complexity Landscape 156
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 149
An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals 149
Metric Propositional Neighborhood Logic with an Equivalence Relation 144
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 143
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 143
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 142
A Framework for Mining Evolution Rules and Its Application to the Clinical Domain 137
The Price of Evolution in Temporal Databases 136
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 130
TEDAR: Temporal dynamic signal detection of adverse reactions 126
Mining Approximate Temporal Functional Dependencies Based on Pure Temporal Grouping 124
Decidability of the Interval Temporal Logic ABB over the Natural Numbers 123
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 117
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic 117
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers 117
On Coarser Interval Temporal Logics and their Satisfiability Problem 116
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture 114
An Optimal Decision Procedure for MPNL over the Integers 113
A Logical Formalization of Time-Critical Processes with Resources 107
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 106
A decidable weakening of Compass Logic based on cone-shaped cardinal directions 104
A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities 104
Discovering Evolving Temporal Information: Theory and Application to Clinical Databases 102
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison 102
Decidability of the Interval Temporal Logic $mathsfAarABarB$ over the Rationals 101
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness 100
A general tableau method for propositional interval temporal logics: Theory and implementation 99
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption 98
Interval Logics and ωB-Regular Languages 97
Prompt Interval Temporal Logic 92
Driving time-dependent paths in clinical BPMN processes 90
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 89
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts 88
A Decidable Spatial Logic with Cone-Shaped Cardinal Directions 87
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL 87
Tableaux for Logics of Subinterval Structures over Dense Orderings 86
On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures 86
Discovering Quantitative Temporal Functional Dependencies on Clinical Data 86
Customizing BPMN Diagrams Using Timelines 86
Interval temporal logic model checking based on track bisimilarity and prefix sampling 85
Adding one or more equivalence relations to the interval temporal logic ABB 85
Adding two equivalence relations to the interval temporal logic AB 84
Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals 81
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata 81
Checking Sets of Pure Evolving Association Rules 81
Model Checking Well-Behaved Fragments of {HS:} The (Almost) Final Picture 79
Interval-based temporal functional dependencies: specification and verification 78
Which fragments of the interval temporal logic HS are tractable in model checking? 77
Counter-queue automata with an application to a meaningful extension of ω-regular languages 75
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete 75
Interval vs. point temporal logic model checking: An expressiveness comparison 74
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic 72
A Novel Automata-Theoretic Approach to Timeline-Based Planning 72
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals 72
Interval-based Synthesis 71
Mining approximate interval-based temporal dependencies 70
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity 69
On Begin, Meets and Before 67
On a Temporal Logic of Prefixes and Infixes 66
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 65
Keeping Interval-Based Functional Dependencies Up-to-Date 64
Discovering Predictive Dependencies on Multi-Temporal Relations 63
On the early detection of Sepsis in MIMIC-III 63
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 62
Reactive synthesis from interval temporal logic specifications 62
On coarser interval temporal logics 61
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 60
A uniform framework for temporal functional dependencies with multiple granularities 59
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 58
Metric propositional neighborhood logic with an equivalence relation 58
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes 50
Sequence-Walking Decision Tree for Multivariate Healthcare Data 41
An interval temporal logic characterization of extended w-regular languages 41
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete 39
Predictive mining of multi-temporal relations 32
Pspace-completeness of the temporal logic of sub-intervals and suffixes 32
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 31
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 30
Business Process Compliance with impact constraints 28
Reactive Synthesis for Expected Impacts 27
Enhancing Coronary Artery Disease Classification Using Optimized MLP Based on Genetic Algorithm 22
TSRF-Dist: a novel time series distance based on extremely randomized canonical interval forests 18
Totale 9.773
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.136
article - articoli 8.692
book - libri 0
conference - conferenze 22.770
curatela - curatele 0
other - altro 674
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 64.272
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021556 0 0 65 119 87 64 59 17 52 3 52 38
2021/2022783 36 213 15 33 82 108 16 56 28 12 45 139
2022/20231.360 90 95 115 189 114 273 52 92 169 50 60 61
2023/20241.281 56 117 105 140 138 154 86 138 29 99 124 95
2024/20252.227 173 164 107 318 127 103 109 174 286 130 148 388
2025/2026912 347 284 281 0 0 0 0 0 0 0 0 0
Totale 9.773