IRIS Institutional Research Information System

Molinari, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 708
EU - Europa 582
AS - Asia 466
SA - Sud America 124
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 1
Totale 1.895
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 682
RU - Federazione Russa 256
SG - Singapore 184
BR - Brasile 113
DE - Germania 112
CN - Cina 97
HK - Hong Kong 94
UA - Ucraina 67
VN - Vietnam 44
NL - Olanda 25
FI - Finlandia 20
IE - Irlanda 20
IT - Italia 20
CA - Canada 14
GB - Regno Unito 14
FR - Francia 13
SE - Svezia 13
IN - India 12
MX - Messico 10
AT - Austria 7
IQ - Iraq 6
ZA - Sudafrica 6
ES - Italia 5
AR - Argentina 4
BD - Bangladesh 4
EU - Europa 4
IL - Israele 4
PK - Pakistan 4
BE - Belgio 3
ID - Indonesia 3
JP - Giappone 3
PL - Polonia 3
TR - Turchia 3
AE - Emirati Arabi Uniti 2
EC - Ecuador 2
IS - Islanda 2
UY - Uruguay 2
A1 - Anonimo 1
AU - Australia 1
CO - Colombia 1
DO - Repubblica Dominicana 1
KE - Kenya 1
KZ - Kazakistan 1
LB - Libano 1
LY - Libia 1
MD - Moldavia 1
MY - Malesia 1
PA - Panama 1
PE - Perù 1
PY - Paraguay 1
RS - Serbia 1
SA - Arabia Saudita 1
SN - Senegal 1
TH - Thailandia 1
UZ - Uzbekistan 1
Totale 1.895
Salva come PNG Salva come JPEG
Città #
Jacksonville 151
Hong Kong 94
Singapore 92
Moscow 71
Chandler 52
Beijing 48
The Dalles 40
Ashburn 30
Hefei 25
Kronberg 25
Dong Ket 24
Dallas 23
Wilmington 23
Dublin 20
Helsinki 20
Los Angeles 19
Boardman 18
Dearborn 17
Santa Clara 17
Ann Arbor 13
Munich 10
Mexico City 8
New York 8
Trento 8
Udine 8
Nuremberg 7
Hanoi 6
Porto Alegre 6
Rio de Janeiro 6
Brooklyn 5
Hillsboro 5
Ho Chi Minh City 5
Orem 5
Boston 4
Montreal 4
Norwalk 4
Ottawa 4
Stockholm 4
São Paulo 4
Belo Horizonte 3
Brussels 3
Lahore 3
Limburg an der Lahn 3
Redwood City 3
Warsaw 3
Zhengzhou 3
Atlanta 2
Augusta 2
Baghdad 2
Barcelona 2
Biên Hòa 2
Brasília 2
Chicago 2
Curitiba 2
Dhaka 2
Duque de Caxias 2
Gaspar 2
Hafnarfjordur 2
Houston 2
London 2
Menlo Park 2
Montevideo 2
Mountain View 2
Mumbai 2
Phoenix 2
Poplar 2
Portland 2
Saint Petersburg 2
San Francisco 2
Santa Rosa 2
São Carlos 2
Süleyman 2
Tokyo 2
Vancouver 2
Abu Dhabi 1
Al Fujairah City 1
Alegrete 1
Alfenas 1
Anderson 1
Antakya 1
Anápolis 1
Aparecida de Goiânia 1
Araguaína 1
Araraquara 1
At Tāj 1
Avignon 1
Baden 1
Bangkok 1
Barbacena 1
Barra do Piraí 1
Barretos 1
Basti 1
Blega 1
Bom Jesus 1
Bonito 1
Botucatu 1
Bradford 1
Bragança 1
Buffalo 1
Cachoeirinha 1
Totale 1.036
Salva come PNG Salva come JPEG
Nome #
Numerical/experimental strategies to infer enhanced liquid thermal conductivity and roughness in laser powder-bed fusion processes 131
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 108
Model Checking Interval Temporal Logics with Regular Expressions 91
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 90
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground 86
Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains 86
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS 82
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 81
Which fragments of the interval temporal logic HS are tractable in model checking? 79
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling 79
Checking interval properties of computations 79
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions 78
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 77
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 76
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 75
Correlation between microstructure and SIMS analyses of cast irons incoulated with CG alloy 75
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete 73
Sintering and microstructure of phosphorous steels 71
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 70
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 70
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 69
Model Checking Well-Behaved Fragments of HS: the (Almost) Final Picture 68
Effect of Process Parameters on the Surface Microgeometry of a Ti6Al4V Alloy Manufactured by Laser Powder Bed Fusion: 3D vs. 2D Characterization 65
Heat treatment and mechanical behavior of sintered Fe-C-P steels 58
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 56
Totale 1.973
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.884
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 12.884
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202197 0 0 0 0 0 3 22 5 5 35 2 25
2021/202284 0 4 1 11 0 1 0 27 9 1 3 27
2022/2023215 24 5 2 26 8 29 0 17 59 29 8 8
2023/2024158 10 12 25 8 2 2 0 25 0 45 0 29
2024/2025629 1 4 69 2 2 7 54 23 232 78 100 57
2025/2026425 61 110 104 79 38 33 0 0 0 0 0 0
Totale 1.973