IRIS Institutional Research Information System

Molinari, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.304
NA - Nord America 1.249
AS - Asia 682
SA - Sud America 161
Continente sconosciuto - Info sul continente non disponibili 83
AF - Africa 24
OC - Oceania 1
Totale 3.504
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.209
RU - Federazione Russa 931
SG - Singapore 260
CN - Cina 133
BR - Brasile 131
DE - Germania 120
HK - Hong Kong 108
VN - Vietnam 99
UA - Ucraina 68
FR - Francia 39
IT - Italia 26
NL - Olanda 25
IN - India 22
IE - Irlanda 21
FI - Finlandia 20
CA - Canada 19
GB - Regno Unito 18
MX - Messico 14
SE - Svezia 13
AR - Argentina 12
BD - Bangladesh 10
IQ - Iraq 10
ZA - Sudafrica 9
AT - Austria 7
ID - Indonesia 6
TR - Turchia 6
EC - Ecuador 5
ES - Italia 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
GE - Georgia 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.426
Salva come PNG Salva come JPEG
Città #
San Jose 178
Council Bluffs 164
Jacksonville 151
Hong Kong 104
Singapore 97
Moscow 71
Beijing 53
Chandler 52
The Dalles 46
Ashburn 41
New York 35
Dallas 27
Hefei 25
Kronberg 25
Dong Ket 24
Ho Chi Minh City 24
Lauterbourg 23
Los Angeles 23
Santa Clara 23
Wilmington 23
Dublin 20
Helsinki 20
Boardman 18
Dearborn 17
Hanoi 17
Ann Arbor 13
Nuremberg 12
Munich 10
Mexico City 9
Rio de Janeiro 8
Trento 8
Udine 8
Orem 7
São Paulo 7
Atlanta 6
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
Phoenix 4
Stockholm 4
Baghdad 3
Belo Horizonte 3
Brussels 3
Buffalo 3
Chicago 3
Houston 3
Lahore 3
Limburg an der Lahn 3
Philadelphia 3
Redwood City 3
San Francisco 3
Warsaw 3
Zhengzhou 3
Augusta 2
Barcelona 2
Brasília 2
Can Tho 2
Cape Coral 2
Chennai 2
Curitiba 2
Dhaka 2
Duque de Caxias 2
Erbil 2
Gaspar 2
Guayaquil 2
Hafnarfjordur 2
Kingston 2
London 2
Mendoza 2
Menlo Park 2
Miami 2
Montevideo 2
Mountain View 2
Mumbai 2
Nairobi 2
New Delhi 2
Poplar 2
Portland 2
Queens 2
Quảng Ngãi 2
Rostov-on-Don 2
Saint Petersburg 2
Santa Rosa 2
São Carlos 2
Süleyman 2
Tokyo 2
Vancouver 2
Washington 2
Abidjan 1
Abu Dhabi 1
Addis Ababa 1
Agadir 1
Al Fujairah City 1
Totale 1.555
Salva come PNG Salva come JPEG
Nome #
Numerical/experimental strategies to infer enhanced liquid thermal conductivity and roughness in laser powder-bed fusion processes 205
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 176
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling 160
Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains 156
Model Checking Interval Temporal Logics with Regular Expressions 156
Checking interval properties of computations 151
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS 149
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 148
Which fragments of the interval temporal logic HS are tractable in model checking? 145
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 144
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground 140
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 137
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 137
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 136
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 135
Model Checking Well-Behaved Fragments of HS: the (Almost) Final Picture 132
Correlation between microstructure and SIMS analyses of cast irons incoulated with CG alloy 131
Sintering and microstructure of phosphorous steels 130
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions 128
Effect of Process Parameters on the Surface Microgeometry of a Ti6Al4V Alloy Manufactured by Laser Powder Bed Fusion: 3D vs. 2D Characterization 123
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 122
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete 122
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 122
Heat treatment and mechanical behavior of sintered Fe-C-P steels 114
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 105
Totale 3.504
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.510
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 16.510
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202279 0 0 0 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/2027272 79 42 102 49 0 0 0 0 0 0 0 0
Totale 3.504