MASSINK, MIEKE
 Distribuzione geografica
Continente #
NA - Nord America 466
EU - Europa 101
AS - Asia 23
AF - Africa 1
Totale 591
Nazione #
US - Stati Uniti d'America 464
IE - Irlanda 29
IT - Italia 29
SE - Svezia 16
DE - Germania 10
FI - Finlandia 8
HK - Hong Kong 6
IN - India 6
TR - Turchia 6
UA - Ucraina 5
CN - Cina 3
NL - Olanda 3
CA - Canada 2
SG - Singapore 2
GB - Regno Unito 1
SC - Seychelles 1
Totale 591
Città #
Fairfield 88
Ashburn 42
Seattle 42
Woodbridge 42
Chandler 37
Houston 36
Cambridge 34
Dublin 29
Wilmington 27
Altamura 16
Lawrence 15
Princeton 13
Jacksonville 11
Buffalo 8
Ann Arbor 6
Venice 6
Boston 5
San Diego 5
Beijing 3
Grevenbroich 3
Medford 3
Boardman 2
Camerino 2
Düsseldorf 2
Izmir 2
Toronto 2
Andover 1
Atlanta 1
Florence 1
Hillsboro 1
Kent 1
Montevarchi 1
Norwalk 1
San Jose 1
Singapore 1
University Center 1
Totale 491
Nome #
On-the-fly fluid model checking via discrete time population models 100
Model checking mobile stochastic logic 81
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties 77
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination 77
Rate-Based Transition Systems for Stochastic Process Calculi 71
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems 71
MarCaSPiS: a Markovian Extension of a Calculus for Services 64
On StocS: A Stochastic Extension of SCEL 60
Totale 601
Categoria #
all - tutte 1.936
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 1.936


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020165 9 4 6 16 16 21 26 25 24 9 7 2
2020/202159 5 8 7 1 0 6 2 8 4 9 1 8
2021/202260 4 5 7 3 0 1 2 7 0 1 15 15
2022/2023149 21 40 5 10 10 19 21 6 10 0 5 2
2023/202428 4 5 9 0 4 0 3 0 1 0 1 1
2024/20251 1 0 0 0 0 0 0 0 0 0 0 0
Totale 601