Molinari, Alberto
 Distribuzione geografica
Continente #
NA - Nord America 558
EU - Europa 534
AS - Asia 243
SA - Sud America 27
Continente sconosciuto - Info sul continente non disponibili 5
AF - Africa 4
Totale 1.371
Nazione #
US - Stati Uniti d'America 545
RU - Federazione Russa 254
DE - Germania 95
SG - Singapore 95
HK - Hong Kong 89
UA - Ucraina 65
BR - Brasile 27
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
CA - Canada 6
GB - Regno Unito 6
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
IQ - Iraq 1
MD - Moldavia 1
PL - Polonia 1
RS - Serbia 1
Totale 1.371
Città #
Jacksonville 150
Hong Kong 89
Moscow 71
Singapore 54
Chandler 52
The Dalles 38
Kronberg 25
Dong Ket 24
Wilmington 23
Dublin 20
Helsinki 20
Boardman 18
Dearborn 17
Santa Clara 14
Ann Arbor 13
Beijing 11
Los Angeles 9
Udine 8
Mexico City 7
Trento 6
Ashburn 4
Norwalk 4
Ottawa 4
Brooklyn 3
Brussels 3
New York 3
Porto Alegre 3
Redwood City 3
Zhengzhou 3
Barcelona 2
Belo Horizonte 2
Hafnarfjordur 2
Houston 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
Cachoeirinha 1
Campinas do Sul 1
Charlotte 1
Chicago 1
Clarksburg 1
Coaraci 1
Curitiba 1
Dallas 1
El Paso 1
Fairfield 1
Falkenstein 1
Formosa 1
Gaspar 1
Goianira 1
Guararema 1
Gunzenhausen 1
Jinan 1
Kansas City 1
Madrid 1
Monmouth Junction 1
Nagold 1
Nanjing 1
Napoli 1
Nhandeara 1
Osasco 1
Passo de Camaragibe 1
Phoenix 1
Pouso Alegre 1
Rio de Janeiro 1
Rostov-on-Don 1
San Francisco 1
Santana da Boa Vista 1
Secaucus 1
Serra 1
Sombrio 1
Stirling 1
Sulaymaniyah 1
Suzano 1
São Mateus do Sul 1
Terra Nova do Norte 1
Toronto 1
Três Lagoas 1
Volgograd 1
Várzea da Palma 1
Warsaw 1
Woodbridge 1
Yekaterinburg 1
Totale 774
Nome #
Numerical/experimental strategies to infer enhanced liquid thermal conductivity and roughness in laser powder-bed fusion processes 106
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 85
Model Checking Interval Temporal Logics with Regular Expressions 70
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 69
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS 66
Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains 64
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 64
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling 62
Checking interval properties of computations 62
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground 59
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 59
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 59
Correlation between microstructure and SIMS analyses of cast irons incoulated with CG alloy 57
Which fragments of the interval temporal logic HS are tractable in model checking? 56
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 55
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 53
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 52
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 50
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions 50
Model Checking Well-Behaved Fragments of HS: the (Almost) Final Picture 50
Heat treatment and mechanical behavior of sintered Fe-C-P steels 44
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 43
Effect of Process Parameters on the Surface Microgeometry of a Ti6Al4V Alloy Manufactured by Laser Powder Bed Fusion: 3D vs. 2D Characterization 42
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete 36
Sintering and microstructure of phosphorous steels 36
Totale 1.449
Categoria #
all - tutte 10.738
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.738


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/2025530 1 4 69 2 2 7 54 23 232 78 58 0
Totale 1.449