CATALOGO DEI PRODOTTI DELLA RICERCA

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021372 0 0 0 0 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/20262.995 347 284 344 873 1.147 0 0 0 0 0 0 0
Totale 11.856