CATALOGO DEI PRODOTTI DELLA RICERCA

SALA, Pietro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.897
NA - Nord America 2.893
AS - Asia 1.430
AF - Africa 85
OC - Oceania 58
SA - Sud America 12
Continente sconosciuto - Info sul continente non disponibili 3
Totale 7.378
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.804
GB - Regno Unito 1.395
CN - Cina 746
SG - Singapore 262
IT - Italia 246
SE - Svezia 241
FR - Francia 209
RU - Federazione Russa 203
IE - Irlanda 169
DE - Germania 136
FI - Finlandia 133
IN - India 80
CA - Canada 76
KR - Corea 73
AU - Australia 54
TR - Turchia 46
UA - Ucraina 42
ID - Indonesia 30
PH - Filippine 30
VN - Vietnam 25
CM - Camerun 23
EG - Egitto 21
BE - Belgio 20
PK - Pakistan 19
NL - Olanda 17
ZA - Sudafrica 14
CZ - Repubblica Ceca 13
NG - Nigeria 13
RO - Romania 13
TH - Thailandia 13
SI - Slovenia 12
SA - Arabia Saudita 11
HK - Hong Kong 10
IR - Iran 10
MX - Messico 10
BD - Bangladesh 9
IL - Israele 9
AE - Emirati Arabi Uniti 8
ES - Italia 8
JP - Giappone 8
TW - Taiwan 8
LK - Sri Lanka 7
PL - Polonia 7
MY - Malesia 6
BR - Brasile 5
TG - Togo 5
GR - Grecia 4
HU - Ungheria 4
NP - Nepal 4
NZ - Nuova Zelanda 4
EU - Europa 3
IS - Islanda 3
PS - Palestinian Territory 3
PT - Portogallo 3
AL - Albania 2
BA - Bosnia-Erzegovina 2
BG - Bulgaria 2
CO - Colombia 2
DZ - Algeria 2
EC - Ecuador 2
HR - Croazia 2
IQ - Iraq 2
JM - Giamaica 2
JO - Giordania 2
KE - Kenya 2
LA - Repubblica Popolare Democratica del Laos 2
LB - Libano 2
MK - Macedonia 2
MU - Mauritius 2
RS - Serbia 2
AR - Argentina 1
AT - Austria 1
AZ - Azerbaigian 1
CH - Svizzera 1
CL - Cile 1
DK - Danimarca 1
ET - Etiopia 1
GE - Georgia 1
KG - Kirghizistan 1
KH - Cambogia 1
LT - Lituania 1
LU - Lussemburgo 1
LV - Lettonia 1
MD - Moldavia 1
PE - Perù 1
QA - Qatar 1
SL - Sierra Leone 1
TT - Trinidad e Tobago 1
ZW - Zimbabwe 1
Totale 7.378
Salva come PNG Salva come JPEG
Città #
Southend 1.100
Chandler 361
Woodbridge 311
Jacksonville 264
Ann Arbor 233
Houston 233
Singapore 218
Dublin 161
Beijing 100
Ashburn 93
Nanjing 89
Verona 84
Wilmington 83
Jinan 80
Lawrence 78
Princeton 78
Shenyang 50
Lancaster 47
Seoul 47
Hebei 33
Helsinki 33
Tianjin 28
New York 27
Nanchang 24
Santa Clara 24
Sindelfingen 24
Zhengzhou 24
Haikou 22
Ningbo 22
Seattle 21
Jiaxing 20
Milan 20
Changsha 19
Kent 17
Hangzhou 16
Jakarta 16
Taizhou 16
London 15
Phoenix 14
Taiyuan 14
Lanzhou 13
Norwalk 13
Redmond 13
Brussels 12
Los Angeles 12
Chicago 11
Dong Ket 11
Elko 11
Toronto 10
Boardman 9
Fuzhou 9
Guangzhou 9
Ljubljana 9
Redwood City 9
Rome 9
Fairfield 8
Moscow 8
Birmingham 7
Brisbane 7
Charlotte 7
Kansas City 7
Medina 7
Melbourne 7
Atlanta 6
Cairo 6
Calgary 6
Chions 6
Dongguan 6
Riyadh 6
Sacramento 6
Scunthorpe 6
Sydney 6
Amsterdam 5
Clearwater 5
Dallas 5
Dhaka 5
Doncaster 5
Frankfurt am Main 5
Glasgow 5
Hereford 5
Liverpool 5
Lomé 5
Padova 5
Philadelphia 5
Richmond 5
Winnipeg 5
Albuquerque 4
Belfast 4
Boone 4
Bristol 4
Budapest 4
Concord 4
Decorah 4
Delhi 4
Detroit 4
Düsseldorf 4
Edmonton 4
Falls Church 4
Gainesville 4
Gig Harbor 4
Totale 4.557
Salva come PNG Salva come JPEG
Nome #
Tamsulosin and gynecomastia: data from the Italian spontaneous reporting system 1.447
A Decidable Spatial Generalization of Metric Interval Temporal Logic 159
Optimal tableau for Right Propositional Neighborhood Logic over trees 149
Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders 142
Mining approximate temporal functional dependencies with pure temporal grouping in clinical databases. 141
Approximate Interval-Based Temporal Dependencies: The Complexity Landscape 138
A tableau-based system for spatial reasoning about directional relations 137
Metric Propositional Neighborhood Logic with an Equivalence Relation 132
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 131
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 130
An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals 127
The Price of Evolution in Temporal Databases 126
Temporal Functional Dependencies Based on Interval Relations 124
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 121
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 118
A Framework for Mining Evolution Rules and Its Application to the Clinical Domain 112
Decidability of the Interval Temporal Logic ABB over the Natural Numbers 110
On Coarser Interval Temporal Logics and their Satisfiability Problem 106
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 101
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers 96
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 94
Decidability of the Interval Temporal Logic $mathsfAarABarB$ over the Rationals 92
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic 91
Interval Logics and ωB-Regular Languages 89
Mining Approximate Temporal Functional Dependencies Based on Pure Temporal Grouping 86
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 86
An Optimal Decision Procedure for MPNL over the Integers 86
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture 83
A Logical Formalization of Time-Critical Processes with Resources 81
A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities 79
A decidable weakening of Compass Logic based on cone-shaped cardinal directions 78
TEDAR: Temporal dynamic signal detection of adverse reactions 77
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption 73
A general tableau method for propositional interval temporal logics: Theory and implementation 72
On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures 72
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness 72
Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals 71
Discovering Quantitative Temporal Functional Dependencies on Clinical Data 71
Tableaux for Logics of Subinterval Structures over Dense Orderings 70
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 70
Driving time-dependent paths in clinical BPMN processes 70
Customizing BPMN Diagrams Using Timelines 70
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL 69
Interval-based temporal functional dependencies: specification and verification 68
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts 66
A Decidable Spatial Logic with Cone-Shaped Cardinal Directions 65
Discovering Evolving Temporal Information: Theory and Application to Clinical Databases 65
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison 65
Prompt Interval Temporal Logic 63
Model Checking Well-Behaved Fragments of {HS:} The (Almost) Final Picture 63
Adding two equivalence relations to the interval temporal logic AB 62
Counter-queue automata with an application to a meaningful extension of ω-regular languages 61
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals 61
Adding one or more equivalence relations to the interval temporal logic ABB 60
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic 58
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata 58
Interval temporal logic model checking based on track bisimilarity and prefix sampling 57
Interval vs. point temporal logic model checking: An expressiveness comparison 55
On Begin, Meets and Before 54
Interval-based Synthesis 54
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 54
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity 53
Mining approximate interval-based temporal dependencies 51
Which fragments of the interval temporal logic HS are tractable in model checking? 51
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete 50
A Novel Automata-Theoretic Approach to Timeline-Based Planning 48
Checking Sets of Pure Evolving Association Rules 48
On a Temporal Logic of Prefixes and Infixes 46
Metric propositional neighborhood logic with an equivalence relation 45
Keeping Interval-Based Functional Dependencies Up-to-Date 44
On the early detection of Sepsis in MIMIC-III 44
Reactive synthesis from interval temporal logic specifications 43
On coarser interval temporal logics 42
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 42
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 41
A uniform framework for temporal functional dependencies with multiple granularities 40
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes 38
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 34
Discovering Predictive Dependencies on Multi-Temporal Relations 33
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete 18
An interval temporal logic characterization of extended w-regular languages 13
Pspace-completeness of the temporal logic of sub-intervals and suffixes 11
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 10
Predictive mining of multi-temporal relations 8
Sequence-Walking Decision Tree for Multivariate Healthcare Data 6
Totale 7.597
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.409
article - articoli 5.902
book - libri 0
conference - conferenze 17.005
curatela - curatele 0
other - altro 502
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 46.818
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020332 0 0 0 0 0 52 65 19 33 32 51 80
2020/2021709 63 90 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/2025963 173 164 107 318 127 74 0 0 0 0 0 0
Totale 7.597