SPROSTON, Jeremy James
 Distribuzione geografica
Continente #
NA - Nord America 841
EU - Europa 249
AS - Asia 96
AF - Africa 20
SA - Sud America 6
OC - Oceania 1
Totale 1.213
Nazione #
US - Stati Uniti d'America 833
IT - Italia 60
DE - Germania 57
CN - Cina 44
RU - Federazione Russa 23
GB - Regno Unito 20
VN - Vietnam 20
FR - Francia 18
PL - Polonia 12
CZ - Repubblica Ceca 10
DZ - Algeria 9
NL - Olanda 9
ZA - Sudafrica 9
CA - Canada 8
KR - Corea 8
AT - Austria 7
IE - Irlanda 7
CL - Cile 6
IN - India 6
JP - Giappone 6
UA - Ucraina 6
BE - Belgio 5
GR - Grecia 5
HK - Hong Kong 3
PK - Pakistan 3
SE - Svezia 3
TW - Taiwan 3
FI - Finlandia 2
TH - Thailandia 2
AU - Australia 1
DK - Danimarca 1
EG - Egitto 1
HU - Ungheria 1
LT - Lituania 1
LU - Lussemburgo 1
MA - Marocco 1
RO - Romania 1
SA - Arabia Saudita 1
Totale 1.213
Città #
Fairfield 111
Houston 105
Seattle 58
Woodbridge 56
Ashburn 53
Santa Cruz 48
Ann Arbor 43
Cambridge 41
Buffalo 39
Torino 28
Wilmington 28
University Park 18
Dong Ket 17
Beijing 16
San Diego 13
Pisa 12
Warsaw 12
Chicago 7
Dublin 7
Las Vegas 7
Muizenberg 7
Batna City 6
Frankfurt am Main 6
Hartford 6
Shanghai 6
Vienna 6
Bengaluru 5
Dallas 5
Henderson 5
Mountain View 5
Nürnberg 5
Lake Forest 4
Los Angeles 4
Minden 4
New York 4
Phoenix 4
Provo 4
Rome 4
Shenyang 4
Changsha 3
Enschede 3
Hangzhou 3
Milpitas 3
Ottawa 3
Taipei 3
Toronto 3
Turin 3
Urbana 3
Virginia Beach 3
Warren 3
Aachen 2
Bangkok 2
Berlin 2
Boulder 2
Brooklyn 2
Central 2
Clearwater 2
Council Bluffs 2
Des Moines 2
Helsinki 2
Islamabad 2
Jacksonville 2
Kerkrade 2
Kraainem 2
Lancaster 2
Le Havre 2
Maple Grove 2
Moscow 2
Munich 2
Pasadena 2
San Jose 2
Santa Clara 2
Scranton 2
Southend 2
Yellow Springs 2
Andover 1
Auburn 1
Boardman 1
Boiling Springs 1
Borås 1
Bridgwater 1
Brisbane 1
Brussels 1
Büdelsdorf 1
Cachan 1
Cedar Knolls 1
Cheyenne 1
Clemson 1
Dordrecht 1
Easton 1
Esch-sur-Alzette 1
Fleming Island 1
Gaithersburg 1
Hamm 1
Heidesheim 1
Herndon 1
Jersey City 1
Kapellen 1
Karlsruhe 1
Kazan 1
Totale 921
Nome #
Model Checking for Probabilistic Timed Automata, file e27ce426-f517-2581-e053-d805fe0acbaa 271
Verification and Control for Probabilistic Hybrid Automata with Finite Bisimulations, file e27ce42d-5f9d-2581-e053-d805fe0acbaa 214
Verification and Control of Probabilistic Rectangular Hybrid Automata, file e27ce428-e968-2581-e053-d805fe0acbaa 182
Qualitative analysis of VASS-induced MDPs, file e27ce429-b3b0-2581-e053-d805fe0acbaa 153
Discrete-Time Verification and Control for Probabilistic Rectangular Hybrid Automata, file e27ce429-1989-2581-e053-d805fe0acbaa 122
Qualitative Reachability for Open Interval Markov Chains, file e27ce42d-e811-2581-e053-d805fe0acbaa 81
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities, file e27ce431-0f06-2581-e053-d805fe0acbaa 58
Probabilistic Timed Automata with Clock-Dependent Probabilities, file e27ce42c-975f-2581-e053-d805fe0acbaa 50
Probabilistic Timed Automata with Clock-Dependent Probabilities, file e27ce431-d1d0-2581-e053-d805fe0acbaa 40
Exact and Approximate Abstraction for Classes of Stochastic Hybrid Systems, file e27ce429-136e-2581-e053-d805fe0acbaa 37
Probabilistic timed automata with one clock and initialised clock-dependent probabilities, file e27ce434-a3b4-2581-e053-d805fe0acbaa 34
Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives, file e27ce432-2e98-2581-e053-d805fe0acbaa 7
Timed Games with Bounded Window Parity Objectives, file d270f48a-e915-4df3-aef8-8bb3f0fcda3c 4
Qualitative reachability for open interval Markov chains, file 247156ea-7bc4-4e39-be89-b7aa7d7b5f37 3
An Extension of the Inverse Method to Probabilistic Timed Automata, file e27ce426-f516-2581-e053-d805fe0acbaa 3
Solving Parity Games on Integer Vectors, file e27ce426-f518-2581-e053-d805fe0acbaa 3
Model Checking for Probabilistic Timed Automata, file e27ce428-7645-2581-e053-d805fe0acbaa 3
Model Checking Probabilistic Timed Automata with One or Two Clocks, file e27ce426-b749-2581-e053-d805fe0acbaa 1
Performability Measure Specification: Combining CSRL and MSL, file e27ce426-d011-2581-e053-d805fe0acbaa 1
An Extension of the Inverse Method to Probabilistic Timed Automata, file e27ce428-75e8-2581-e053-d805fe0acbaa 1
Analysis of timed properties using the jump-diffusion approximation, file e27ce42c-7423-2581-e053-d805fe0acbaa 1
Verification and Control for Probabilistic Hybrid Automata with Finite Bisimulations, file e27ce432-4a08-2581-e053-d805fe0acbaa 1
Totale 1.270
Categoria #
all - tutte 1.830
article - articoli 0
book - libri 0
conference - conferenze 1.044
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 2.874


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201980 0 0 0 0 0 0 0 0 0 17 35 28
2019/2020185 21 10 12 30 16 9 14 19 24 8 13 9
2020/2021322 17 21 10 8 81 35 28 17 16 50 16 23
2021/2022354 27 28 26 50 43 20 41 19 10 17 60 13
2022/2023181 11 7 51 32 5 19 18 16 2 12 7 1
2023/202415 0 1 1 0 2 0 4 2 0 5 0 0
Totale 1.270