MASSINK, MIEKE
 Distribuzione geografica
Continente #
NA - Nord America 866
EU - Europa 236
AS - Asia 179
SA - Sud America 35
AF - Africa 11
OC - Oceania 7
Totale 1.334
Nazione #
US - Stati Uniti d'America 862
RU - Federazione Russa 118
SG - Singapore 48
CN - Cina 35
HK - Hong Kong 33
IT - Italia 32
IE - Irlanda 29
BR - Brasile 25
VN - Vietnam 22
SE - Svezia 17
KR - Corea 16
DE - Germania 13
IN - India 10
FR - Francia 9
FI - Finlandia 8
AU - Australia 7
TR - Turchia 6
AR - Argentina 5
UA - Ucraina 5
ZA - Sudafrica 5
CI - Costa d'Avorio 4
JP - Giappone 4
EC - Ecuador 3
NL - Olanda 3
CA - Canada 2
GB - Regno Unito 2
ID - Indonesia 2
BO - Bolivia 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
IQ - Iraq 1
MX - Messico 1
MY - Malesia 1
SA - Arabia Saudita 1
SC - Seychelles 1
VE - Venezuela 1
Totale 1.334
Città #
Santa Clara 281
Fairfield 88
Ashburn 77
Seattle 42
Woodbridge 42
Chandler 37
Houston 36
Cambridge 34
Dublin 29
Hong Kong 27
Singapore 27
Wilmington 27
San Jose 17
Altamura 16
Seoul 16
Lawrence 15
Princeton 13
Beijing 11
Buffalo 11
Jacksonville 11
Hanoi 7
Melbourne 7
Ann Arbor 6
Boston 6
Ho Chi Minh City 6
Venice 6
Clifton 5
Lauterbourg 5
Los Angeles 5
San Diego 5
Abidjan 4
Hefei 4
Moscow 4
Redondo Beach 4
Rio de Janeiro 4
Shanghai 4
São Paulo 4
Tokyo 4
Council Bluffs 3
Dallas 3
Frankfurt am Main 3
Grevenbroich 3
Medford 3
Biên Hòa 2
Boardman 2
Camerino 2
Carapicuíba 2
Chennai 2
Criciúma 2
Düsseldorf 2
Elk Grove Village 2
Izmir 2
Johannesburg 2
Toronto 2
Algiers 1
Andover 1
Araranguá 1
Atlanta 1
Bandung 1
Basra 1
Bergamo 1
Bhubaneswar 1
Brasília 1
Bảo Lộc 1
Cape Town 1
Carmo do Cajuru 1
Centurion 1
Ceres 1
Charlotte 1
Colorado Springs 1
Coro 1
Cuenca 1
Da Nang 1
Durban 1
Florence 1
Guarulhos 1
Guayaquil 1
Haiphong 1
Hillsboro 1
Itabaiana 1
Jakarta 1
Johor Bahru 1
Kent 1
La Plata 1
Las Heras 1
Latacunga 1
Lavras 1
London 1
Mesquita 1
Montevarchi 1
Morro Reuter 1
Mumbai 1
New Albany 1
Norwalk 1
Nova Serrana 1
Padua 1
Panambi 1
Paraipaba 1
Paris 1
Phú Thọ 1
Totale 1.030
Nome #
On-the-fly fluid model checking via discrete time population models 197
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties 189
Model checking mobile stochastic logic 173
Rate-Based Transition Systems for Stochastic Process Calculi 158
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems 158
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination 152
MarCaSPiS: a Markovian Extension of a Calculus for Services 148
On StocS: A Stochastic Extension of SCEL 148
ECAS 2018 Foreword: 3rd Workshop on Engineering Collective Adaptive Systems 23
Totale 1.346
Categoria #
all - tutte 3.657
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 3.657


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20219 0 0 0 0 0 0 0 0 0 0 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/2025464 11 34 21 44 175 142 0 10 7 3 6 11
2025/2026282 17 57 24 32 26 10 41 29 23 19 4 0
Totale 1.346