| 2016 | FM | Discounted Duration Calculus. | Heinrich Ody, Martin Frnzle, Michael R. Hansen |
| 2011 | TIME | On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic. | Michael R. Hansen, Aske Wiid Brekling |
| 2010 | WoWMoM | DEHAR: A distributed energy harvesting aware routing algorithm for ad-hoc multi-hop wireless sensor networks. | Mikkel Koefoed Jakobsen, Jan Madsen, Michael R. Hansen |
| 2008 | ICSoft | Declarative Business Process Modelling and the Generation of ERP Systems. | Nicholas Poul Schultz-Mller, Christian Hlmer, Michael R. Hansen |
| 2008 | ICSoft | Generation of ERP Systems from REA Specifications. | Nicholas Poul Schultz-Mller, Christian Hlmer, Michael R. Hansen |
| 2008 | ICSoft | Faults Analysis in Distributed Systems - Quantitative Estimation of Reliability and Resource Requirements. | Christian Dauer Thorenfeldt Sellberg, Michael R. Hansen, Paul Fischer |
| 2008 | SEFM | Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations. | Martin Frnzle, Michael R. Hansen |
| 2007 | CSR | Timed Traces and Strand Spaces. | Robin Sharp, Michael R. Hansen |
| 2007 | TACAS | Deciding an Interval Logic with Accumulated Durations. | Martin Frnzle, Michael R. Hansen |
| 2005 | ICTAC | A Robust Interpretation of Duration Calculus. | Martin Frnzle, Michael R. Hansen |
| 2004 | SAC | Generating web-based systems from specifications. | Tue Becher Jensen, Terkel K. Tolstrup, Michael R. Hansen |
| 2003 | CCS | Using interval logics for temporal analysis of security protocols. | Michael R. Hansen, Robin Sharp |
| 1996 | FORTE | A Timed Semantics for SDL. | Simon Mrk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp |
| 1993 | STACS | Decidability and Undecidability Results for Duration Calculus. | Zhou Chaochen, Michael R. Hansen, Peter Sestoft |
| 1990 | MFCS | Specification & Verification of Higher Order Processes. | Michael R. Hansen, Zhou Chaochen |
| 1983 | BTW | Eine sequelartige Sprachschnittstelle fr das NF2-Modell. | Peter Pistor, Bo S. Hansen, Michael R. Hansen |