IRIS Institutional Research Information System

Molinari, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.300
NA - Nord America 1.073
AS - Asia 675
SA - Sud America 161
Continente sconosciuto - Info sul continente non disponibili 83
AF - Africa 24
OC - Oceania 1
Totale 3.317
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.038
RU - Federazione Russa 931
SG - Singapore 259
CN - Cina 133
BR - Brasile 131
DE - Germania 120
HK - Hong Kong 105
VN - Vietnam 98
UA - Ucraina 67
FR - Francia 38
IT - Italia 26
NL - Olanda 25
IN - India 22
FI - Finlandia 20
IE - Irlanda 20
GB - Regno Unito 17
CA - Canada 14
MX - Messico 14
SE - Svezia 13
AR - Argentina 12
BD - Bangladesh 10
IQ - Iraq 10
ZA - Sudafrica 9
AT - Austria 7
TR - Turchia 6
EC - Ecuador 5
ES - Italia 5
ID - Indonesia 5
JP - Giappone 5
EU - Europa 4
IL - Israele 4
PK - Pakistan 4
BE - Belgio 3
CO - Colombia 3
MA - Marocco 3
PL - Polonia 3
VE - Venezuela 3
AE - Emirati Arabi Uniti 2
CL - Cile 2
EG - Egitto 2
IS - Islanda 2
JM - Giamaica 2
KE - Kenya 2
MY - Malesia 2
PE - Perù 2
PH - Filippine 2
SA - Arabia Saudita 2
UY - Uruguay 2
UZ - Uzbekistan 2
A1 - Anonimo 1
AO - Angola 1
AU - Australia 1
AZ - Azerbaigian 1
BW - Botswana 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
ET - Etiopia 1
GT - Guatemala 1
HT - Haiti 1
KZ - Kazakistan 1
LB - Libano 1
LY - Libia 1
MD - Moldavia 1
PA - Panama 1
PT - Portogallo 1
PY - Paraguay 1
RS - Serbia 1
SN - Senegal 1
TH - Thailandia 1
TN - Tunisia 1
Totale 3.239
Salva come PNG Salva come JPEG
Città #
San Jose 152
Jacksonville 151
Council Bluffs 141
Hong Kong 104
Singapore 97
Moscow 71
Beijing 53
Chandler 52
The Dalles 46
Ashburn 41
Dallas 26
Hefei 25
Kronberg 25
Dong Ket 24
Ho Chi Minh City 23
Lauterbourg 23
Wilmington 23
Santa Clara 22
Los Angeles 21
Dublin 20
Helsinki 20
Boardman 18
Dearborn 17
Hanoi 17
Ann Arbor 13
Nuremberg 12
Munich 10
Mexico City 9
New York 9
Rio de Janeiro 8
Trento 8
Udine 8
Orem 7
São Paulo 7
Porto Alegre 6
Brooklyn 5
Hillsboro 5
Biên Hòa 4
Boston 4
Da Nang 4
Haiphong 4
Montreal 4
Norwalk 4
Ottawa 4
Stockholm 4
Baghdad 3
Belo Horizonte 3
Brussels 3
Lahore 3
Limburg an der Lahn 3
Redwood City 3
Warsaw 3
Zhengzhou 3
Atlanta 2
Augusta 2
Barcelona 2
Brasília 2
Can Tho 2
Chennai 2
Chicago 2
Curitiba 2
Dhaka 2
Duque de Caxias 2
Erbil 2
Gaspar 2
Guayaquil 2
Hafnarfjordur 2
Houston 2
Kingston 2
London 2
Mendoza 2
Menlo Park 2
Montevideo 2
Mountain View 2
Mumbai 2
Nairobi 2
New Delhi 2
Philadelphia 2
Phoenix 2
Poplar 2
Portland 2
Quảng Ngãi 2
Rostov-on-Don 2
Saint Petersburg 2
San Francisco 2
Santa Rosa 2
São Carlos 2
Süleyman 2
Tokyo 2
Vancouver 2
Abidjan 1
Abu Dhabi 1
Addis Ababa 1
Agadir 1
Al Fujairah City 1
Alegrete 1
Alfenas 1
Anderson 1
Ankara 1
Antakya 1
Totale 1.459
Salva come PNG Salva come JPEG
Nome #
Numerical/experimental strategies to infer enhanced liquid thermal conductivity and roughness in laser powder-bed fusion processes 195
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 168
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling 152
Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains 149
Model Checking Interval Temporal Logics with Regular Expressions 146
Checking interval properties of computations 143
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS 142
Which fragments of the interval temporal logic HS are tractable in model checking? 138
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 138
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 138
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground 134
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 130
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 129
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 128
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 127
Correlation between microstructure and SIMS analyses of cast irons incoulated with CG alloy 125
Model Checking Well-Behaved Fragments of HS: the (Almost) Final Picture 123
Sintering and microstructure of phosphorous steels 123
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions 121
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 117
Effect of Process Parameters on the Surface Microgeometry of a Ti6Al4V Alloy Manufactured by Laser Powder Bed Fusion: 3D vs. 2D Characterization 117
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete 116
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 114
Heat treatment and mechanical behavior of sintered Fe-C-P steels 106
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 98
Totale 3.317
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.750
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 15.750
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20261.684 61 110 104 79 38 47 222 702 91 88 116 26
2026/202785 79 6 0 0 0 0 0 0 0 0 0 0
Totale 3.317