CINECA IRIS Institutional Research Information System

SPROSTON, Jeremy James
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.827
EU - Europa 1.256
AS - Asia 428
SA - Sud America 4
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.518
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.798
CN - Cina 236
IT - Italia 201
DK - Danimarca 189
IE - Irlanda 156
SE - Svezia 141
DE - Germania 124
UA - Ucraina 111
FR - Francia 88
FI - Finlandia 86
KR - Corea 69
SG - Singapore 64
GB - Regno Unito 63
PL - Polonia 38
VN - Vietnam 33
CA - Canada 29
RU - Federazione Russa 18
AT - Austria 8
BE - Belgio 8
GR - Grecia 8
TR - Turchia 7
HK - Hong Kong 6
IN - India 5
NL - Olanda 5
BR - Brasile 3
NO - Norvegia 3
BG - Bulgaria 2
LU - Lussemburgo 2
SA - Arabia Saudita 2
TW - Taiwan 2
AE - Emirati Arabi Uniti 1
CH - Svizzera 1
CZ - Repubblica Ceca 1
EE - Estonia 1
EG - Egitto 1
EU - Europa 1
HU - Ungheria 1
ID - Indonesia 1
IR - Iran 1
LT - Lituania 1
MU - Mauritius 1
MY - Malesia 1
PE - Perù 1
Totale 3.518
Salva come PNG Salva come JPEG
Città #
Chandler 182
Ann Arbor 179
Dublin 156
Beijing 132
Jacksonville 128
Fairfield 118
Wilmington 114
Houston 105
Ashburn 74
Woodbridge 70
Princeton 68
Medford 61
Dearborn 58
Guangzhou 58
Seattle 44
Torino 43
Villeurbanne 39
Cambridge 38
Warsaw 38
San Mateo 36
Singapore 35
San Mauro Torinese 31
Nyköping 30
Pisa 26
Dong Ket 22
Milan 20
Toronto 20
Verona 16
Norwalk 11
Wayne 10
Boston 9
Falls Church 9
Fremont 9
Lachine 9
San Diego 9
Boardman 8
Brussels 8
Hanover 8
Hefei 8
Helsinki 8
Nanjing 8
Vienna 8
Karlsruhe 7
Mountain View 7
Bottanuco 6
Santa Clara 6
Padova 5
Redwood City 5
Turin 5
Des Moines 4
Hangzhou 4
Hebei 4
Istanbul 4
Nanchang 4
Phoenix 4
Dallas 3
Gazzaniga 3
Guiyang 3
Kocaeli 3
Los Angeles 3
Ludwigshafen 3
Munich 3
Piemonte 3
Stavanger 3
Washington 3
Auburn Hills 2
Corbetta 2
Düsseldorf 2
Esch-sur-Alzette 2
Grafing 2
Jinan 2
Lappeenranta 2
Las Vegas 2
New York 2
Philadelphia 2
Recife 2
Rome 2
Seoul 2
Serra 2
Sofia 2
Southampton 2
Aachen 1
Altavilla Irpina 1
Andover 1
Anápolis 1
Bari 1
Boulder 1
Bremen 1
Budapest 1
Cachan 1
Callao 1
Campobasso 1
Catania 1
Central 1
Cernusco Sul Naviglio 1
Chaoyang 1
Chicago 1
Chongqing 1
Croydon 1
Daejeon 1
Totale 2.209
Salva come PNG Salva come JPEG
Nome #
Analysis of timed properties using the jump-diffusion approximation 294
Qualitative Reachability for Open Interval Markov Chains 254
Qualitative analysis of VASS-induced MDPs 236
Probabilistic Timed Automata with Clock-Dependent Probabilities 212
Verification and Control for Probabilistic Hybrid Automata with Finite Bisimulations 152
Model Checking for Probabilistic Timed Automata 129
Verification and Control of Probabilistic Rectangular Hybrid Automata 110
Discrete-Time Verification and Control for Probabilistic Rectangular Hybrid Automata 98
CSL Model Checking for the GreatSPN Tool 89
Strict Divergence for Probabilistic Timed Automata 81
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools 80
CSLTA: an Expressive Logic for Continuous-Time Markov Chains 78
Model Checking Probabilistic Timed Automata with One or Two Clocks 77
Symbolic model checking for probabilistic timed automata 73
Decidable Model Checking of Probabilistic Hybrid Automata 72
From Time Petri Nets to Timed Automata: an Untimed Approach 72
Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata 72
Model Checking Durational Probabilistic Systems 71
An Extension of the Inverse Method to Probabilistic Timed Automata 71
Backward Stochastic Bisimulation in CSL Model Checking 70
Exact and Approximate Abstraction for Classes of Stochastic Hybrid Systems 67
Modeling and Verification of Distributed Systems using Markov Decision Processes 64
CSL Model Checking for Generalized Stochastic Petri Nets 62
Symbolic Computation of Maximal Probabilistic Reachability 60
Backward Bisimulation in Markov Chain Model Checking 58
Verification of Real-time Probabilistic Systems 58
Automatic Verification of Real-time Systems with Discrete Probability Distributions 57
Model Checking for Probabilistic Timed Systems 55
Symbolic Model Checking for Probabilistic Timed Automata 54
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol 53
Model Checking Probabilistic Timed Automata with One or Two Clocks 53
An Extension of the Inverse Method to Probabilistic Timed Automata 53
Solving Parity Games on Integer Vectors 53
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities 51
Automatic Verification of Real-time Systems with Discrete Probability Distributions 46
Probabilistic Model Checking of Deadline Properties in the IEEE1394 FireWire Root Contention Procotol 43
Practical Applications of Probabilistic Model Checking to Communication Protocols 43
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata 42
Performance Analysis of Probabilistic Timed Automata using Digital Clocks 41
Model Checking Timed and Stochastic Properties with CSLTA 38
Performance Analysis of Probabilistic Timed Automata using Digital Clocks 37
Probabilistic Timed Automata with Clock-Dependent Probabilities 34
State Explosion in Almost-Sure Probabilistic Reachability 33
Performability Measure Specification: Combining CSRL and MSL 32
Simulation and Bisimulation for Probabilistic Timed Automata 31
Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives 27
Timed Games with Bounded Window Parity Objectives 21
Probabilistic timed automata with one clock and initialised clock-dependent probabilities 21
Preface 6
Qualitative reachability for open interval Markov chains 3
Totale 3.687
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.154
article - articoli 0
book - libri 0
conference - conferenze 3.735
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 13.889
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020752 0 30 71 97 70 95 83 43 85 59 58 61
2020/2021649 70 35 55 40 106 40 47 13 72 67 48 56
2021/2022530 17 24 12 35 14 18 98 26 13 35 130 108
2022/2023559 77 27 25 38 65 175 49 21 48 6 24 4
2023/2024258 50 38 19 13 16 53 1 8 1 13 12 34
2024/202527 0 27 0 0 0 0 0 0 0 0 0 0
Totale 3.687