MASSINK, MIEKE
 Distribuzione geografica
Continente #
NA - Nord America 812
EU - Europa 222
AS - Asia 132
SA - Sud America 30
AF - Africa 10
OC - Oceania 7
Totale 1.213
Nazione #
US - Stati Uniti d'America 808
RU - Federazione Russa 118
SG - Singapore 39
HK - Hong Kong 33
IE - Irlanda 29
IT - Italia 29
CN - Cina 23
BR - Brasile 22
KR - Corea 16
SE - Svezia 16
DE - Germania 12
FI - Finlandia 8
AU - Australia 7
IN - India 7
TR - Turchia 6
UA - Ucraina 5
ZA - Sudafrica 5
CI - Costa d'Avorio 4
AR - Argentina 3
EC - Ecuador 3
NL - Olanda 3
VN - Vietnam 3
CA - Canada 2
GB - Regno Unito 2
ID - Indonesia 2
JP - Giappone 2
BO - Bolivia 1
DO - Repubblica Dominicana 1
IQ - Iraq 1
MX - Messico 1
SC - Seychelles 1
VE - Venezuela 1
Totale 1.213
Città #
Santa Clara 280
Fairfield 88
Ashburn 51
Seattle 42
Woodbridge 42
Chandler 37
Houston 36
Cambridge 34
Dublin 29
Hong Kong 27
Wilmington 27
Singapore 18
Altamura 16
Seoul 16
Lawrence 15
Princeton 13
Beijing 11
Buffalo 11
Jacksonville 11
Melbourne 7
Ann Arbor 6
Boston 6
Venice 6
Clifton 5
Los Angeles 5
San Diego 5
Abidjan 4
Hefei 4
Moscow 4
Redondo Beach 4
São Paulo 4
Dallas 3
Grevenbroich 3
Medford 3
Rio de Janeiro 3
Boardman 2
Camerino 2
Düsseldorf 2
Elk Grove Village 2
Frankfurt am Main 2
Izmir 2
Johannesburg 2
Tokyo 2
Toronto 2
Andover 1
Araranguá 1
Atlanta 1
Bandung 1
Basra 1
Bhubaneswar 1
Biên Hòa 1
Brasília 1
Cape Town 1
Carapicuíba 1
Carmo do Cajuru 1
Centurion 1
Charlotte 1
Colorado Springs 1
Coro 1
Criciúma 1
Cuenca 1
Da Nang 1
Durban 1
Florence 1
Guarulhos 1
Guayaquil 1
Hillsboro 1
Ho Chi Minh City 1
Itabaiana 1
Jakarta 1
Kent 1
La Plata 1
Las Heras 1
Latacunga 1
Lavras 1
London 1
Mesquita 1
Montevarchi 1
Morro Reuter 1
New Albany 1
Norwalk 1
Nova Serrana 1
Panambi 1
Paraipaba 1
Posadas 1
Quanzhou 1
Raleigh 1
Reston 1
Salt Lake City 1
San Francisco 1
San Francisco de Macorís 1
San Jose 1
Santa Cruz 1
Santo André 1
Shanghai 1
Suffern 1
Tangará da Serra 1
Tepic 1
The Dalles 1
University Center 1
Totale 950
Nome #
On-the-fly fluid model checking via discrete time population models 179
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties 178
Model checking mobile stochastic logic 159
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems 146
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination 144
Rate-Based Transition Systems for Stochastic Process Calculi 143
MarCaSPiS: a Markovian Extension of a Calculus for Services 138
On StocS: A Stochastic Extension of SCEL 136
Totale 1.223
Categoria #
all - tutte 3.282
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.282


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202138 0 0 0 0 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/2025464 11 34 21 44 175 142 0 10 7 3 6 11
2025/2026159 17 57 24 32 26 3 0 0 0 0 0 0
Totale 1.223