| 2007 | APLAS | CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. | Jess Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia |
| 2006 | ICASSP | Biomedical Signal Compression With Optimized Wavelets. | Mogens Nielsen, Ernest Nlandu Kamavuako, Michael Midtgaard Andersen, Marie-Franoise Lucas, Dario Farina |
| 2005 | CCS | A framework for concrete reputation-systems with applications to history-based access control. | Karl Krukow, Mogens Nielsen, Vladimiro Sassone |
| 2003 | PPDP | Towards a formal notion of trust. | Mogens Nielsen, Karl Krukow |
| 2003 | SEFM | A Formal Model for Trust in Dynamic Networks. | Marco Carbone, Mogens Nielsen, Vladimiro Sassone |
| 2002 | PPDP | On the expressive power of temporal concurrent constraint programming languages. | Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia |
| 2001 | ICALP | Modelling with Partial Orders - Why and Why Not? | Mogens Nielsen |
| 2000 | STACS | Hereditary History Preserving Bisimilarity Is Undecidable. | Marcin Jurdzinski, Mogens Nielsen |
| 1998 | MFCS | Timed Bisimulation and Open Maps. | Thomas Hune, Mogens Nielsen |
| 1998 | MFCS | Reasoning About the Past. | Mogens Nielsen |
| 1996 | PODC | Automated Logical Verification Based on Trace Abstractions. | Nils Klarlund, Mogens Nielsen, Kim Sunesen |
| 1995 | CONCUR | Characterizing Behavioural Congruences for Petri Nets. | Mogens Nielsen, Lutz Priese, Vladimiro Sassone |
| 1994 | CONCUR | Bisimulation for Models in Concurrency. | Mogens Nielsen, Christian Clausen |
| 1993 | CONCUR | A Classification of Models for Concurrency. | Vladimiro Sassone, Mogens Nielsen, Glynn Winskel |
| 1993 | LICS | Bisimulation and open maps | Andr Joyal, Mogens Nielsen, Glynn Winskel |
| 1993 | MFCS | Deterministic Behavioural Models for Concurrency. | Vladimiro Sassone, Mogens Nielsen, Glynn Winskel |
| 1991 | MFCS | Models for Concurrency. | Mogens Nielsen |
| 1988 | FM | The RAISE Language, Method and Tools. | Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George |