CURRICULUM VITAE

Contents

• Personal details 
• Education 
• Employment Denmark 
• Employment abroad 
• Teaching 
• Research 
• Professional Activities 
• Dissemination 
• Publications
• Editor 
• Journal Publications 
• Book Chapters 
• Conference Proceedings 
• Research Reports 
• Miscellaneous 

Personal details

Education

• MSc in Computer Science and Mathematics
  Aarhus University, 1973
  Thesis subject: Stochastic Automata
  Supervisor: Professor Brian H. Mayoh 
• PhD in Computer Science
  Aarhus University, 1976
  Thesis subject: Lindenmayer Systems
  Supervisor: Professor Arto Salomaa 

Employment Denmark

• Full Professor in Theoretical Computer Science, Aarhus University, since 2004, emeritus since 2016 
• Vice Dean for Research, Science and Technology, Aarhus University, 2013-2015 
• Head of Aarhus Graduate School of Science, AGSoS, Aarhus University, 2007-2011 
• Associate Professor in Computer Science, Aarhus University, 1977-2004 
• Director of the BRICS International PhD School in Computer Science, Aarhus University, founded by the Danish National Research Foundation, 1997-2007 
• Co-director of the BRICS Research Centre, founded by the Danish National Research Foundation, 1993-1997 

Employment abroad

• Research Associate, Computer Laboratory, Cambridge University, UK, 1986 
• Research Associate, Computer Science Dpt., Edinburgh University, UK, 1977-79 

Honours

• Knight of the Dannebrog Order, 1. 
• Member of Academia Europaea 
• LICS Test-of-Time Award 2013 

Research

Interested generally in Theoretical Computer Science and its applications. Previously active in Theory of Automata and Formal Languages, later in Models, Logics and Languages for Concurrency, and most recently in Global Computing.

Co-founder in 1993 of BRICS, Basic Research in Computer Science, a research centre founded by the Danish National Research Foundation. Founder in 1997 of BRICS International PhD School founded by the Danish National Research Foundation.

Holder of various other international and national research and training grants, including

• Research Training, 2005-2010, the Danish Research Training Council 
• BRICS, 1997-2006, the Danish National Research Foundation 
• Global Computing, 2004-2006, the Villum Kann Rasmussen Foundation 
• Software Verification, 2003-2006, the Danish Research Training Council 
• Interactive Computation, 2001-2004, a Marie Curie Training Site 
• SECURE, 2002-2004, an EU IST project 
• Verification of Mobile Processes, 1997-99, an EU research training grant 
• Foundation of Distributed Systems, 1993-95, an EU Human Capital and Mobility grant 

Member of the editorial/advisory board for e.g.

• Principles of of Security and Trust 2011 
• Theoretical Computer Science since 2002 
• Higher-Order and Symbolic Computation 2002 
• Computer Science Reviews 2005-2013 
• Formal Aspects of Security and Trust 2006-2011 
• Editor of the Concurrency Column in European Association for Theoretical Computer Science, 1993-2002 

Invited lecturer for a number of international conferences in Computer Science, including

• Perspectives in Concurrency, Chennai, India, 2008 
• From Computers to Ubiquitous Computing by 2020, London, UK, 2008 
• Inaugural Symposium on Theoretical Computer Science, ICETCS, Reykjavik, Iceland, 2005 
• Foundations of Global Ubiquitous Computing, FGUC, London, UK, 2004 
• 2'nd UK-UbiNet Workshop, Cambridge, UK, 2004 
• International Conference on Principles and Practice of Declarative Programming, PPDP, Uppsala, Sweden, 2003 
• International Colloquium on Automata, Languages and Programming, ICALP , Crete, Greece, 2001 
• International Conference on Application and Theory of Petri Nets, ICATPN, Newcastle, UK, 2001 
• Mathematical Foundations of Computer Science, MFCS, Brno, Czech Republic, 1998 
• Foundations of Software Technology and Theoretical Computer science, FSTTCS, Bangalore, India,1995 
• International Conference on Concurrency Theory, CONCUR, Uppsala, Sweden, 1994 
• Conference on Current Trends in Theory and Practice of Informatics, SOFSEM, Czech Republic, 1993 

Chairman/member of program committees for international conferences, including

• Annual IEEE Symposium on Logic in Computer Science, LICS'10, '13 
• Privacy, Trust Management and Security, IFIPTM'07, '08, '12, '13 
• Mathematical Foundations of Computer Science, MFCS'95, '96, '98, '00, '07, '12 
• First Conference on Principles of Security and Trust, POST'12 
• Formal Aspects of Security and Trust, FAST '04, '05, '06, '09, '10, '11 
• International Colloquium on Automata, Languages and Programming, ICALP'93, '94, '99, '00. '09 
• Current Trends in Theory and Practice of Informatics, SOFSEM'96, '97, '09 
• Computability in Europe, CiE'08 
• Security Issues in Concurrency, SecCo'07 
• Concurrency Theory, CONCUR'93, '94, '96, '98, '01, '02, '07 
• International Conference on Trust Management, iTrust '06 
• Trustworthy Global Computing, TGC '05 
• Foundations of Computer Security, FCS '04 
• Foundations of Software Science and Computation Structures, FOSSACS '99, '01, '02, '03, '04 
• Foundations of Global Computing, FGC'03 
• International Conference on Application and Theory of Petri Nets, ICATPN'00 
• Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96, '98 
• Colloquium on Trees in Algebra and Programming, CAAP'95, '96 
• Computer Science Logic, CSL'97 

Professional Activities

Chairman and member of many international research boards and panels, including

• Member of the European Research Council, Consolidator Grant Panel PE6, 2011-2018, chair 2014, 2016, 2018 
• Member of the mid-term evaluation committee, Computer Science Department, Technical University of Eindhoven, 2018 
• Member of the Selection Committee, ICREA, Catalonia, 2017 
• Chair of the Evaluation Committee for the PhD School at the IT University, Denmark, 2013 
• Member of the Board of Aarhus University Research Foundation, 2012-2013 
• Member of the Selection Committee for the Gödel Prize, 2009-2012 (chair 2012) 
• Member of the Evaluation Panel for Assessment of Research, Reykjavik University, Iceland, since 2008 (chair 2011 and 2012) 
• Member of the Council of the European Association for Theoretical Computer Science, 1996-2011 (President 2002-2006, Vice-President 2006-2008) 
• Member of the EU Specific Programmme Committee forIDEAS (European Research Council), 2006-2012 
• Member of the Technical Committee of the International Federation for Information Processing, IFIP, TC1: Foundations of Computer Science, since 1999 
• Member of the Advisory Panel for the Icelandic Centre of Excellence in Theoretical Computer Science since 2005 
• Member of the Evaluation Panel for l'Institut National de Recherche en Informatique et en Automatique, INRIA, theme 1C, France, 2006 and 2007 
• Member of the Steering committee for Logic in Computer Science, LICS, 2002-2006 
• Member of the Executive Committee of the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory, SICACT2002-2006 
• Chairman of the International Evaluation Panel for l'Institut National de Recherche en Informatique et en Automatique, INRIA, theme 1C, France 2003 

