IRIS Institutional Research Information System

Molinari, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 688
EU - Europa 582
AS - Asia 461
SA - Sud America 124
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 1
Totale 1.870
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 662
RU - Federazione Russa 256
SG - Singapore 184
BR - Brasile 113
DE - Germania 112
CN - Cina 94
HK - Hong Kong 93
UA - Ucraina 67
VN - Vietnam 43
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.870
Salva come PNG Salva come JPEG
Città #
Jacksonville 151
Hong Kong 93
Singapore 92
Moscow 71
Chandler 52
Beijing 48
The Dalles 38
Ashburn 28
Hefei 25
Kronberg 25
Dong Ket 24
Dallas 23
Wilmington 23
Dublin 20
Helsinki 20
Boardman 18
Dearborn 17
Santa Clara 17
Ann Arbor 13
Los Angeles 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
Boston 4
Ho Chi Minh City 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
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
Atlanta 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
Caicó 1
Totale 1.019
Salva come PNG Salva come JPEG
Nome #
Numerical/experimental strategies to infer enhanced liquid thermal conductivity and roughness in laser powder-bed fusion processes 127
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 106
Model Checking Interval Temporal Logics with Regular Expressions 89
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 87
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground 85
Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains 85
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 78
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions 77
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 76
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 75
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 74
Correlation between microstructure and SIMS analyses of cast irons incoulated with CG alloy 74
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete 73
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 70
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 69
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 69
Sintering and microstructure of phosphorous steels 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 64
Heat treatment and mechanical behavior of sintered Fe-C-P steels 57
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 55
Totale 1.948
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.797
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.797
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/2026400 61 110 104 79 38 8 0 0 0 0 0 0
Totale 1.948