SPROSTON, Jeremy James
 Distribuzione geografica
Continente #
NA - Nord America 1.812
EU - Europa 1.255
AS - Asia 417
SA - Sud America 4
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.491
Nazione #
US - Stati Uniti d'America 1.783
CN - Cina 236
IT - Italia 201
DK - Danimarca 189
IE - Irlanda 156
SE - Svezia 141
DE - Germania 123
UA - Ucraina 111
FR - Francia 88
FI - Finlandia 86
KR - Corea 69
GB - Regno Unito 63
SG - Singapore 53
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.491
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
Singapore 24
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
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
Delhi 1
Totale 2.193
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
Model Checking Probabilistic Timed Automata with One or Two Clocks 77
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools 77
CSLTA: an Expressive Logic for Continuous-Time Markov Chains 75
Symbolic model checking for probabilistic timed automata 73
Decidable Model Checking of Probabilistic Hybrid Automata 72
Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata 72
Model Checking Durational Probabilistic Systems 71
From Time Petri Nets to Timed Automata: an Untimed Approach 71
An Extension of the Inverse Method to Probabilistic Timed Automata 69
Backward Stochastic Bisimulation in CSL Model Checking 68
Exact and Approximate Abstraction for Classes of Stochastic Hybrid Systems 66
Modeling and Verification of Distributed Systems using Markov Decision Processes 64
CSL Model Checking for Generalized Stochastic Petri Nets 61
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
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities 51
Solving Parity Games on Integer Vectors 50
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 39
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 34
State Explosion in Almost-Sure Probabilistic Reachability 33
Performability Measure Specification: Combining CSRL and MSL 32
Simulation and Bisimulation for Probabilistic Timed Automata 30
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 17
Preface 4
Qualitative reachability for open interval Markov chains 3
Totale 3.660
Categoria #
all - tutte 9.857
article - articoli 0
book - libri 0
conference - conferenze 3.629
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 13.486


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/2024258 50 38 19 13 16 53 1 8 1 13 12 34
Totale 3.660