CINECA IRIS Institutional Research Information System

SPROSTON, Jeremy James
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.812
EU - Europa 1.254
AS - Asia 372
SA - Sud America 4
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.445
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.783
CN - Cina 234
IT - Italia 201
DK - Danimarca 189
IE - Irlanda 156
SE - Svezia 141
DE - Germania 123
UA - Ucraina 111
FR - Francia 88
FI - Finlandia 85
KR - Corea 69
GB - Regno Unito 63
PL - Polonia 38
VN - Vietnam 33
CA - Canada 29
RU - Federazione Russa 18
SG - Singapore 10
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.445
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
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
Padova 5
Redwood City 5
Turin 5
Des Moines 4
Hangzhou 4
Hebei 4
Istanbul 4
Nanchang 4
Phoenix 4
Singapore 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
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
Delhi 1
Eden Prairie 1
Totale 2.172
Salva come PNG Salva come JPEG
Nome #
Analysis of timed properties using the jump-diffusion approximation 294
Qualitative Reachability for Open Interval Markov Chains 253
Qualitative analysis of VASS-induced MDPs 235
Probabilistic Timed Automata with Clock-Dependent Probabilities 211
Verification and Control for Probabilistic Hybrid Automata with Finite Bisimulations 151
Model Checking for Probabilistic Timed Automata 126
Verification and Control of Probabilistic Rectangular Hybrid Automata 109
Discrete-Time Verification and Control for Probabilistic Rectangular Hybrid Automata 97
CSL Model Checking for the GreatSPN Tool 89
Strict Divergence for Probabilistic Timed Automata 81
Model Checking Probabilistic Timed Automata with One or Two Clocks 76
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools 76
CSLTA: an Expressive Logic for Continuous-Time Markov Chains 74
Symbolic model checking for probabilistic timed automata 72
Decidable Model Checking of Probabilistic Hybrid Automata 71
Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata 71
From Time Petri Nets to Timed Automata: an Untimed Approach 70
Model Checking Durational Probabilistic Systems 69
An Extension of the Inverse Method to Probabilistic Timed Automata 69
Backward Stochastic Bisimulation in CSL Model Checking 67
Exact and Approximate Abstraction for Classes of Stochastic Hybrid Systems 66
Modeling and Verification of Distributed Systems using Markov Decision Processes 63
CSL Model Checking for Generalized Stochastic Petri Nets 60
Symbolic Computation of Maximal Probabilistic Reachability 59
Backward Bisimulation in Markov Chain Model Checking 57
Verification of Real-time Probabilistic Systems 57
Automatic Verification of Real-time Systems with Discrete Probability Distributions 56
Model Checking for Probabilistic Timed Systems 54
Symbolic Model Checking for Probabilistic Timed Automata 53
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol 52
Model Checking Probabilistic Timed Automata with One or Two Clocks 52
An Extension of the Inverse Method to Probabilistic Timed Automata 52
Solving Parity Games on Integer Vectors 50
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities 50
Automatic Verification of Real-time Systems with Discrete Probability Distributions 45
Probabilistic Model Checking of Deadline Properties in the IEEE1394 FireWire Root Contention Procotol 42
Practical Applications of Probabilistic Model Checking to Communication Protocols 42
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata 41
Performance Analysis of Probabilistic Timed Automata using Digital Clocks 38
Performance Analysis of Probabilistic Timed Automata using Digital Clocks 37
Model Checking Timed and Stochastic Properties with CSLTA 36
Probabilistic Timed Automata with Clock-Dependent Probabilities 33
State Explosion in Almost-Sure Probabilistic Reachability 32
Performability Measure Specification: Combining CSRL and MSL 31
Simulation and Bisimulation for Probabilistic Timed Automata 29
Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives 26
Timed Games with Bounded Window Parity Objectives 20
Probabilistic timed automata with one clock and initialised clock-dependent probabilities 16
Qualitative reachability for open interval Markov chains 2
Preface 2
Totale 3.614
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.166
article - articoli 0
book - libri 0
conference - conferenze 3.402
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 12.568
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019106 0 0 0 0 0 0 0 0 0 13 65 28
2019/2020779 27 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/2024212 50 38 19 13 16 53 1 8 1 13 0 0
Totale 3.614