Computer Science

Description

  

Publications

  • M. Helvensteijn and F. Arbab. "Toward a Formal Foundation for Time Travel in Stories and Games". Theory and Practice of Formal Methods. E. Ábrahám, M. Bonsangue and E. B. Johnsen eds. 2016. pp. 261-276. [More] 
  • M. M. Bonsangue, M. Helvensteijn, J. N. Kok and N. Kokash. "Action Systems for Pharmacokinetic Modeling". From Action Systems to Distributed Systems: The Refinement Approach. 2016. pp. 189–200. [More] 
  • M. Helvensteijn. "The pkgloader and lt3graph Packages: Toward simple and powerful package management for LaTeX", TUGboat: The Communications of the TeX Users Group, Vol. Volume 35. 2014, pp. 47–51. [More] 
  • B. de Bono, P. Grenon, M. Helvensteijn, J. Kok and N. Kokash. "ApiNATOMY: The Generation of Interactive Circuitboard Views of Complex Physiology Knowledge". Proceedings of the Virtual Physiological Human Conference. 2014. [More] 
  • B. de Bono, P. Grenon, M. Helvensteijn, J. Kok and N. Kokash. "ApiNATOMY: Towards Multiscale Views of Human Anatomy", Advances in Intelligent Data Analysis, Vol. XIII. 2014, pp. 72–83. [More]