MASSINK, MIEKE
 Distribuzione geografica
Continente #
EU - Europa 40
AS - Asia 26
NA - Nord America 3
Totale 69
Nazione #
IT - Italia 29
SG - Singapore 23
DE - Germania 5
FI - Finlandia 3
US - Stati Uniti d'America 3
CN - Cina 2
AT - Austria 1
FR - Francia 1
JP - Giappone 1
NL - Olanda 1
Totale 69
Città #
Singapore 17
Cecina 8
Pisa 5
Lucca 4
Helsinki 3
Montenero 2
Nuremberg 2
Rome 2
Boardman 1
Forest City 1
Groningen 1
Tokyo 1
Vienna 1
Totale 48
Nome #
Weak simplicial bisimilarity for polyhedral models and SLCSη 11
VoxLogicA: a Spatial-Logic based tool for Declarative Image Analysis 4
A refined mean field approximation of synchronous discrete-time population models 3
VoxLogicA: a spatial model checker for declarative image analysis 3
On binding in the spatial logics for closure spaces 3
Preface of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages 2
Towards model checking video streams using VoxLogicA on GPUs 2
A spatio-temporal model-checker 2
Using UPPAAL for the specification and verification of a lip-sync protocol-full version 2
The SCEL language: design, implementation, verification 2
An attribute-based front-end for FlyFast 2
Towards a GUI for declarative medical image analysis: cognitive and memory load issues 2
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis 1
Towards a logic for performance and mobility 1
International Workshop on Continuity in Future Computer Systems, Apr. 23-24, 2001, Porto, Portugal 1
Model checking UML statechart diagrams using JACK 1
Model checking mobile stochastic logic 1
Foreword - FMICS'05 Tenth International Workshop on Formal Methods for Industrial Critical Systems. 1
Notes on non-Markovian Extension of Value Passing CCS 1
Engineering human flows in smart environments using formal techniques - Full version 1
Preface of the Proceedings Tenth Workshop on Quantitative Aspects of Programming Languages 1
Testing UML statecharts 1
QUANTICOL - Scalability beyond population size and quantitative product family engineering 1
On bisimilarity for polyhedral models and SLCS 1
Automatic verification of a lip-synchronisation protocol using UPPAAL 1
A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems 1
VoxLogicA: Voxel-based Logical Analyser 1
Data verification for collective adaptive systems: spatial model-checking of vehicle location data 1
Innovating Medical Image Analysis via Spatial Logics 1
On testing and conformance relations for UML statechart diagrams behaviours 1
A hands-on introduction to spatial model checking using VoxLogicA 1
Design and optimisation of the flyfast front-end for attribute-based coordination. Preliminary version (revision 0.0) 1
Model checking spatial logics for closure spaces 1
A case study on the automated verification of groupware protocols 1
On StocS: a stochastic extension of SCEL 1
Haptic cues for image disambiguation 1
A Fluid Flow Approach to Usability Analysis of Multi-user Systems 1
Spatio-temporal model-checking for collective adaptive systems 1
On the expressive power of IMLC and ISLCS 1
Analysis of Pointing Tasks on a White Board -- Extended Version 1
MoSL: A Stochastic Logic for StoKLAIM 1
A stochastic extension of a behavioural subset of UML statechart diagrams 1
MarCaSPiS: a Markovian extension of a Calculus for Services 1
QUANTICOL - Foundations of scalable verification for stochastic logics 1
Towards a formal oprational semantics for UML statechert diagrams 1
QUANTICOL - A preliminary investigation of capturing spatial information for CAS 1
SoSL: A Service-Oriented Stochastic Logic 1
Totale 73
Categoria #
all - tutte 3.245
article - articoli 562
book - libri 34
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 317
Totale 4.158


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/202530 8 20 2 0 0 0 0 0 0 0 0 0
Totale 73