CNR Institutional Research Information System

MASSINK, MIEKE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 5.072
NA - Nord America 2.202
EU - Europa 1.179
SA - Sud America 900
AF - Africa 104
OC - Oceania 8
Continente sconosciuto - Info sul continente non disponibili 3
Totale 9.468
Salva come PNG Salva come JPEG
Nazione #
SG - Singapore 2.186
US - Stati Uniti d'America 2.097
CN - Cina 1.213
BR - Brasile 737
HK - Hong Kong 502
VN - Vietnam 454
IT - Italia 326
FR - Francia 268
JP - Giappone 197
KR - Corea 196
NL - Olanda 140
IN - India 85
DE - Germania 76
GB - Regno Unito 76
FI - Finlandia 69
RU - Federazione Russa 63
AR - Argentina 59
CA - Canada 51
MX - Messico 30
ZA - Sudafrica 29
BD - Bangladesh 28
ID - Indonesia 28
AT - Austria 27
IL - Israele 27
ES - Italia 25
EC - Ecuador 23
CO - Colombia 22
PK - Pakistan 22
UA - Ucraina 20
VE - Venezuela 17
EG - Egitto 16
TR - Turchia 16
MA - Marocco 15
SA - Arabia Saudita 15
IE - Irlanda 14
PL - Polonia 14
CL - Cile 13
IQ - Iraq 12
PY - Paraguay 12
UZ - Uzbekistan 12
AE - Emirati Arabi Uniti 11
KE - Kenya 11
JO - Giordania 9
PH - Filippine 9
SE - Svezia 9
NP - Nepal 8
UY - Uruguay 8
AZ - Azerbaigian 7
DZ - Algeria 7
TN - Tunisia 7
AU - Australia 6
CH - Svizzera 6
CZ - Repubblica Ceca 6
PE - Perù 6
KZ - Kazakistan 5
MY - Malesia 5
PT - Portogallo 5
AL - Albania 4
DO - Repubblica Dominicana 4
ET - Etiopia 4
GE - Georgia 4
GR - Grecia 4
JM - Giamaica 4
KG - Kirghizistan 4
LT - Lituania 4
MD - Moldavia 4
PA - Panama 4
BO - Bolivia 3
DK - Danimarca 3
HU - Ungheria 3
RO - Romania 3
TT - Trinidad e Tobago 3
XK - ???statistics.table.value.countryCode.XK??? 3
BB - Barbados 2
CI - Costa d'Avorio 2
GA - Gabon 2
GH - Ghana 2
HN - Honduras 2
IR - Iran 2
LB - Libano 2
MN - Mongolia 2
NZ - Nuova Zelanda 2
PS - Palestinian Territory 2
RS - Serbia 2
SV - El Salvador 2
TH - Thailandia 2
AM - Armenia 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
BE - Belgio 1
BG - Bulgaria 1
BH - Bahrain 1
GD - Grenada 1
GM - Gambi 1
GN - Guinea 1
GT - Guatemala 1
HR - Croazia 1
KH - Cambogia 1
LA - Repubblica Popolare Democratica del Laos 1
LK - Sri Lanka 1
Totale 9.455
Salva come PNG Salva come JPEG
Città #
Singapore 1.364
Santa Clara 668
Hong Kong 495
Hefei 477
San Jose 349
Lauterbourg 220
Ashburn 211
Beijing 205
Seoul 190
Tokyo 157
Ho Chi Minh City 152
Hanoi 116
Los Angeles 98
Dallas 85
Pisa 63
São Paulo 60
New York 58
Cascina 43
Helsinki 38
Rome 31
Minamishinagawa 27
Orem 25
Moscow 24
Rio de Janeiro 23
Da Nang 22
Haiphong 22
Bengaluru 21
Buffalo 21
Belo Horizonte 18
Curitiba 18
Chennai 17
Frankfurt am Main 17
Lappeenranta 16
Montreal 16
Nuremberg 16
Amsterdam 15
Council Bluffs 15
Milan 15
Munich 15
Turku 15
Johannesburg 14
Guarulhos 13
Brooklyn 12
Salvador 12
Toronto 12
Florence 11
Tashkent 11
Vienna 11
Warsaw 11
Brasília 10
London 10
Lucca 10
Mumbai 10
Quito 10
Thái Nguyên 10
Biên Hòa 9
Manchester 9
Amman 8
Cecina 8
Denver 8
Dublin 8
Guangzhou 8
Jakarta 8
Nairobi 8
Recife 8
Santo André 8
Shanghai 8
Baku 7
Boston 7
Campinas 7
Chicago 7
Montevideo 7
Pistoia 7
Ribeirão Preto 7
Stockholm 7
Altopascio 6
Atlanta 6
Bogotá 6
Bắc Ninh 6
Cairo 6
Düsseldorf 6
Goiânia 6
Guayaquil 6
Karachi 6
Lahore 6
Manaus 6
Naples 6
Porto Alegre 6
Riyadh 6
Santiago 6
Washington 6
Asunción 5
Buenos Aires 5
Cape Town 5
Dubai 5
Falkenstein 5
Houston 5
Hòa Bình 5
Jeddah 5
Madrid 5
Totale 5.920
Salva come PNG Salva come JPEG
Nome #
ISTI-day 2025 Proceedings 141
Weak ±-minimisation for model checking polyhedra 102
Minimisation of spatial models using branching bisimilarity (extended version) 91
THE D.3.2.1 - AA@THE User needs, technical requirements and specifications 88
Weak simplicial bisimilarity for polyhedral models and SLCSη 84
Towards a logic for performance and mobility. FULL VERSION 83
Ten years of spatial model checking 83
D3.2.1: AA@THE User needs, technical requirements and specifications 81
QUANTICOL - A quantitative approach to management and design of collective and adaptive behaviours 80
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking 80
Scalable verification for spatial stochastic logics 79
On binding in the spatial logics for closure spaces 78
Automatic verification of UML statechart diagrams using the SPIN model-checher 76
On bisimilarity for polyhedral models and SLCS 75
SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) 74
An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam 73
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis 72
Resilience of Interaction Techniques to Interrupts 72
Specifying and Verifying Properties of Space 69
Towards model checking video streams using VoxLogicA on GPUs 68
Preface of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages 66
On bisimilarity for polyhedral models and SLCS - Preliminary version 66
Towards hybrid-AI in imaging using VoxLogicA 66
Back-and-forth in space: on logics and bisimilarity in closure spaces. Preliminary Extended Version 64
Towards a GUI for declarative medical image analysis: cognitive and memory load issues 64
Geometric model checking of continuous space 64
Querying medical imaging datasets using spatial logics (Position paper) 63
Embedding RCC8D in the collective spatial logic CSLCS 62
Back-and-forth in space: on logics and bisimilarity in closure spaces 62
A graphical user interface for medical image analysis with declarative spatial logic - Cognitive and memory load evaluation 61
Feasibility of Spatial Model Checking for Nevus Segmentation 60
On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics 59
AGILE: Software Architecture for Mobility 59
Minimisation of spatial models using branching bisimilarity 57
A formal testing framework for UML statechart diagrams behaviours: from theory to automatic verification 55
Using UPPAAL for the specification and verification of a lip-sync protocol-full version 55
Quantitative Aspects of Programming Languages and Systems (2011-12). Preface 54
QUANTICOL - D6.1 - Dissemination plan for the project 54
SLCS on face-poset models and bisimilarities on quasi-discrete closure models 54
Modelling and verification of PREMO synchronisable objects 53
A refined mean field approximation of synchronous discrete-time population models 53
On bisimilarity for quasi-discrete closure spaces 53
Locating Knowelegde for Media Synchronization within Intelligent Multimedia Presentation Systems 52
Measured causes: adding time and probability to true concurrency 52
Symbolic and hybrid AI for brain tissue segmentation using spatial model checking 52
Preface. International Journal on Software Tools for Technology Transfer 51
QUANTICOL - The QUANTICOL software tool suite for modelling smart cities 51
A functional approch to testing equivalence 50
Model Checking Dependability Attributes of Wireless Group Communication. Full Version 50
Analysis of a pointing task on a white board 50
On the expressive power of IMLC and ISLCS 50
Design and optimisation of the flyfast front-end for attribute-based coordination. Preliminary version (revision 0.1) 49
Continuous interaction in future computing systems 49
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021) 49
Towards a formal oprational semantics for UML statechert diagrams 49
Spatial Model Checking for Smart Stations: Research Challenges 48
Using spatial logic and model checking for nevus segmentation 48
Spatial logics and model checking for medical imaging 45
Sistemi di Voto Elettronico: l'Esperienza degli USA 45
Continuous interaction in future computing systems 45
Analysis of a pointing tasks on a white board 45
A reference framework for continuous interaction 45
A unified view of spatial representation and analysis techniques 45
Se il computer conta i voti, tutti i voti contano? 44
Formal verification in the design of gestural interaction 43
Model checking UML statechart diagrams using JACK 43
QUANTICOL - CAS-SCEL semantics and implementation 42
A spatio-temporal model-checker 42
TR 11: On STOCS: a stochastic exten- sion of SCEL. 41
Spatio-temporal model-checking for collective adaptive systems 41
VoxLogicA: a spatial model checker for declarative image analysis 41
Using hybrid automata to support human factors analysis in a critical system 41
FAERUS, nell'ambito di RESIST, EU contr. n. 026764 41
QUANTICOL - A preliminary investigation of capturing spatial information for CAS 41
Towards a logic for performance and mobility 40
A topological method for automatic segmentation of glioblastoma in MR FLAIR for radiotherapy 40
A quantitative approach to the design and analysis of collective adaptive systems for smart cities 40
Analysis of Pointing Tasks on a White Board -- Extended Version 40
Resilience of Interaction Techniques to Interrupts: A formal model-based approach 40
TOCAI.IT - D7.1 - Process-oriented models and languages 39
Model checking spatial logics for closure spaces 39
The SCEL language: design, implementation, verification 39
Innovating Medical Image Analysis via Spatial Logics 38
Spatial logic and spatial model checking for closure spaces 38
Quantitative analysis of distributed systems in stoklaim: a tutorial 38
State to function labelled transition systems: a uniform framework for defining stochastic process calculi 37
A hands-on introduction to spatial model checking using VoxLogicA 37
Formal modeling and quantitative analysis of KLAIM-based mobile systems 37
Model checking mobile stochastic logic 36
Exploring spatio-temporal properties of bike-sharing systems 36
SENSORIA - D4.2a - Stochastic logics 36
Spatio-temporal model checking of vehicular movement in public transport systems 36
Stochastically timed predicate-based communication primitives for autonomic computing 35
FSEN 2021 - Fundamentals of Software Engineering 35
SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) 35
Mean runtime analysis of stochastic process algebra using partial orders 35
Towards automatic decision support for bike-sharing system design 35
Continuous interaction with computers: Issues and requirements 35
FlyFast: a scalable approach to probabilistic model-checking based on mean-field approximation 35
Reasoning about interactive systems with stochastic models 35
Totale 5.399
Salva come PNG Salva come JPEG
Categoria #
all - tutte 34.127
article - articoli 5.977
book - libri 358
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.187
Totale 43.649
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202443 0 0 0 0 0 0 0 1 4 5 13 20
2024/20253.465 8 21 303 156 537 210 34 130 65 198 1.004 799
2025/20266.012 288 539 565 917 902 344 1.095 439 411 374 138 0
Totale 9.520