Member of many international educational policy committees, including

• Co-founder and member of the Board of the European Educational Forum since 1996 
• Member of the Scientific Board of Scuola Galileo, Italy, since 2001 
• Member of the Evaluation Panel for International PhD Schools in Sweden, 2007--2008 
• Member of the Evaluation Panel for IPA, The Netherlands}, 2006 

Chairman and member of many national research committees under the Danish Ministry of Research, including

• Member of the Board of the Danish National Research Foundation, 2006-2011 
• Member of the Board of the Danish Councils for Independent Research, 2004-2006 
• Chairman of the Programme Committee for Danish Information Technology Research Programmes 1998-2000, a member until 2003 
• Member of the committee for the Danish Strategy for IT Research 2002 
• Chairman of Danish National Advisory Board on Computing 1992-96 
• Chairman of the Danish Research Council for Natural Science 1989-91 (a member 1984-91) 
• Chairman of the Joint Committee of the Nordic Natural Science Research Councils 1990-91 
• Member of an evaluation panel for Research and Higher Education in Physics in Denmark 1991-92 
• Chairman of the programme committee for a Danish Research, Technology, and Development Programme in Informatics 1985-89 

Chairman and member of many national educational committees under the Danish Ministry of Education, including

• Member of the Expert Panel for Technological Literacy in the Danish Elementary School, 2018 
• Chairman of Danish Board of External Examiners in Computer Science 1994-1998 

Active in the Aarhus University administration since 1971. Member of numerous administrative bodies, starting as Head of the Department of Computer Science in 1975-77 and 1980-82, including

• Deputy head of the Department of Computer Science 2001-2007 and 2012-2013 
• Member of the board of Friends of the University of Aarhus 1996-2010 
• Chairman of the PhD Committee for Computer Science 1992-2007 
• Member of the Research Committee for Computer Science 2003-2007 
• Member of the Library Committee for Computer Science 1999-2007 
• Member of the Public Image Committee for Computer Science 1998-2007 

Teaching

Taught introductory and advanced computer science courses at university level in a range of areas covering Automata Theory, Formal Languages, Computability, Logic in Computer Science, Semantics, Models for Concurrency, Programming Languages and their Implementations, Functional Programming, Logic Programming, and Expert Systems.

Supervisor for 18 PhD students at Aarhus University. Supervisor for a total of 43 MSc students in Computer Science at Aarhus University. External examiner more than 30 PhD dissertations in Denmark and abroad. Internal PhD examiner for more than 50 PhD dissertations at Aarhus University.

Lecturer at many international summer schools and advanced courses in Computer Science, including recently

• School on Formal Methods for the Design of Computer, Communication and Software Systems, Bertinoro, Italy, 2010 
• Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, Czech Republic, 2008 
• International Conference on Trust Management, Pisa, Italy, 2006 
• Foundations of Security Analysis and Design, FOSAD, Bertinoro, Italy, 2005 
• Advanced Course on Petri Nets, Eichstätt, Germany, 2003 
• Application and Theory of Petri Nets, Aarhus University, 2000 
• Partial Order Methods in Verification, Princeton University, 1997 
• Computational and Syntactic Methods, Mierlo, The Netherlands, 1997 
• Advances in Petri Nets, Saarbrücken, 1996 
• European Summer School in Logic, Language, and Information, Barcelona, 1995 
• Semantics and Logic of Computation, Isaac Newton Institute, Cambridge, 1995 

As one of the co-founders of the European Educational Forum, actively involved in the organization of many international summer schools, see www.win.tue.nl/EEF for details.

Organizer of international summer schools in Computer Science at Aarhus University, including

• Logical Methods, 2001 
• Semantics of Computation, 1999 
• Verification, 1996 
• Logic in Concurrency, 1993 

Lectured on Computer Science outside university, e.g. for Danish television and industry. During the late 1980's actively involved in a major national training programme for high-school teachers in Computer Science.

Dissemination

Active in several research projects involving collaboration with Danish and international industry (some mentioned above). 

Otherwise, actively involved with collaboration with industry e.g. 

• As representative of Aarhus University in the board of IT-Forum, an association of around 500 mainly Danish IT companies, 2015-2019 
• As Vice Dean for Research, Science and Technology, Aarhus University 2013-2015 
• As a member of the Board of Friends of the University of Aarhus - an association organizing events with industry, 1996-2010 

Author of several lecture notes for courses at Aarhus University, including most recently

• M. Nielsen: Limitations of Program Verification, course notes for dModLog, 2005 

In the eighties, co-author with E.M. Schmidt of a number of introductory course notes in Danish, used in a major training activity aimed at teachers from Danish high schools. including

• E.M. Schmidt, M. Nielsen: Algoritmer - Konstruktion og Analyse, 75 pages, 1982 
• E.M. Schmidt, M. Nielsen: Datalogisk Matematik, 78 pages, 1984 
• E.M. Schmidt, M. Nielsen: Træer og Rekursion, 19 pages, 1984 
• E.M. Schmidt, M. Nielsen: Gymal - et sprog og en oversætter, 19 pages, 1986 
• E.M. Schmidt, M. Nielsen: Transitionssystemer, 63 pages, 1988 

Publications

1. Editor
2. Maria Bielikova, Mogens Nielsen, Antonin Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, and Frank Valencia, editors.
   SOFSEM 2009: Theory and Practice of Computer Science, Proceedings Vol. II (Czech Republic, January 25--30, 2009), Charles University in Prague, 132 pages, 2009. 
3. Mogens Nielsen, Antonin Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, and Frank Valencia, editors.
   SOFSEM 2009: Theory and Practice of Computer Science, Proceedings (Czech Republic, January 25--30, 2009), volume 5404 of Lecture Notes in Computer Science. Springer Verlag, 2009. 
4. Mogens Nielsen and Branislav Rovan, editors.
   Mathematical Foundations of Computer Science 2000, special issue of Theoretical Computer Science, 340, 2005. 
5. Mogens Nielsen, editor.
   Current Trends in Theoretical Computer Science - The Challenge of the New Century, vol. 2: Formal Models and Semantics, chapter Concurrency, pages 313-410.
   World Scientific, 2004. 
