CATALOGO DEI PRODOTTI DELLA RICERCA

SALA, Pietro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.833
EU - Europa 4.801
AS - Asia 3.517
SA - Sud America 443
AF - Africa 171
OC - Oceania 76
Continente sconosciuto - Info sul continente non disponibili 8
Totale 13.849
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.662
RU - Federazione Russa 1.548
GB - Regno Unito 1.478
SG - Singapore 1.230
CN - Cina 978
IT - Italia 494
BR - Brasile 338
VN - Vietnam 309
HK - Hong Kong 255
FR - Francia 250
SE - Svezia 250
DE - Germania 177
IE - Irlanda 174
KR - Corea 165
FI - Finlandia 146
IN - India 126
CA - Canada 115
TR - Turchia 92
AU - Australia 71
UA - Ucraina 53
ID - Indonesia 46
BD - Bangladesh 42
MX - Messico 41
NL - Olanda 41
AR - Argentina 40
PH - Filippine 39
EG - Egitto 37
PK - Pakistan 30
ZA - Sudafrica 30
NG - Nigeria 29
BE - Belgio 26
PL - Polonia 24
CM - Camerun 23
ES - Italia 22
JP - Giappone 22
SA - Arabia Saudita 21
IL - Israele 19
CZ - Repubblica Ceca 18
EC - Ecuador 18
AT - Austria 17
RO - Romania 17
IQ - Iraq 16
SI - Slovenia 14
VE - Venezuela 14
IR - Iran 13
TH - Thailandia 13
AE - Emirati Arabi Uniti 12
CO - Colombia 12
TW - Taiwan 11
MY - Malesia 10
NP - Nepal 9
BJ - Benin 8
CL - Cile 8
KE - Kenya 8
KH - Cambogia 8
LK - Sri Lanka 7
ET - Etiopia 6
GR - Grecia 6
HU - Ungheria 6
JO - Giordania 6
PE - Perù 6
PY - Paraguay 6
AZ - Azerbaigian 5
LT - Lituania 5
NZ - Nuova Zelanda 5
OM - Oman 5
PT - Portogallo 5
TG - Togo 5
UZ - Uzbekistan 5
XK - ???statistics.table.value.countryCode.XK??? 5
AL - Albania 3
AM - Armenia 3
BG - Bulgaria 3
DK - Danimarca 3
DO - Repubblica Dominicana 3
DZ - Algeria 3
EU - Europa 3
GE - Georgia 3
IS - Islanda 3
JM - Giamaica 3
LB - Libano 3
LV - Lettonia 3
MA - Marocco 3
MU - Mauritius 3
PR - Porto Rico 3
PS - Palestinian Territory 3
SK - Slovacchia (Repubblica Slovacca) 3
TN - Tunisia 3
BA - Bosnia-Erzegovina 2
HR - Croazia 2
KG - Kirghizistan 2
KZ - Kazakistan 2
LA - Repubblica Popolare Democratica del Laos 2
MK - Macedonia 2
QA - Qatar 2
RS - Serbia 2
SN - Senegal 2
TT - Trinidad e Tobago 2
AO - Angola 1
BB - Barbados 1
Totale 13.828
Salva come PNG Salva come JPEG
Città #
Southend 1.100
Singapore 643
San Jose 499
Moscow 481
Ashburn 477
Chandler 361
Woodbridge 311
Jacksonville 264
Hong Kong 247
Houston 236
Ann Arbor 233
Dallas 232
Verona 199
Dublin 163
Beijing 142
The Dalles 131
Ho Chi Minh City 106
Nanjing 89
Wilmington 84
Jinan 81
Lawrence 78
Los Angeles 78
Princeton 78
New York 58
Milan 54
Hanoi 51
Shenyang 50
Seoul 48
Lancaster 47
Tianjin 41
Columbus 36
Istanbul 36
São Paulo 36
Helsinki 35
Redondo Beach 35
Buffalo 33
Hebei 33
Santa Clara 32
Orem 31
London 29
Chicago 28
Phoenix 25
Zhengzhou 25
Nanchang 24
Sindelfingen 24
Changsha 23
Seattle 23
Haikou 22
Ningbo 22
Jiaxing 20
Des Moines 18
Munich 18
Brooklyn 17
Hangzhou 17
Jakarta 17
Kent 17
Montreal 17
Abuja 16
Frankfurt am Main 16
Taizhou 16
Boardman 15
Council Bluffs 15
Rome 15
Amsterdam 14
Guangzhou 14
Rio de Janeiro 14
Taiyuan 14
Atlanta 13
Brussels 13
Chennai 13
Da Nang 13
Denver 13
Johannesburg 13
Lanzhou 13
Norwalk 13
Redmond 13
Stockholm 13
Tokyo 13
Toronto 13
Cairo 12
Charlotte 12
Warsaw 12
Dong Ket 11
Elko 11
Haiphong 11
Manchester 11
Mexico City 11
Ljubljana 10
Belo Horizonte 9
Bexley 9
Brisbane 9
Calgary 9
Fuzhou 9
Mumbai 9
Redwood City 9
Richmond 9
San Francisco 9
Sydney 9
Vienna 9
Baghdad 8
Totale 7.868
Salva come PNG Salva come JPEG
Nome #
Tamsulosin and gynecomastia: data from the Italian spontaneous reporting system 1.926
A Decidable Spatial Generalization of Metric Interval Temporal Logic 253
A tableau-based system for spatial reasoning about directional relations 240
Approximate Interval-Based Temporal Dependencies: The Complexity Landscape 228
Mining approximate temporal functional dependencies with pure temporal grouping in clinical databases. 225
An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals 206
A Framework for Mining Evolution Rules and Its Application to the Clinical Domain 196
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 191
TEDAR: Temporal dynamic signal detection of adverse reactions 190
Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders 189
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 188
Optimal tableau for Right Propositional Neighborhood Logic over trees 187
Temporal Functional Dependencies Based on Interval Relations 184
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 180
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 178
Metric Propositional Neighborhood Logic with an Equivalence Relation 178
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 176
A Logical Formalization of Time-Critical Processes with Resources 173
An Optimal Decision Procedure for MPNL over the Integers 170
The Price of Evolution in Temporal Databases 170
Mining Approximate Temporal Functional Dependencies Based on Pure Temporal Grouping 167
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 165
Discovering Evolving Temporal Information: Theory and Application to Clinical Databases 165
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic 160
A decidable weakening of Compass Logic based on cone-shaped cardinal directions 160
A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities 158
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison 157
Interval temporal logic model checking based on track bisimilarity and prefix sampling 153
Driving time-dependent paths in clinical BPMN processes 153
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness 153
Adding one or more equivalence relations to the interval temporal logic ABB 152
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture 149
On Coarser Interval Temporal Logics and their Satisfiability Problem 149
Customizing BPMN Diagrams Using Timelines 148
A general tableau method for propositional interval temporal logics: Theory and implementation 147
Decidability of the Interval Temporal Logic ABB over the Natural Numbers 146
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts 146
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers 142
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption 141
Which fragments of the interval temporal logic HS are tractable in model checking? 136
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata 135
A Novel Automata-Theoretic Approach to Timeline-Based Planning 134
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 133
Discovering Quantitative Temporal Functional Dependencies on Clinical Data 132
A Decidable Spatial Logic with Cone-Shaped Cardinal Directions 131
Adding two equivalence relations to the interval temporal logic AB 131
Interval Logics and ωB-Regular Languages 130
Prompt Interval Temporal Logic 130
Tableaux for Logics of Subinterval Structures over Dense Orderings 128
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 128
Interval vs. point temporal logic model checking: An expressiveness comparison 127
Decidability of the Interval Temporal Logic $mathsfAarABarB$ over the Rationals 127
Model Checking Well-Behaved Fragments of {HS:} The (Almost) Final Picture 127
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL 122
Counter-queue automata with an application to a meaningful extension of ω-regular languages 121
On coarser interval temporal logics 120
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete 119
Discovering Predictive Dependencies on Multi-Temporal Relations 118
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 118
Checking Sets of Pure Evolving Association Rules 117
On Begin, Meets and Before 116
Mining approximate interval-based temporal dependencies 116
On a Temporal Logic of Prefixes and Infixes 114
On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures 111
TSRF-Dist: a novel time series distance based on extremely randomized canonical interval forests 108
A uniform framework for temporal functional dependencies with multiple granularities 108
Interval-based Synthesis 107
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity 107
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic 107
Reactive synthesis from interval temporal logic specifications 107
Interval-based temporal functional dependencies: specification and verification 106
Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals 106
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals 104
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 103
Business Process Compliance with impact constraints 100
On the early detection of Sepsis in MIMIC-III 96
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 95
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 92
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 91
Keeping Interval-Based Functional Dependencies Up-to-Date 89
Sequence-Walking Decision Tree for Multivariate Healthcare Data 88
Metric propositional neighborhood logic with an equivalence relation 88
Predictive mining of multi-temporal relations 86
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete 84
An interval temporal logic characterization of extended w-regular languages 82
Pspace-completeness of the temporal logic of sub-intervals and suffixes 80
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 79
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes 74
Reactive Synthesis for Expected Impacts 69
Enhancing Coronary Artery Disease Classification Using Optimized MLP Based on Genetic Algorithm 67
Totale 14.083
Salva come PNG Salva come JPEG
Categoria #
all - tutte 40.743
article - articoli 11.486
book - libri 0
conference - conferenze 28.403
curatela - curatele 0
other - altro 854
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 81.486
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202193 0 0 0 0 0 0 0 0 0 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/20265.222 347 284 344 873 1.330 310 473 343 519 399 0 0
Totale 14.083