Michiel Helvensteijn

12 papers B 2Journal 1Unranked 8
YearRankTypeTitle / Venue / Authors
2016 — ch.
Action Systems for Pharmacokinetic Modeling.
From Action Systems to Distributed Systems
Marcello M. Bonsangue, Michiel Helvensteijn, Joost N. Kok, Natallia Kokash
2016 — conf
Toward a Formal Foundation for Time Travel in Stories and Games.
Theory and Practice of Formal Methods
Michiel Helvensteijn, Farhad Arbab
2015 J jnl
Abstract delta modelling.
Math. Struct. Comput. Sci.
Dave Clarke, Michiel Helvensteijn, Ina Schaefer
2014 B conf
ApiNATOMY: Towards Multiscale Views of Human Anatomy.
IDA
Bernard de Bono, Pierre Grenon, Michiel Helvensteijn, Joost N. Kok, Natallia Kokash
2012 — conf
A modal logic for abstract delta modeling.
SPLC (2)
Frank S. de Boer, Michiel Helvensteijn, Joost Winter
2012 — conf
Abstract delta modeling: my research plan.
SPLC (2)
Michiel Helvensteijn
2012 — conf
Delta modeling in practice: a Fredhopper case study.
VaMoS
Michiel Helvensteijn, Radu Muschevici, Peter Y. H. Wong
2012 — conf
Delta modeling workflow.
VaMoS
Michiel Helvensteijn
2012 — conf
Dynamic delta modeling.
SPLC (2)
Michiel Helvensteijn
2011 — conf
HATS Abstract Behavioral Specification: The Architectural View.
FMCO
Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, Peter Y. H. Wong
2010 B conf
Abstract delta modeling.
GPCE
Dave Clarke, Michiel Helvensteijn, Ina Schaefer
2008 — conf
Applying Data Mining to the Study of Joseki.
IFIP AI
Michiel Helvensteijn