6. Mogens Nielsen and Uffe H. Engberg, editors.
   Foundations of Software Science and Computation Structures; Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '02, FoSSaCS '02 Proceedings (Grenoble, France, April 10-12, 2002), volume 2303. Berlin: Springer-Verlag, 2002. 
7. Kim G. Larsen and Mogens Nielsen, editors.
   Concurrency Theory: 12th International Conference, CONCUR '01 Proceedings (Aalborg, Denmark, August 21-24, 2001), volume 2154 of Lecture Notes in Computer Science. Springer Verlag, August 2001. 
8. Mogens Nielsen, editor.
   Current Trends in Theoretical Computer Science - Entering the 21st Century, chapter Concurrency, pages 437-542.
   World Scientific, 2001. 
9. Mogens Nielsen and Branislav Rovan, editors.
   Mathematical Foundations of Computer Science: 25th International Symposium, MFCS '00 Proceedings (Bratislava, Slovak Republic, August 28 - September 1, 2000), volume 1893 of Springer Lecture Notes in Computer Science. Springer Verlag, August 2000. 
10. Mogens Nielsen and Dan Simpson, editors.
    21st International Conference on Application and Theory of Petri Nets, ICATPN '00 Proceedings (Aarhus, Denmark, June 26-30, 2000), volume 1825 of Springer Lecture Notes in Computer Science. Springer Verlag, June 2000. 
11. Peter van Emde Boas, Jiri Wiedermann, and Mogens Nielsen, editors.
    26th International Colloquium on Automata, Languages, and Programming, ICALP '99 Proceedings (Prague, Czech Republic July 11-15, 1999), volume 1644 of Lecture Notes in Computer Science. Springer-Verlag, 1999. 
12. Mogens Nielsen and Wolfgang Thomas, editors.
    European Association for Computer Science Logic: 11th International Workshop, CSL '97 Selected Papers (Aarhus, Denmark, August 23-29, 1997), volume 1414 of Lecture Notes in Computer Science. EACSL, Berlin: Springer-Verlag, May 1998. 
13. Mogens Nielsen and Wolfgang Thomas, editors.
    Preliminary Proceedings of the Annual Conference of the European Association for Computer Science Logic, CSL '97 (Aarhus, Denmark, August 23-29, 1997), number NS-97-1 in Notes Series, Department of Computer Science, University of Aarhus, August 1997. BRICS.
    vi+432 pp. 
14. Allan Cheng, Kim G. Larsen, and Mogens Nielsen, editors.
    Programme and Abstracts of the BRICS Autumn School on Verification (Aarhus, Denmark, October 28 - November 1, 1996), number NS-96-2 in Notes Series, Aarhus, August 1996. BRICS, Basic Research in Computer Science.
    ii+18pp. 
15. Peter D. Mosses, Mogens Nielsen, and Michael I. Schwartzbach, editors.
    TAPSOFT '95: Theory and Practice of Software Development, number 915 in Lecture Notes in Computer Science. Springer-Verlag, 1995. 
16. Uffe H. Engberg, Mogens Nielsen, and Glynn Winskel, editors.
    Models, Languages and logics for Concurrent Distributed Systems, CEDISYS Workshop, Aarhus, Denmark, May 21-24, 1991, number DAIMI PB-392 in PB Series, April 1992. 
17. Mogens Nielsen and Erik Meineche Schmidt, editors.
    9th Colloquium on Automata, Languages, and Programming, ICALP '82 Proceedings (Aarhus, Denmark, July 12-16, 1982), volume 140 of Lecture Notes in Computer Science. Springer-Verlag, 1982. Journal Publications
    
18. Mogens Nielsen.
    Trust in Event Structures.
    Theoretical Computer Science., 546:3-6, 2014. 
19. Mogens Nielsen and Karl Krukow.
    Transfer of Trust in Event-based Reputation Systems.
    Theoretical Computer Science, 429: 236-246, 2012. 
20. Karl Krukow, Mogens Nielsen, and Vladimiro Sassone.
    Trust Models in Ubiquitous Computing.
    Philosophical Transactions of The Royal Society, 366,1881: 3781-3793, 2008. 
21. Karl Krukow, Mogens Nielsen, and Vladimiro Sassone.
    A Logical Framework for Reputation Systems.
    Journal of Computer Security, 16,1: 63-101, 2008. 
22. Karl Krukow, Mogens Nielsen, and Vladimiro Sassone.
    A Bayesian Model for Event-based Trust.
    Electronic Notes in Theoretical Computer Science, 172: 499--521, 2007. 
23. Karl Krukow and Mogens Nielsen.
    Trust Structures.
    International Journal of Information Security, 6(2-3): 153--181, 2007. 
24. Marco Carbone, Mogens Nielsen, and Vladimiro Sassone.
    Trust in Global Computing.
    In Associaltion for Logic programmaing Newsletter, vol 17, no 4, 2004. 
25. Vinny Cahill, Elizabeth Gray, Jean-Marc Seigneur, Christian Jensen, Yong Chen, Brian Shand, Nathan Dimmock, Andy Twigg, Jean Bacon, Colin English, Waleed Wagealla, Sotirios Terzis, Paddy Nixon, Giovanna di Marzo Serugendo, Ciaran Bryce, Marco Carbone, Karl Krukow, and Mogens Nielsen.
    Using trust for secure collaboration in uncertain environments.
    IEEE Pervasive Computing -- Mobile and Ubiquitous Systems, 2(3):52-61, 2003. 
26. Marcin Jurdzinski, Mogens Nielsen, and Jirí Srba.
    Undecidability of domino games and hhp-bisimilarity.
    Information and Computation, 184(2):343-368, 2003. 
27. Mogens Nielsen and Frank D. Valencia.
    Temporal constraint programming: A framework for discrete-timed systems.
    Association for Logic Programming Newsletter, 15(4), 2003. 
28. Mogens Nielsen, Catuscia Palamidessi, and Frank D. Valencia.
    Temporal concurrent constraint programming: Denotation, logic and applications.
    Nordic Journal of Computing, 9(2):145-188, 2002. 
29. Mogens Nielsen and Thomas S. Hune.
    Bisimulation and open maps for timed transition systems.
    Fundamenta Informaticae, 38(1-2):61-77, 1999. 
30. Allan Cheng and Mogens Nielsen.
    Open maps, behavioural equivalences, and congruences.
    Theoretical Computer Science, 190(1):87-112, 1998. 
31. André Joyal, Mogens Nielsen, and Glynn Winskel.
    Bisimulation from open maps.
    Information and Computation, 127(2):164-185, 1996. 
32. Mogens Nielsen and Glynn Winskel.
    Petri nets and bisimulation.
    Theoretical Computer Science, 153(1-2):211-244, 1996. 
