IRIS Institutional Research Information System

Molinari, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.296
NA - Nord America 871
AS - Asia 632
SA - Sud America 161
AF - Africa 24
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 1
Totale 2.990
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 931
US - Stati Uniti d'America 842
SG - Singapore 241
BR - Brasile 131
DE - Germania 120
CN - Cina 112
HK - Hong Kong 103
VN - Vietnam 98
UA - Ucraina 67
FR - Francia 37
NL - Olanda 25
IT - Italia 23
IN - India 22
FI - Finlandia 20
IE - Irlanda 20
GB - Regno Unito 17
CA - Canada 14
MX - Messico 13
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
EU - Europa 4
IL - Israele 4
PK - Pakistan 4
BE - Belgio 3
CO - Colombia 3
JP - Giappone 3
MA - Marocco 3
PL - Polonia 3
VE - Venezuela 3
AE - Emirati Arabi Uniti 2
CL - Cile 2
EG - Egitto 2
IS - Islanda 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
DO - Repubblica Dominicana 1
DZ - Algeria 1
ET - Etiopia 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 2.990
Salva come PNG Salva come JPEG
Città #
Jacksonville 151
San Jose 129
Hong Kong 102
Singapore 95
Moscow 71
Chandler 52
Beijing 50
The Dalles 46
Ashburn 37
Hefei 25
Kronberg 25
Dallas 24
Dong Ket 24
Ho Chi Minh City 23
Lauterbourg 23
Wilmington 23
Dublin 20
Helsinki 20
Los Angeles 20
Boardman 18
Dearborn 17
Hanoi 17
Santa Clara 17
Ann Arbor 13
Nuremberg 12
Munich 10
Mexico City 8
New York 8
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
Council Bluffs 2
Curitiba 2
Dhaka 2
Duque de Caxias 2
Erbil 2
Gaspar 2
Guayaquil 2
Hafnarfjordur 2
Houston 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
Anápolis 1
Totale 1.275
Salva come PNG Salva come JPEG
Nome #
Numerical/experimental strategies to infer enhanced liquid thermal conductivity and roughness in laser powder-bed fusion processes 184
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 159
Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains 137
Checking interval properties of computations 135
Model Checking Interval Temporal Logics with Regular Expressions 132
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 130
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS 130
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 129
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground 128
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling 126
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 122
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 121
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 120
Which fragments of the interval temporal logic HS are tractable in model checking? 119
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 119
Correlation between microstructure and SIMS analyses of cast irons incoulated with CG alloy 118
Model Checking Well-Behaved Fragments of HS: the (Almost) Final Picture 116
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions 114
Sintering and microstructure of phosphorous steels 112
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 109
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 105
Effect of Process Parameters on the Surface Microgeometry of a Ti6Al4V Alloy Manufactured by Laser Powder Bed Fusion: 3D vs. 2D Characterization 105
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete 104
Heat treatment and mechanical behavior of sintered Fe-C-P steels 102
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 92
Totale 3.068
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.429
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 14.429
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202162 0 0 0 0 0 0 0 0 0 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/20261.520 61 110 104 79 38 47 222 702 91 66 0 0
Totale 3.068