Molinari, Alberto
 Distribuzione geografica
Continente #
NA - Nord America 433
EU - Europa 272
AS - Asia 98
Continente sconosciuto - Info sul continente non disponibili 5
AF - Africa 4
Totale 812
Nazione #
US - Stati Uniti d'America 422
DE - Germania 91
UA - Ucraina 65
HK - Hong Kong 44
RU - Federazione Russa 28
VN - Vietnam 24
FI - Finlandia 20
IE - Irlanda 20
CN - Cina 19
IT - Italia 17
FR - Francia 10
SE - Svezia 9
MX - Messico 7
IN - India 5
CA - Canada 4
EU - Europa 4
ZA - Sudafrica 4
BE - Belgio 3
ES - Italia 3
GB - Regno Unito 3
IL - Israele 3
AT - Austria 2
TR - Turchia 2
A1 - Anonimo 1
JP - Giappone 1
MD - Moldavia 1
Totale 812
Città #
Jacksonville 150
Chandler 52
Hong Kong 44
Kronberg 25
Dong Ket 24
Wilmington 23
Dublin 20
Helsinki 20
Boardman 18
Dearborn 17
Ann Arbor 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
Houston 2
Menlo Park 2
Mountain View 2
Mumbai 2
Nuremberg 2
Portland 2
Saint Petersburg 2
Süleyman 2
Augusta 1
Avignon 1
Chicago 1
Dallas 1
El Paso 1
Fairfield 1
Falkenstein 1
Gunzenhausen 1
Jinan 1
Madrid 1
Monmouth Junction 1
Moscow 1
Nagold 1
Nanjing 1
Napoli 1
New York 1
Stirling 1
Volgograd 1
Woodbridge 1
Yekaterinburg 1
Totale 500
Nome #
Numerical/experimental strategies to infer enhanced liquid thermal conductivity and roughness in laser powder-bed fusion processes 85
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 60
Model Checking Interval Temporal Logics with Regular Expressions 44
Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains 42
Which fragments of the interval temporal logic HS are tractable in model checking? 40
Checking interval properties of computations 40
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground 38
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS 38
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 38
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 37
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 36
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 35
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 35
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 34
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 31
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 30
Model Checking Well-Behaved Fragments of HS: the (Almost) Final Picture 30
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling 30
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 29
Correlation between microstructure and SIMS analyses of cast irons incoulated with CG alloy 29
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions 28
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete 26
Effect of Process Parameters on the Surface Microgeometry of a Ti6Al4V Alloy Manufactured by Laser Powder Bed Fusion: 3D vs. 2D Characterization 20
Sintering and microstructure of phosphorous steels 18
Heat treatment and mechanical behavior of sintered Fe-C-P steels 17
Totale 890
Categoria #
all - tutte 6.734
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 6.734


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201916 0 0 0 0 0 0 0 0 0 0 11 5
2019/2020183 23 21 3 0 28 16 26 2 27 4 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/2024129 10 12 25 8 2 2 0 25 0 45 0 0
Totale 890