33. Vladimiro Sassone, Mogens Nielsen, and Glynn Winskel.
    Models for concurrency: Towards a classification.
    Theoretical Computer Science, 170(1-2):297-348, 1996. 
34. Mogens Nielsen and Christian Clausen.
    Games and logics for a noninterleaving bisimulation.
    Nordic Journal of Computing, 2:222-250, 1995. 
35. Mogens Nielsen, Grzegorz Rozenberg, and P. S. Thiagarajan.
    Transition systems, event structures, and unfoldings.
    Information and Computation, 118(2):191-207, 1995. 
36. Javier Esparza and Mogens Nielsen.
    Decidability in Petri nets - A survey.
    Bulletin of the EATCS, 52:244-262, 1994. 
37. Javier Esparza and Mogens Nielsen.
    Decidability issues for Petri nets.
    Journal of Information Processing and Cybernet. EIK, 30(3):143-160, 1994. 
38. Javier Esparza and Mogens Nielsen.
    Decidability issues for Petri nets.
    Petri Nets Newsletters, 94:5-230, 1994. 
39. Mogens Nielsen, Grzegorz Rozenberg, and P. S. Thiagarajan.
    Elementary transition systems.
    Theoretical Computer Science, 96(1):3-33, 1992. 
40. Mogens Nielsen, Grzegorz Rozenberg, and P. S. Thiagarajan.
    Elementary transition systems and refinement.
    Acta Informatica, 29(6-7):555-578, 1992. 
41. Mogens Nielsen, Grzegorz Rozenberg, and P. S. Thiagarajan.
    Behavioural notions for elementary net systems.
    Distributed Computing, 4:45-57, 1990. 
42. César Fernández, Mogens Nielsen, and P. S. Thiagarajan.
    Notions of realizable non-sequential processes.
    Fundamanta Informaticae, 9:421-454, 1986. 
43. Mogens Nielsen, Gordon Plotkin, and Glynn Winskel.
    Petri nets, event structures and domains, part I.
    Theoretical Computer Science, 13(1):85-108, 1981. 
44. Mogens Nielsen.
    EOL systems with control devices.
    Acta Informatica, 4(4):373-386, 1975. 
45. Mogens Nielsen.
    On the decidability of some equivalence problems for D0L-systems.
    Information and Control, 25(2):166-193,1974. 
46. Mogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, and Sven Skyum.
    Nonterminals, homomorphisms and codings in different variations of OL-systems. I. Deterministic systems.
    Acta Informatica, 4(1):87-106, 1974. 
47. Mogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, and Sven Skyum.
    Nonterminals, homomorphisms and codings in different variations of OL-systems. II. Nondeterministic systems.
    Acta Informatica, 3(4):357-364, 1974. Book Chapters
    
48. Kurt Jenssen and Mogens Nielsen.
    Carl Adam Petri: A Tribute from Aarhus.
    To appear in Carl Adam Petri: Ideas, Personality, Impact, Springer Verlag, 2019. 
49. Karl Krukow, Mogens Nielsen, and Vladimiro Sassone.
    Probabilistic Computational Trust.
    In Perspectives in Concurrency Theory, Universities Press, pages 295-316, 2008. 
50. Doina Bucur and Mogens Nielsen.
    Secure Data Flow in a Calculus for Context Awareness.
    In Concurrency, Graphs and Models, pages 439-456, Springer Verlag, 2008. 
51. Gerard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, and Glynn Winskel.
    Twenty Years on: Reflections on the CEDISYS Project.
    In Concurrency, Graphs and Models, pages 757-777, Springer Verlag, 2008. 
52. Mogens Nielsen and Karl Krukow.
    On the Formal Modeling of Trust in Reputation-Based Systems.
    In J. Karhumäki, H. Maurer, G. Paun, G. Rozenberg, editors, Theory Is Forever: Essays Dedicated to Arto Salomaa, pages 192-204, 2004, Springer Verlag, 2004. 
53. Uffe H. Engberg and Mogens Nielsen.
    A calculus of communicating systems with label passing--ten years after.
    In Gordon Plotkin, Colin Stirling, and Mads Tofte, editors, Proof, Language, and Interaction; Essays in Honour of Robin Milner, Foundations of Computing, chapter V, Mobility, pages 599-622. MIT Press, 2000. 
54. Glynn Winskel and Mogens Nielsen.
    Categories in concurrency.
    In Andrew M. Pitts and Peter Dybjer, editors, Semantics and Logics of Computation, Publications of the Newton Institute, pages 299-354. Cambridge University Press, 1997. 
55. Mogens Nielsen and Glynn Winskel.
    The Book of Traces, chapter Trace Structures and other Models for Concurrency, pages 271-306.
    World Scientific, 1995. 
56. Glynn Winskel and Mogens Nielsen.
    Models for concurrency.
    In Samson Abramsky, Doug M. Gabbay, and Tom S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 4, pages 1-148. Oxford University Press, 1995. 
57. Mogens Nielsen and Christian Clausen.
    Bisimulations, games, and logic.
    In J. Karhumäki, H. Maurer, and Grzegorz Rozenberg, editors, Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa, RTTCS '94 Selected Papers, volume 812 of Lecture Notes in Computer Science, pages 289-305. Springer-Verlag, 1994. 
58. Mogens Nielsen.
    A programming language for Lindenmayer systems.
    In Grzegorz Rozenberg and Arto Salomaa, editors, The Book of L, pages 333-344. Springer-Verlag, 1986. 
59. Jean Berstel and Mogens Nielsen.
    The growth range equivalence problem for D0L systems is decidable.
    In Aristid Lindenmayer and Grzegorz Rozenberg, editors, Automata, Languages and Development: At the crossroads of biology, mathematics and computer science (Noordwijkerhout, The Netherlands, 1975), pages 161-178. Amsterdam: North Holland, 1976. Conference Proceedings
    
60. Ehab ElSalamouny, Mogens Nielsen, and Vladimiro Sassone.
    HMM-based Trust Model.
    In proceedings from Formal Aspects in Security and Trust, FAST'09, volume 5893 of Lecture Notes in Computer Science, pages 21-35, Springer Verlag, 2009. 
61. Jesus A. Aranda, Cinzia Di Giusto, Mogens Nielsen, and Frank Valencia.
    CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence.
    In proceedings of Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007), volume 4807 of Lecture Notes in Computer Science, pages 383-398, Springer Verlag, 2007. 
