CARNEVALI, LAURA
 Distribuzione geografica
Continente #
NA - Nord America 324
EU - Europa 253
AS - Asia 48
SA - Sud America 6
AF - Africa 5
OC - Oceania 1
Totale 637
Nazione #
US - Stati Uniti d'America 319
IT - Italia 123
DE - Germania 23
FR - Francia 22
IE - Irlanda 20
PL - Polonia 17
CN - Cina 14
CZ - Repubblica Ceca 14
RU - Federazione Russa 11
VN - Vietnam 10
UA - Ucraina 5
CA - Canada 4
ES - Italia 4
SG - Singapore 4
ZA - Sudafrica 4
BR - Brasile 3
HK - Hong Kong 3
ID - Indonesia 3
IN - India 3
BY - Bielorussia 2
CL - Cile 2
GB - Regno Unito 2
IR - Iran 2
MN - Mongolia 2
NL - Olanda 2
PK - Pakistan 2
SK - Slovacchia (Repubblica Slovacca) 2
TR - Turchia 2
AU - Australia 1
BE - Belgio 1
DK - Danimarca 1
EE - Estonia 1
ET - Etiopia 1
FI - Finlandia 1
JP - Giappone 1
KR - Corea 1
LB - Libano 1
MX - Messico 1
NO - Norvegia 1
SE - Svezia 1
UY - Uruguay 1
Totale 637
Città #
Houston 33
Fairfield 31
Santa Cruz 30
Ashburn 27
Florence 22
Seattle 22
Dublin 20
Warsaw 13
Woodbridge 12
Cambridge 11
Wilmington 11
Ann Arbor 10
Buffalo 10
Dong Ket 9
Turin 9
Castelfiorentino 7
Beijing 5
Boulder 5
Chicago 5
San Diego 5
Bologna 4
Muizenberg 4
Oak Park 4
Singapore 4
Borgo San Lorenzo 3
Clearwater 3
Milan 3
Mountain View 3
Naples 3
Paris 3
Phoenix 3
Rome 3
Santa Croce Sull' Arno 3
Corbeil-essonnes 2
Dallas 2
Duncan 2
Hangzhou 2
Henderson 2
Islamabad 2
Lake Forest 2
Las Vegas 2
Los Angeles 2
Ottobrunn 2
Padova 2
Prato 2
Riva 2
San Francisco 2
Shanghai 2
Siena 2
Ulan Bator 2
Aachen 1
Alessandria 1
Balikpapan 1
Bari 1
Bengaluru 1
Berlin 1
Bilbao 1
Boardman 1
Böblingen 1
Capannori 1
Central 1
Chapel Hill 1
Chengdu 1
Easton 1
Evanston 1
Frankfurt am Main 1
Fremont 1
Glasgow 1
Gomel 1
Helsinki 1
Hong Kong 1
Istanbul 1
Kraków 1
Leawood 1
Liverpool 1
Ludwigshafen am Rhein 1
Lyon 1
Mazatlán 1
Mendham 1
Milpitas 1
Minsk 1
Montevideo 1
Montreal 1
Moscow 1
Nanchang 1
Oak Lawn 1
Obolon 1
Ottawa 1
Polska 1
Portland 1
Provo 1
Ravenna 1
Rio De Janeiro 1
Rivoli 1
Saint Petersburg 1
San Antonio 1
Santiago 1
Schwelm 1
Scranton 1
Secaucus 1
Totale 424
Nome #
Analysis of a Road/Tramway Intersection by the ORIS Tool, file e398c37d-ae9f-179a-e053-3705fe0a4cff 232
Survivability Evaluation of Gas, Water and Electricity Infrastructures, file e398c37c-3626-179a-e053-3705fe0a4cff 108
Formal methods in the development life cycle of real-time software, file e398c378-c403-179a-e053-3705fe0a4cff 74
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems, file e398c37e-36c4-179a-e053-3705fe0a4cff 70
A heuristic approach for predictive diagnosis of wheel wear based on low-cost track-side equipment, file e398c380-5c2f-179a-e053-3705fe0a4cff 61
An efficient library for reliability block diagram evaluation, file e398c381-7413-179a-e053-3705fe0a4cff 41
Oris: a Tool for Modeling, Verification and Evaluation of Real-Time Systems, file e398c378-b65b-179a-e053-3705fe0a4cff 30
A novel layered approach to evaluate reliability of complex systems, file e398c37e-ea5c-179a-e053-3705fe0a4cff 27
Compositional Verification for Hierarchical Scheduling of Real-Time systems, file e398c379-a80b-179a-e053-3705fe0a4cff 4
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models, file e398c378-c418-179a-e053-3705fe0a4cff 3
Putting preemptive Time Petri Nets to work in a V-Model SW life cycle, file e398c378-b599-179a-e053-3705fe0a4cff 2
Combining UML-MARTE and preemptive Time Petri Nets: An Industrial Case Study, file e398c378-de58-179a-e053-3705fe0a4cff 2
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis, file e398c378-eaa5-179a-e053-3705fe0a4cff 2
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems, file e398c378-de51-179a-e053-3705fe0a4cff 1
Compositional Verification for Hierarchical Scheduling of Real-Time systems, file e398c378-e5a6-179a-e053-3705fe0a4cff 1
Quantitative Evaluation of Availability Measures of Gas Distribution Networks, file e398c378-f4ab-179a-e053-3705fe0a4cff 1
Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters, file e398c378-f4ae-179a-e053-3705fe0a4cff 1
A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids, file e398c378-f5f0-179a-e053-3705fe0a4cff 1
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living, file e398c37c-0645-179a-e053-3705fe0a4cff 1
A stochastic model-based approach to online event prediction and response scheduling, file e398c37c-3e69-179a-e053-3705fe0a4cff 1
Non-Markovian performability evaluation of ERTMS/ETCS level 3, file e398c37c-6eee-179a-e053-3705fe0a4cff 1
Performability evaluation of the ERTMS/ETCS - Level 3, file e398c37c-7ce2-179a-e053-3705fe0a4cff 1
A continuous-time model-based approach for activity recognition in pervasive environments, file e398c37e-5301-179a-e053-3705fe0a4cff 1
Performability evaluation of water distribution systems during maintenance procedures, file e398c37e-5302-179a-e053-3705fe0a4cff 1
Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks, file e398c37e-5304-179a-e053-3705fe0a4cff 1
Stochastic modeling and analysis of road–tramway intersections, file e398c37e-db05-179a-e053-3705fe0a4cff 1
Totale 669
Categoria #
all - tutte 2.248
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 2.248


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201912 0 0 0 0 0 0 0 0 0 0 7 5
2019/2020119 9 4 13 17 24 9 9 10 9 8 5 2
2020/2021107 7 11 5 6 3 3 6 10 15 17 13 11
2021/2022179 16 4 7 19 27 5 11 6 15 18 33 18
2022/2023144 7 6 30 21 9 13 18 5 14 5 11 5
2023/202459 5 3 12 5 3 3 7 6 1 11 3 0
Totale 669