PAOLIERI, MARCO
 Distribuzione geografica
Continente #
EU - Europa 1.449
NA - Nord America 1.262
AS - Asia 159
Continente sconosciuto - Info sul continente non disponibili 2
SA - Sud America 2
Totale 2.874
Nazione #
US - Stati Uniti d'America 1.262
PL - Polonia 1.120
IT - Italia 94
IE - Irlanda 91
CN - Cina 62
SE - Svezia 48
JO - Giordania 42
RU - Federazione Russa 37
HK - Hong Kong 30
FI - Finlandia 16
SG - Singapore 16
GB - Regno Unito 14
DE - Germania 7
ES - Italia 6
BE - Belgio 5
CH - Svizzera 5
IN - India 4
VN - Vietnam 4
BR - Brasile 2
EU - Europa 2
NL - Olanda 2
UA - Ucraina 2
AT - Austria 1
FR - Francia 1
KR - Corea 1
Totale 2.874
Città #
Warsaw 1.120
Fairfield 250
Woodbridge 115
Seattle 114
Ashburn 95
Houston 94
Cambridge 92
Chandler 91
Dublin 91
Ann Arbor 73
Wilmington 70
Altamura 38
Beijing 36
Lawrence 34
Princeton 26
Florence 19
Boston 15
Medford 13
Shanghai 13
Boardman 12
Hong Kong 12
Kent 11
Saint Petersburg 10
Singapore 10
San Diego 8
Barcelona 6
Andover 5
Bern 5
Brussels 5
Falls Church 5
Cagliari 4
Jacksonville 4
London 4
Norwalk 4
Buffalo 3
Incisa 3
Prato 3
Anzano Di Puglia 2
Brugherio 2
Chianciano Terme 2
Des Moines 2
Dong Ket 2
Fucecchio 2
Hanoi 2
Kilburn 2
New York 2
Redwood City 2
San Mateo 2
Torino 2
Castelfiorentino 1
Chengdu 1
Enschede 1
Genova 1
Germantown 1
Granarolo 1
Guangzhou 1
Hefei 1
Helsinki 1
Heze 1
Hillsboro 1
Hounslow 1
Klosterneuburg 1
Los Angeles 1
Macerata Campania 1
Moscow 1
Padova 1
Philadelphia 1
Prescot 1
Redmond 1
Rome 1
Rotterdam 1
Scandicci 1
Seoul 1
Serra 1
Shenzhen 1
Thiene 1
Wuhan 1
Totale 2.565
Nome #
Transient analysis of non-Markovian models using stochastic state classes 229
Software Rejuvenation Impacts on a Phased-Mission System for Mars Exploration 229
A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids 214
Non-Markovian Analysis for Model Driven Engineering of Real-Time Software 213
Quantitative Evaluation of Availability Measures of Gas Distribution Networks 213
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis 211
Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters 210
Analysis and Verification of Regenerative Stochastic Systems 185
A stochastic model-based approach to online event prediction and response scheduling 156
Probabilistic Model Checking of non-Markovian Models with Concurrent Generally Distributed Timers 108
A continuous-time model-based approach for activity recognition in pervasive environments 100
Non-Markovian performability evaluation of ERTMS/ETCS level 3 100
Performance evaluation of Fischer's protocol through steady-state analysis of Markov regenerative processes 96
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems 93
Performability evaluation of the ERTMS/ETCS - Level 3 91
Guest Editorial: Special issue on formal modeling and analysis of timed systems 88
Probabilistic Model Checking of Regenerative Concurrent Systems 84
Exploiting non-deterministic analysis in the integration of transient solution techniques for Markov regenerative processes 78
Probabilistic Model Checking of Regenerative Concurrent Systems 78
Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes 63
An introduction to the ORIS tool 53
Compositional Safe Approximation of Response Time Probability Density Function of Complex Workflows 15
Totale 2.907
Categoria #
all - tutte 6.674
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.674


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020742 0 79 32 54 98 78 84 95 78 65 70 9
2020/2021397 39 46 10 53 19 31 21 29 36 63 20 30
2021/2022181 10 9 29 9 9 3 7 13 6 11 26 49
2022/2023459 39 83 22 23 42 67 61 22 78 4 10 8
2023/2024104 5 15 20 3 3 13 5 20 0 1 16 3
2024/202556 42 14 0 0 0 0 0 0 0 0 0 0
Totale 2.907