62. Vladimiro Sassone, Karl Krukow, and Mogens Nielsen. Towards a Formal Framework for Computational Trust. In proceedings of 5th International Symposium on Formal Methods for Components and Objects, FMCO'06, volume 4709 of Lecture Notes in Computer Science, pages 175-184, Springer Verlag, 2007. 
63. Karl Krukow and Mogens Nielsen. From Simulations to Theorems: A Position Paper on Research in the Field of Computational Trust. In proceedings of Formal Aspects in Security and Trust, FAST'06, volume 4691 of Lecture Notes in Computer Science, pages 96-111, Springer Verlag, 2007. 
64. Karl Krukow, Mogens Nielsen, and Vladimiro Sassone. A Framework for Concrete Reputation-Systems with Applications to History-Based Access Control. In proceedings of Computer and Communications Security, CCS'05, ACM Press, pages 260-269, 2005. 
65. Marco Carbone, Mogens Nielsen, and Vladimiro Sassone.
    A Calculus for Trust Management.
    In proceedings of Foundations of Software Technology and Theoretical Computer Science, FSTTCS'04, volume 3328 of Lecture Notes in Computer Science, pages 161-173, Springer Verlag, 2004. 
66. Mogens Nielsen and Frank D. Valencia.
    Notes on Timed Concurrent Constraint Programming.
    In Advances in Petri Nets, volume 3098 of Lecture Notes in Computer Science pages 702-741, Springer Verlag, 2003. 
67. Marco Carbone, Mogens Nielsen, and Vladimiro Sassone.
    A formal model for trust in dynamic networks.
    In Antonio Cerone and Peter Lindsay, editors, 1st International Conference on Software Engineering and Formal Methods, SEFM '03 Proceedings (Brisbane, Australia, September 22 - 27, 2003), pages 54-61. IEEE Computer Society, IEEE Press, 2003. 
68. Mogens Nielsen and Karl Krukow.
    Towards a formal notion of trust.
    In Dale Miller, editor, 5th International Conference on Principles and Practice of Declarative Programming, PPDP '03 Proceedings (Uppsala, Sweden, August 27-29, 2003), pages 4-7. Association for Computing Machinery (ACM), ACM Press, 2003. 
69. Mogens Nielsen and Frank D. Valencia.
    Temporal concurrent constraint programming: Applications and behavior.
    In Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, and Arto Salomaa, editors, Formal and Natural Computing, volume 2300 of Lecture Notes in Computer Science, chapter IV, Concurrent Computing, pages 298-324. Springer-Verlag, 2002. 
70. Mogens Nielsen, Catuscia Palamidessi, and Frank D. Valencia.
    A calculus for temporal concurrent constraint programming.
    In Luca Aceto and Prakash Panangaden, editors, Expressiveness in Concurrency: 8th International Workshop, EXPRESS '02 Proceedings (Aalborg, Denmark, August 20, 2001), volume 52(1) of Electronic Notes in Theoretical Computer Science. Short abstract. Elsevier Science Publishers, 2002. 
71. Mogens Nielsen, Catuscia Palamidessi, and Frank D. Valencia.
    On the expressive power of temporal concurrent constraint programming languages.
    In Frank Pfenning, editor, 4th International Conference on Principles and Practice of Declarative Programming, PPDP '02 Proceedings (Pittsburgh, Pennsylvania, USA, October 6-8, 2002), pages 156-167. Association for Computing Machinery (ACM), ACM Press, 2002. 
72. Mogens Nielsen and P. S. Thiagarajan.
    Regular event structures and finite Petri nets: The conflict-free case.
    In Javier Esparza and Charles Lakos, editors, Proceedings of the International Conference on Application and Theory of Petri Nets, 2002, volume 2360 of Lecture Notes in Computer Science, pages 335-393. Springer-Verlag, 2002. 
73. Mogens Nielsen.
    Modelling with partial orders -- Why and why not?
    In Fernando Orejas, Paul Spirakis, and Jan van Leeuwen, editors, 28th International Colloquium on Automata, Languages, and Programming, ICALP '01 Proceedings (Crete, Greece, July 18-12, 2001), volume 2076 of Lecture Notes in Computer Science, pages 61-63. Springer-Verlag, 2001. 
74. Mogens Nielsen, Vladimiro Sassone, and Jirí Srba.
    Properties of distributed timed-arc Petri nets.
    In Ramesh Hariharan, Madhavan Mukund, and V. Vinay, editors, Foundations of Software Technology and Theoretical Computer Science: 21st Conference, FST&TCS '01 Proceedings (Bangalore, India, December 13-15, 2001), volume 2245 of Lecture Notes in Computer Science, pages 280-291. Springer-Verlag, 2001. 
75. Mogens Nielsen, Vladimiro Sassone, and Jirí Srba.
    Towards a notion of distributed time for Petri nets.
    In José-Manuel Colom and Maciej Koutny, editors, 22nd International Conference on Application and Theory of Petri Nets, ICATPN '01 Proceedings (Newcastle upon Tyne, UK, June 25-29, 2001A), volume 2075 of Lecture Notes in Computer Science, pages 23-31. Springer-Verlag, 2001. 
76. Mogens Nielsen, Catuscia Palamidessi, and Frank Valencia.
    A Calculus for Temporal Concurrent Constraint Programming.
    In proceedings from 8'th International Workshop on Expressiveness in Concurrency, EXPRESS ''01, 2001. 
77. Marcin Jurdzinski and Mogens Nielsen.
    Hereditary history preserving bisimilarity is undecidable.
    In Horst Reichel and Sophie Tison, editors, 17th Annual Symposium on Theoretical Aspects of Computer Science Proceedings, STACS '00 Proceedings (Lille, France, February 17-19, 2000), volume 1770 of Lecture Notes in Computer Science, pages 358-369. Springer-Verlag, 2000. 
78. Thomas S. Hune and Mogens Nielsen.
    Timed bisimulation and open maps.
    In Luboš Brim, Jozef Gruska, and Ji rí Zlatuška, editors, Mathematical Foundations of Computer Science: 23rd International Symposium, MFCS '98 Proceedings (Brno, Czech Republic, August 24-28, 1998), volume 1450 of Lecture Notes in Computer Science, pages 378-387. Springer-Verlag, 1998. 
79. Mogens Nielsen.
    Reasoning about the past.
    In Luboš Brim, Jozef Gruska, and Ji rí Zlatuška, editors, Mathematical Foundations of Computer Science: 23rd International Symposium, MFCS '98 Proceedings (Brno, Czech Republic, August 24-28, 1998), volume 1450 of Lecture Notes in Computer Science, pages 117-128. Springer-Verlag, 1998. 
80. Mogens Nielsen and Vladimiro Sassone.
    Petri nets and other models for concurrency.
    In Wolfgang Reisig and Grzegorz Rozenberg, editors, Lectures on Petri Nets I: Basic Models (Daghstuhl, Germany, October 7-18, 1996), volume 1491 of Lecture Notes in Computer Science, pages 587-642. Springer-Verlag, 1998. 
