PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Massink, Mieke"

Author of the publication

copydeleteadd this publication to your clipboard
Continuous interaction in future computing systems.

, , , and . Universal Access in the Information Society, 1 (4): 235-236 (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Massink, Mieke
add a person with the name Massink, Mieke
 

Other publications of authors with the same name

On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination., , and . Sci. Comput. Program., (2015)Continuous interaction in future computing systems., , , and . Universal Access in the Information Society, 1 (4): 235-236 (2002)Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data., , , , and . SASO Workshops, page 32-37. IEEE Computer Society, (2014)Responsible Scientists - A Social-Constructivist Approach., and . IFIP Congress (2), volume A-13 of IFIP Transactions, page 336-343. North-Holland, (1992)Reasoning about Interactive Systems with Stochastic Models., , and . DSV-IS, volume 2220 of Lecture Notes in Computer Science, page 144-163. Springer, (2001)From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging., , , and . FORECAST@STAF, volume 217 of EPTCS, page 81-92. (2016)Spatial Logics and Model Checking for Medical Imaging (Extended Version)., , , , and . CoRR, (2018)CARMA: Collective Adaptive Resource-sharing Markovian Agents., , , , , , , and . QAPL, volume 194 of EPTCS, page 16-31. (2015)AGILE: Software Architecture for Mobility., , , , , , , , , and 15 other author(s). WADT, volume 2755 of Lecture Notes in Computer Science, page 1-33. Springer, (2002)On-the-fly Probabilistic Model Checking., , and . ICE, volume 166 of EPTCS, page 45-59. (2014)