Making specifications executable - Using IPTES Meta-IV. - Michael Andersen; René Elmstrøm; Poul Bøgh Lassen; Peter Gorm Larsen (Microprocess. Microprogramming, 1992)

An Executable Subset of VDM-SL, in an SA/RT Framework. - René Elmstrøm; Poul Bøgh Lassen; Michael Andersen (Real Time Syst., 1993)

RPI-MATLAB-Simulator: A Tool for Efficient Research and Practical Teaching in Multibody Dynamics. - Jedediyah Williams; Ying Lu; Sarah Niebe; Michael Andersen; Kenny Erleben; Jeffrey C. Trinkle (VRIPHYS, 2013)

Trends in internet of things platforms. - Michael Andersen (XRDS, 2015)

A Fast Linear Complementarity Problem (LCP) Solver for Separating Fluid-Solid Wall Boundary Conditions. - Michael Andersen; Sarah Niebe; Kenny Erleben (VRIPHYS, 2017)

A fast linear complementarity problem solver for fluid animation using high level algebra interfaces for GPU libraries. - Michael Andersen; Sarah Niebe; Kenny Erleben (Comput. Graph., 2017)