81. Glynn Winskel and Mogens Nielsen.
    Presheaves as transition systems.
    In Doron A. Peled, Vaughan R. Pratt, and Gerard J. Holzmann, editors, Partial Order Methods in Verification, DIMACS Workshop (Princeton, NJ, USA, July 24-26, 1996), volume 29 of Discrete Mathematics and Theoretical Computer Science, pages 129-140. American Mathematical Society, 1997. 
82. Allan Cheng and Mogens Nielsen.
    Open maps, behavioural equivalences and congruences.
    In Hélène Kirchner, editor, Trees in Algebra and Programming: 21st International Colloquium, CAAP '96 Proceedings (Linköping, Sweden, April 22-24, 1996), volume 1059 of Lecture Notes in Computer Science, pages 257-272. Springer-Verlag, 1996. 
83. Nils Klarlund, Mogens Nielsen, and Kim Sunesen.
    Automated logical verification based on trace abstractions.
    In The Fifteenth Annual ACM Symposium on Principles of Distributed Computing, PODC '96 Proceedings (Philadelphia, Pennsylvania, USA, May 23-26, 1996), pages 101-110. Association for Computing Machinery (ACM), ACM Press, 1996. 
84. Nils Klarlund, Kim Sunesen, and Mogens Nielsen.
    A case study in verification based on trace abstractions.
    In Manfred Broy, Stephan Merz, and Katharina Spies, editors, Formal Systems Specification: The RPC-Memory Specification Case Study, FSS '96 Selected Solutions (Dagstuhl, Germany, September 26-30, 1994), volume 1169 of Lecture Notes in Computer Science, pages 341-374. Springer-Verlag, 1996. 
85. Kim Sunesen and Mogens Nielsen.
    Behavioural equivalence for infinite systems -- partially decidable!
    In Jonathan Billington and Wolfgang Reisig, editors, 17th International Conference on Application and Theory of Petri Nets, ICATPN '96 Proceedings (Osaka, Japan, June 24-29, 1996), volume 1091 of Lecture Notes in Computer Science, pages 460-479. Springer-Verlag, 1996. 
86. Glynn Winskel and Mogens Nielsen.
    Presheaves as transition systems.
    In Doron A Peled, Vaughan R. Pratt, and Gerard J. Holzmann, editors, DIMACS Workshop on Partial Order Methods in Verification, POMIV '96 Proceedings (Princeton University, Princeton, New Jersey, USA, July 24-26, 1996), volume 29 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 129-140. American Mathematical Society Press (AMS), 1996. 
87. Mogens Nielsen and Allan Cheng.
    Observing behaviour categorically.
    In P.S. Thiagarajan, editor, Foundations of Software Technology and Theoretical Computer Science: 15th Conference, FST&TCS '95 Proceedings (Bangalore India, December 18-20, 1995), volume 1026 of Lecture Notes in Computer Science, pages 263-278. Springer-Verlag, 1995. 
88. Mogens Nielsen, Lutz Priese, and Vladimiro Sassone.
    Characterizing behavioural congruences for Petri nets.
    In Insup Lee and Scott A. Smolka, editors, Concurrency Theory: 6th International Conference, CONCUR '95 Proceedings (Philadelphia, PA, USA, August 21-24, 1995), volume 962 of Lecture Notes in Computer Science, pages 175-189. Springer-Verlag, 1995. Glynn Winskel and Mogens Nielsen. 
89. Glynn Winskel and Mogens Nielsen.
    Models for Concurrency.
    In Semantics of Logic and Computation), Isaac Newton Institute for Mathematical Sciences, University of Cambridge, 1-78, 1995. 
90. Mogens Nielsen and Christian Clausen.
    Bisimulation for models in concurrency.
    In Bengt Jonsson and Joachim Parrow, editors, Concurrency Theory: 5th International Conference, CONCUR '94 Proceedings (Uppsala, Sweden, August 22-25, 1994), volume 836 of Lecture Notes in Computer Science, pages 385-400. Springer-Verlag, 1994. 
91. Mogens Nielsen, Vladimiro Sassone, and Glynn Winskel.
    Relationships between models for concurrency.
    In J.W. de Bakker, Willem-Paul de Roever, and Grzegorz Rozenberg, editors, A Decade of Concurrency: Reflections and Perspectives, REX School/Symposium, REX '94 Proceedings (Noordwijkerhout, The Netherlands, June 1-4, 1993), volume 803 of Lecture Notes in Computer Science, pages 425-476. Springer-Verlag, 1994. 
92. André Joyal, Mogens Nielsen, and Glynn Winskel.
    Bisimulation and open maps.
    In Eighth Annual IEEE Symposium on Logic in Computer Science, LICS '93 Proceedings (Montreal, Canada, June 19-23, 1993), pages 418-427. IEEE Computer Society, IEEE Press, 1993. 
93. Mogens Nielsen.
    Concurrency - a categorical view.
    In Current Trends in Theory and Practice of Informatics, SOFSEM '93 Proceedings (Hrdonov, Czech Republic, November 21 - December 3, 1993), pages 195-222, 1993. 
94. Vladimiro Sassone, Mogens Nielsen, and Glynn Winskel.
    A hierarchy of models for concurrency.
    In Eike Best, editor, CONCUR '93: 4th International Conference on Concurrency Theory, Hildesheim, Germany, 23-26 August 1993, volume 715 of Lecture Notes in Computer Science, pages 82-96, Springer-Verlag, 1993. 
95. Vladimiro Sassone, Mogens Nielsen, and Glynn Winskel.
    Deterministic behavioural models for concurrency.
    In Andrzej M. Borzyszkowski and Stefan Sokolowski, editors, Proceedings of the 18th Mathematical Foundations of Computer Science (MFCS'93), Gdansk (Polen) 1993, number 711 in Lecture Notes in Computer Science, pages 682-692. Springer-Verlag,1993. 
96. Madhavan Mukund and Mogens Nielsen.
    CCS, location and asynchronous transition systems.
    In R. K. Shyamasundar, editor, Foundations of Software Technology and Theoretical Computer Science, 12th Conference, FSTTCS '92 Proceedings (New Delhi, India, December 18-20, 1992), volume 652 of Lecture Notes in Computer Science, pages 328-341. Springer-Verlag, 1992. 
97. Mogens Nielsen.
    Models for concurrency.
    In Andrzej Tarlecki, editor, Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS '91 Proceedings (Kazimierz Dolny, Poland, September 9-13, 1991), volume 520 of Lecture Notes in Computer Science, pages 43-46. Springer-Verlag, 1991. 
98. Mogens Nielsen, Uffe H. Engberg, and Kim Skak Larsen.
    Fully abstract models for a process language with refinement.
    In J. W. de Bakker, W. P. de Roever, and G. Rozenberg, editors, REX School and Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Noordwijkerhout, The Netherlands, May/June 1988, volume 354 of Lecture Notes in Computer Science, pages 523-548. Springer-Verlag, 1989. 
99. Mogens Nielsen.
    Partial Order Semantics..
    REX Workshop on Linear Time, and Partial Order in Logics and Models for Concurrency}, the Netherlands, 1988. 
