BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Mieke Massink
SearchCollections
Map detail
Mieke Massink13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMieke MassinkAMieke MassinkResearcherProceedings Ninth Workshop on Quantitative Aspects of Programming LanguagesWProceedings Ninth Works...preprint / 2011Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and SystemsWProceedings 10th Worksh...preprint / 2012A Definition Scheme for Quantitative BisimulationWA Definition Scheme for...preprint / 2015Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic CharacterisationsWTowards Spatial Bisimil...preprint / 2020Refined Mean Field Analysis of the Gossip Shuffle Protocol -- extended version --WRefined Mean Field Anal...preprint / 2020On-the-fly Fast Mean-Field Model-Checking: Extended VersionWOn-the-fly Fast Mean-Fi...preprint / 2013Stochastically timed predicate-based communication primitives for autonomic computingWStochastically timed pr...preprint / 2014On-the-fly Probabilistic Model CheckingWOn-the-fly Probabilisti...preprint / 2014Specifying and Verifying Properties of Space - Extended VersionWSpecifying and Verifyin...preprint / 2014From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical ImagingWFrom Collective Adaptiv...preprint / 2016Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model CheckingWWeak Simplicial Bisimil...preprint / 2026CARMA: Collective Adaptive Resource-sharing Markovian AgentsWCARMA: Collective Adapt...preprint / 2015
Person12 links

Mieke Massink

Researcher

PaperProceedings Ninth Workshop on Quantitative Aspects of Programming LanguagesAuthorship / preprint / 2011PaperProceedings 10th Workshop on Quantitative Aspects of Programming Languages and SystemsAuthorship / preprint / 2012PaperA Definition Scheme for Quantitative BisimulationAuthorship / preprint / 2015PaperTowards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic CharacterisationsAuthorship / preprint / 2020PaperRefined Mean Field Analysis of the Gossip Shuffle Protocol -- extended version --Authorship / preprint / 2020PaperOn-the-fly Fast Mean-Field Model-Checking: Extended VersionAuthorship / preprint / 2013PaperStochastically timed predicate-based communication primitives for autonomic computingAuthorship / preprint / 2014PaperOn-the-fly Probabilistic Model CheckingAuthorship / preprint / 2014

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)