Molinari, Alberto
 Distribuzione geografica
Continente #
NA - Nord America 539
EU - Europa 532
AS - Asia 238
SA - Sud America 6
Continente sconosciuto - Info sul continente non disponibili 5
AF - Africa 4
Totale 1.324
Nazione #
US - Stati Uniti d'America 527
RU - Federazione Russa 253
DE - Germania 95
SG - Singapore 92
HK - Hong Kong 88
UA - Ucraina 65
NL - Olanda 25
VN - Vietnam 24
CN - Cina 21
FI - Finlandia 20
IE - Irlanda 20
IT - Italia 17
FR - Francia 10
SE - Svezia 9
MX - Messico 7
BR - Brasile 6
GB - Regno Unito 6
CA - Canada 5
IN - India 5
EU - Europa 4
ZA - Sudafrica 4
BE - Belgio 3
ES - Italia 3
IL - Israele 3
JP - Giappone 3
AT - Austria 2
IS - Islanda 2
TR - Turchia 2
A1 - Anonimo 1
MD - Moldavia 1
RS - Serbia 1
Totale 1.324
Città #
Jacksonville 150
Hong Kong 88
Moscow 71
Singapore 53
Chandler 52
The Dalles 38
Kronberg 25
Dong Ket 24
Wilmington 23
Dublin 20
Helsinki 20
Boardman 18
Dearborn 17
Ann Arbor 13
Santa Clara 13
Beijing 11
Udine 8
Mexico City 7
Trento 6
Ashburn 4
Norwalk 4
Ottawa 4
Brooklyn 3
Brussels 3
Redwood City 3
Zhengzhou 3
Barcelona 2
Hafnarfjordur 2
Houston 2
Los Angeles 2
Menlo Park 2
Mountain View 2
Mumbai 2
Munich 2
Nuremberg 2
Portland 2
Saint Petersburg 2
Süleyman 2
Tokyo 2
Augusta 1
Avignon 1
Chicago 1
Dallas 1
El Paso 1
Fairfield 1
Falkenstein 1
Guararema 1
Gunzenhausen 1
Jinan 1
Madrid 1
Monmouth Junction 1
Nagold 1
Nanjing 1
Napoli 1
New York 1
Osasco 1
Porto Alegre 1
Stirling 1
Suzano 1
Três Lagoas 1
Volgograd 1
Woodbridge 1
Yekaterinburg 1
Totale 731
Nome #
Numerical/experimental strategies to infer enhanced liquid thermal conductivity and roughness in laser powder-bed fusion processes 104
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 83
Model Checking Interval Temporal Logics with Regular Expressions 68
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 67
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS 64
Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains 61
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 61
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling 61
Checking interval properties of computations 60
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 58
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 57
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground 56
Which fragments of the interval temporal logic HS are tractable in model checking? 55
Correlation between microstructure and SIMS analyses of cast irons incoulated with CG alloy 54
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 51
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 51
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 50
Model Checking Well-Behaved Fragments of HS: the (Almost) Final Picture 49
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 48
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions 46
Heat treatment and mechanical behavior of sintered Fe-C-P steels 43
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 42
Effect of Process Parameters on the Surface Microgeometry of a Ti6Al4V Alloy Manufactured by Laser Powder Bed Fusion: 3D vs. 2D Characterization 41
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete 36
Sintering and microstructure of phosphorous steels 36
Totale 1.402
Categoria #
all - tutte 10.524
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 10.524


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202033 0 0 0 0 0 0 0 0 0 0 26 7
2020/2021165 21 2 22 2 21 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/2025483 1 4 69 2 2 7 54 23 232 78 11 0
Totale 1.402