CNR Institutional Research Information System

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