# Michiel Helvensteijn

According to our database

Collaborative distances:

^{1}, 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