Michiel Helvensteijn

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 2

Top Topics

Explanation Based Generalization

Statistical Modeling

Top Venues

Math. Struct. Comput. Sci.

Publications

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