RIDI, LORENZO
 Distribuzione geografica
Continente #
EU - Europa 1.544
NA - Nord America 1.178
AS - Asia 112
AF - Africa 6
Continente sconosciuto - Info sul continente non disponibili 2
SA - Sud America 2
Totale 2.844
Nazione #
US - Stati Uniti d'America 1.176
PL - Polonia 1.094
RU - Federazione Russa 187
SE - Svezia 79
IT - Italia 73
IE - Irlanda 54
JO - Giordania 26
SG - Singapore 22
HK - Hong Kong 17
CN - Cina 16
DE - Germania 13
FI - Finlandia 12
GB - Regno Unito 12
IN - India 12
TR - Turchia 10
BE - Belgio 8
CI - Costa d'Avorio 5
RO - Romania 4
FR - Francia 3
CA - Canada 2
EU - Europa 2
VN - Vietnam 2
AE - Emirati Arabi Uniti 1
BY - Bielorussia 1
CH - Svizzera 1
DZ - Algeria 1
EC - Ecuador 1
EE - Estonia 1
GE - Georgia 1
KG - Kirghizistan 1
KR - Corea 1
NL - Olanda 1
PE - Perù 1
TH - Thailandia 1
TJ - Tagikistan 1
UA - Ucraina 1
UZ - Uzbekistan 1
Totale 2.844
Città #
Warsaw 1.094
Santa Clara 334
Fairfield 159
Ann Arbor 89
Chandler 85
Woodbridge 75
Ashburn 57
Dublin 54
Seattle 51
Houston 47
Cambridge 43
Wilmington 40
Altamura 24
Lawrence 22
Singapore 15
Princeton 13
Boardman 11
Florence 11
Boston 9
Izmir 9
Brussels 8
Medford 8
San Diego 7
Hong Kong 6
Jacksonville 6
Moscow 6
Mumbai 6
Abidjan 5
Kent 5
Rome 5
Shanghai 5
London 4
Thiene 4
Incisa 3
Scandicci 3
Timisoara 3
Andover 2
Arezzo 2
Beijing 2
Borgo San Lorenzo 2
Chianciano Terme 2
Dong Ket 2
Los Angeles 2
New York 2
Redmond 2
Baotou 1
Bern 1
Bishkek 1
Blida 1
Chicago 1
Dearborn 1
Dubai 1
Düsseldorf 1
Falls Church 1
Granarolo 1
Guayaquil 1
Hanover 1
Hillsboro 1
Kilburn 1
Leawood 1
Lima 1
Lucca 1
Milan 1
Mogilëv 1
Montréal 1
Norwalk 1
Perugia 1
Philadelphia 1
Port-Saint-Louis-du-Rhone 1
San Giovanni 1
San Mateo 1
Tallinn 1
Torino 1
Toronto 1
Wenzhou 1
Wuhan 1
Yubileyny 1
Totale 2.376
Nome #
Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm 300
Oris: a Tool for Modeling, Verification and Evaluation of Real-Time Systems 287
Putting preemptive Time Petri Nets to work in a V-Model SW life cycle 284
Transient analysis of non-Markovian models using stochastic state classes 278
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems 273
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models 263
Transient analysis of generalised semi-Markov processes using transient stochastic state classes 260
Sirio: A framework for simulation and symbolic state space analysis of non-Markovian models 238
Job scheduler for electromechanical system for biological analyses 172
Probabilistic Model Checking of non-Markovian Models with Concurrent Generally Distributed Timers 155
Stochastic Fault Trees for cross-layer power management of WSN monitoring systems 129
Automatic Code Generation from Real-Time Systems Specifications 118
Approximating distributions and transient probabilities of Markov chains by Bernstein expolynomial functions 94
Totale 2.851
Categoria #
all - tutte 5.516
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 5.516


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020327 0 0 0 0 0 59 57 69 52 36 49 5
2020/2021410 36 42 15 45 21 34 36 29 33 78 10 31
2021/2022121 9 7 15 2 3 3 8 8 5 18 16 27
2022/2023333 27 73 25 16 36 44 35 16 51 0 6 4
2023/202455 4 8 14 4 3 2 1 7 0 1 9 2
2024/2025608 24 67 48 100 249 120 0 0 0 0 0 0
Totale 2.851