Michiel Helvensteijn

According to our database1, Michiel Helvensteijn authored at least 12 papers between 2008 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Toward a Formal Foundation for Time Travel in Stories and Games.
Proceedings of the Theory and Practice of Formal Methods, 2016

Action Systems for Pharmacokinetic Modeling.
Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015
Abstract delta modelling.
Mathematical Structures in Computer Science, 2015

2014
ApiNATOMY: Towards Multiscale Views of Human Anatomy.
Proceedings of the Advances in Intelligent Data Analysis XIII, 2014

2012
Delta modeling in practice: a Fredhopper case study.
Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

Delta modeling workflow.
Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

Abstract delta modeling: my research plan.
Proceedings of the 16th International Software Product Line Conference, 2012

Dynamic delta modeling.
Proceedings of the 16th International Software Product Line Conference, 2012

A modal logic for abstract delta modeling.
Proceedings of the 16th International Software Product Line Conference, 2012

2011
HATS Abstract Behavioral Specification: The Architectural View.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

2010
Abstract delta modeling.
Proceedings of the Generative Programming And Component Engineering, 2010

2008
Applying Data Mining to the Study of Joseki.
Proceedings of the Artificial Intelligence in Theory and Practice II, 2008


  Loading...