100. Mogens Nielsen.
     CCS - and its relationship to net theory.
     In Wilfried Brauer, Wolfgang Reisig, and Grzegorz Rozenberg, editors, Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, September 8-19, 1986, volume 255 of Lecture Notes in Computer Science, pages 393-415. Springer-Verlag, 1986. 
101. César Fernández, Mogens Nielsen, and P. S. Thiagarajan.
     A note on observable occurrence nets.
     In Grzegorz Rozenberg, Hartmann J. Genrich, and Gérard Roucairol, editors, Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets,, volume 188 of Lecture Notes in Computer Science, pages 122-138. Springer-Verlag, 1985. 
102. Mogens Nielsen and P. S. Thiagarajan.
     Degrees of non-determinism and concurrency: A Petri net view.
     In Mathai Joseph and R. K. Shyamasundar, editors, Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, FSTTCS '84 Proceedings (Bangalore, India, December 13-15, 1984), volume 181 of Lecture Notes in Computer Science, pages 89-117. Springer-Verlag, 1984. 
103. Mogens Nielsen, Gordon Plotkin, and Glynn Winskel.
     Petri nets, event structures and domains.
     In Gilles Kahn, editor, Semantics of Concurrent Computation, Proceedings of the International Sympoisum, Evian, France, July 2-4, 1979, volume 70 of Lecture Notes in Computer Science, pages 266-285. Springer-Verlag, 1979. 
104. Mogens Nielsen.
     Equivalence of L systems.
     In Grzegorz Rozenberg and Arto Salomaa, editors, L Systems, volume 15 of Lecture Notes in Computer Science, pages 142-145. Springer-Verlag, 1974. Research Reports
     
105. Karl Krukow, Mogens Nielsen, and Vladimiro Sassone.
     A Framework for Concrete Reputation-Systems.
     Research Series RS-05-23, BRICS, Basic Research in Computer Science, Aarhus, July 2005. 
106. Mogens Nielsen, Catuscia Palamidessi, and Frank D. Valencia.
     On the expressive power of concurrent constraint programming languages.
     Research Series RS-02-22, BRICS, Basic Research in Computer Science, Aarhus, May 2002.
     34 pp. Version appears in Pfenning, editor, 4th International Conference on Principles and Practice of Declarative Programming, PPDP '02 Proceedings, 2002, pages 156-157 
107. Mogens Nielsen and Frank D. Valencia.
     Temporal concurrent constraint programming: Applications and behavior.
     Research Series RS-01-48, BRICS, Basic Research in Computer Science, Aarhus, December 2001.
     36 pp. Version appears in Brauer, Ehrig, Karhumäki and Salomaa, editors, Formal and Natural Computing, LNCS 2300, 2001, pages 298-321. 
108. Marcin Jurdzinski and Mogens Nielsen.
     Hereditary history preserving bisimilarity is undecidable.
     Research Series RS-99-19, BRICS, Basic Research in Computer Science, Aarhus, June 1999.
     18 pp. An extended abstract appears in Reichel and Tison, editors, 17th Annual Symposium on Theoretical Aspects of Computer Science Proceedings, STACS '00 Proceedings, LNCS 1770, 2000, pages 358-369. 
109. Marcin Jurdzinski and Mogens Nielsen.
     Hereditary history preserving simulation is undecidable.
     Research Series RS-99-1, BRICS, Basic Research in Computer Science, Aarhus, January 1999.
     15 pp. 
110. Mogens Nielsen and Thomas S. Hune.
     Timed bisimulation and open maps.
     Research Series RS-98-4, BRICS, Basic Research in Computer Science, Aarhus, February 1998.
     27 pp. Version appears in Brim, Gruska and Zlatuška, editors, Mathematical Foundations of Computer Science: 23rd International Symposium, MFCS '98 Proceedings, LNCS 1450, 1998, pages 378-387. 
111. Allan Cheng and Mogens Nielsen.
     Open maps, behavioural equivalences, and congruences.
     Research Series RS-96-2, BRICS, Basic Research in Computer Science, Aarhus, January 1996.
     25 pp. A short version of this paper appeared in Kirchner, editor, Trees in Algebra and Programming: 21st International Colloquium, CAAP '96 Proceedings, LNCS 1059, 1996, pages 257-272, and a full version appears in Theoretical Computer Science, 190(1):87-112, January 1998. 
112. Allan Cheng and Mogens Nielsen.
     Open maps (at) work.
     Research Series RS-95-23, BRICS, Basic Research in Computer Science, Aarhus, April 1995.
     33 pp. Modified version appears with the title Observing Behaviour Categorically in Thiagarajan, editor, Foundations of Software Technology and Theoretical Computer Science: 15th Conference, FST&TCS '95 Proceedings, LNCS 1026, 1995, pages 263-278. 
113. Nils Klarlund, Mogens Nielsen, and Kim Sunesen.
     Automated logical verification based on trace abstractions.
     Research Series RS-95-53, BRICS, Basic Research in Computer Science, Aarhus, November 1995.
     19 pp. Version appears in The Fifteenth Annual ACM Symposium on Principles of Distributed Computing, PODC '96 Proceedings, 1996, pages 101-110. 
114. Nils Klarlund, Mogens Nielsen, and Kim Sunesen.
     A case study in automated verification based on trace abstractions.
     Research Series RS-95-54, BRICS, Basic Research in Computer Science, Aarhus, November 1995.
     35 pp. Full version appears in Broy, Merz and Spies, editors, Formal Systems Specification: The RPC-Memory Specification Case Study, FSS '96 Selected Solutions, LNCS 1169, 1996, pages 341-374, under the title Using Monadic Second-Order Logic over Finite Domains for Specification and Verification. 
115. Mogens Nielsen and Kim Sunesen.
     Behavioural equivalence for infinite systems -- partially decidable!
     Research Series RS-95-55, BRICS, Basic Research in Computer Science, Aarhus, November 1995.
     38 pp. Full version of paper appearing in Billington and Reisig, editors, 17th International Conference on Application and Theory of Petri Nets, ICATPN '96 Proceedings, LNCS 1091, 1996, pages 460-479. 
116. Mogens Nielsen and Glynn Winskel.
     Petri nets and bisimulations.
     Research Series RS-95-4, BRICS, Basic Research in Computer Science, Aarhus, January 1995.
     36 pp. Version appears in Theoretical Computer Science 153(1-2):211-244, January 1996. 
117. Javier Esparza and Mogens Nielsen.
     Decidability issues for Petri nets.
     Research Series RS-94-8, BRICS, Basic Research in Computer Science, Aarhus, May 1994.
     23 pp. Version appears in Journal of Information Processing and Cybernet. EIK, 30:143-160, 1994. 
118. André Joyal, Mogens Nielsen, and Glynn Winskel.
     Bisimulation from open maps.
     Research Series RS-94-7, BRICS, Basic Research in Computer Science, Aarhus, May 1994.
     42 pp. Version appears in LICS '93 special issue of Information and Computation, 127(2):164-185, June 1986. 
119. Mogens Nielsen and Christian Clausen.
     Bisimulations, games and logic.
     Technical Report DAIMI PB-467, Department of Computer Science, University of Aarhus, May 1994. 
120. Mogens Nielsen and Christian Clausen.
     Bisimulations, games, and logic.
     Research Series RS-94-6, BRICS, Basic Research in Computer Science, Aarhus, April 1994.
     37 pp. Full version of paper appearing in Karhumäki, Maurer and Rozenberg, editors, Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa, RTTCS '94 Selected Papers, LNCS 812, 1994, pages 289-305. 
121. Mogens Nielsen and Glynn Winskel.
     Petri nets and bisimulations.
     Research Series RS-94-15, BRICS, Basic Research in Computer Science, Aarhus, May 1994.
     36 pp. Please refer to the revised and corrected version BRICS-RS-95-4. 
122. Glynn Winskel and Mogens Nielsen.
     Models for concurrency.
     Research Series RS-94-12, BRICS, Basic Research in Computer Science, Aarhus, May 1994.
     144 pp. Appears as a chapter in the Handbook of Logic and the Foundations of Computer Science, vol. 4, pages 1-148, Oxford University Press, 1995. 
123. Mogens Nielsen, Vladimiro Sassone, and Glynn Winskel.
     Relationships between models of concurrency.
     Technical Report DAIMI PB-456, Department of Computer Science, University of Aarhus, December 1993. 
124. Glynn Winskel and Mogens Nielsen.
     Models for concurrency.
     Technical Report DAIMI PB-463, Department of Computer Science, University of Aarhus, November 1993. 
125. Glynn Winskel and Mogens Nielsen.
     Models for concurrency.
     Technical Report DAIMI PB-429, Department of Computer Science, University of Aarhus, November 1992. 
126. Mogens Nielsen, Grzegorz Rozenberg, and P. S. Thiagarajan.
     Elementary transition systems and refinement.
     Technical Report DAIMI PB-346, Department of Computer Science, University of Aarhus, March 1991. 
127. Mogens Nielsen, Grzegorz Rozenberg, and P. S. Thiagarajan.
     Transition systems, event structures and unfoldings.
     Technical Report DAIMI PB-353, Department of Computer Science, University of Aarhus, September 1991. 
128. Mogens Nielsen, Grzegorz Rozenberg, and P. S. Thiagarajan.
     Elementary transition systems.
     Technical Report DAIMI PB-310, Department of Computer Science, University of Aarhus, April 1990. 
129. Uffe H. Engberg and Mogens Nielsen.
     A calculus of communicating systems with label passing.
     Technical Report DAIMI PB-208, Department of Computer Science, University of Aarhus, May 1986.
     Presented at the British Colloquium for Theoretical Computer Science, 1986. 
130. César Fernández, Mogens Nielsen, and P. S. Thiagarajan.
     Notions of realizable non-sequential processes.
     Technical Report DAIMI PB-205, Department of Computer Science, University of Aarhus, April 1986. 
131. Mogens Nielsen and P. S. Thiagarajan.
     Degrees of non-determinism and concurrency: A Petri net view.
     Technical Report DAIMI PB-180, Department of Computer Science, University of Aarhus, October 1984. 
132. Jean Berstel and Mogens Nielsen.
     The growth range equivalence problem for D0L: Systems is decidable.
     Technical Report DAIMI PB-50, Department of Computer Science, University of Aarhus, October 1975. 
133. Jean Berstel and Mogens Nielsen.
     EOL and ETOL systems with control devices.
     Technical Report DAIMI PB-37, Department of Computer Science, University of Aarhus, September 1974. 
134. Mogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, and Sven Skyum.
     Nonterminals, homomorphisms and codings in different variations of OL-systems.
     Technical Report DAIMI PB-21, Department of Computer Science, University of Aarhus, January 1974. 
135. Mogens Nielsen.
     On decomposition of stochastic finite-state systems.
     Technical Report DAIMI PB-8, Department of Computer Science, University of Aarhus, February 1973. 
136. Mogens Nielsen.
     On the decidability of some equivalence problems for DOL-systems.
     Technical Report DAIMI PB-20, Department of Computer Science, University of Aarhus, December 1973. Miscellaneous
     
137. Michael E. Caspersen, Ole S. Iversen, Mogens Nielsen, Hermes A. Hjort, Line H. Musaeus.
     Computational Thinking - hvorfor, hvad og hvordan (in Danish).
     Commissioned by The Villum Foundation, 72 pages, 2019. 
138. Kurt Jensen, Karen K. Møller, Mogens Nielsen.
     Grzegorz Rozenberg - A Tribute from Aarhus.
     A Magician in Science, Turku Center for Computer science, Finland, 11-12, 2017. 
139. Mogens Nielsen.
     IT - når det rykker (in Danish)
     25 Søforklaringer, Aarhus Universitetsforlag, 120-133, 2014. 
140. Glynn Winskel and Mogens Nielsen.
     Datalogisk Grundforskning og Informationsteknologi (in Danish)
     Acta Jutlandica, 78(1):427-446, 2003. 
141. Mogens Nielsen
     Om en Forskerskole (in Danish)
     International forskeruddannelse i Danmark - en model, Danish National Research Foundation, pages 32-49, 1999. 
142. Glynn Winskel, Mogens Nielsen, and Erik Meineche Schmidt.
     BRICS profile.
     BRICS, Centre of the Danish National Research Foundation, 1998.
     First edition. 8 pp. 
143. Mogens Nielsen, Erik Meineche Schmidt, and Sven Skyum.
     Teoretisk Datalogi (in Danish).
     CUBUS 1(4): 4-9, 1988. 
144. Mogens Nielsen.
     Den er ikke rigtig klog (in Danish).
     Data og Datamaskiner, Danmarks Radio, pages 60-68, 1984.