CURRICULUM VITAE

Contents

CV in pdf

Personal details

Name Mogens Nielsen
Address, work Aarhus Graduate School of Science
Faculty of Science
University of Aarhus
Ny Munkegade Bldg 1520
8000 Aarhus C
Denmark
Tel:
Mobile:
Email:
Web:
+ 45 8942 3610
+ 45 2338 2260
mn@science.au.dk
person.au.dk/mn@science
Address, home Rørsangervej 19
8382 Hinnerup
Denmark
Tel: + 45 8698 7383
Nationality Danish
Born September 15, 1949
Family Married, two daughters
Honours Knight of the Dannebrog Order, 1.

Education

Employment Denmark

Employment abroad

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 the University of Aarhus. Supervisor for a total of 43 MSc students in Computer Science at the University of Aarhus. External examiner more than 30 PhD dissertations in Denmark and abroad. Internal PhD examiner for more than 50 PhD dissertations at the University of Aarhus.

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

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 the University of Aarhus, including recently

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.

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. Director of BRICS International PhD School founded by the Danish National Research Foundation, since 1997.

Holder of various other international and national research and training grants, most recently

Member of the editorial/advisory board for

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

Chairman/member of program committees for international conferences, including recently

Professional Activities

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

Member of many international educational policy committees, including presently

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

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

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

Dissemination

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

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

Publications

    Editor

  1. 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.
  2. 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.
  3. Mogens Nielsen and Branislav Rovan, editors.
    Mathematical Foundations of Computer Science 2000, special issue of Theoretical Computer Science, 340, 2005.
  4. 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.
  5. 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.
  6. 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.
  7. Mogens Nielsen, editor.
    Current Trends in Theoretical Computer Science - Entering the 21st Century, chapter Concurrency, pages 437-542.
    World Scientific, 2001.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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

  17. Karl Krukow, Mogens Nielsen, and Vladimiro Sassone.
    Trust Models in Ubiquitous Computing.
    Philosophical Transactions of The Royal Society, 366,1881: 3781-3793, 2008.
  18. Karl Krukow, Mogens Nielsen, and Vladimiro Sassone.
    A Logical Framework for Reputation Systems.
    Journal of Computer Security, 16,1: 63-101, 2008.
  19. Karl Krukow, Mogens Nielsen, and Vladimiro Sassone.
    A Bayesian Model for Event-based Trust.
    Electronic Notes in Theoretical Computer Science, 172: 499--521, 2007.
  20. Karl Krukow and Mogens Nielsen.
    Trust Structures.
    International Journal of Information Security, 6(2-3): 153--181, 2007.
  21. Marco Carbone, Mogens Nielsen, and Vladimiro Sassone.
    Trust in Global Computing.
    In Associaltion for Logic programmaing Newsletter, vol 17, no 4, 2004.
  22. 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.
  23. Marcin Jurdzinski, Mogens Nielsen, and Jirí Srba.
    Undecidability of domino games and hhp-bisimilarity.
    Information and Computation, 184(2):343-368, 2003.
  24. Mogens Nielsen and Frank D. Valencia.
    Temporal constraint programming: A framework for discrete-timed systems.
    Association for Logic Programming Newsletter, 15(4), 2003.
  25. 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.
  26. Mogens Nielsen and Thomas S. Hune.
    Bisimulation and open maps for timed transition systems.
    Fundamenta Informaticae, 38(1-2):61-77, 1999.
  27. Allan Cheng and Mogens Nielsen.
    Open maps, behavioural equivalences, and congruences.
    Theoretical Computer Science, 190(1):87-112, 1998.
  28. André Joyal, Mogens Nielsen, and Glynn Winskel.
    Bisimulation from open maps.
    Information and Computation, 127(2):164-185, 1996.
  29. Mogens Nielsen and Glynn Winskel.
    Petri nets and bisimulation.
    Theoretical Computer Science, 153(1-2):211-244, 1996.
  30. Vladimiro Sassone, Mogens Nielsen, and Glynn Winskel.
    Models for concurrency: Towards a classification.
    Theoretical Computer Science, 170(1-2):297-348, 1996.
  31. Mogens Nielsen and Christian Clausen.
    Games and logics for a noninterleaving bisimulation.
    Nordic Journal of Computing, 2:222-250, 1995.
  32. Mogens Nielsen, Grzegorz Rozenberg, and P. S. Thiagarajan.
    Transition systems, event structures, and unfoldings.
    Information and Computation, 118(2):191-207, 1995.
  33. Javier Esparza and Mogens Nielsen.
    Decidability in Petri nets - A survey.
    Bulletin of the EATCS, 52:244-262, 1994.
  34. Javier Esparza and Mogens Nielsen.
    Decidability issues for Petri nets.
    Journal of Information Processing and Cybernet. EIK, 30(3):143-160, 1994.
  35. Mogens Nielsen, Grzegorz Rozenberg, and P. S. Thiagarajan.
    Elementary transition systems.
    Theoretical Computer Science, 96(1):3-33, 1992.
  36. M. Nielsen, G. Rozenberg, P. S.Thiagarajan.
    Transition Systems, Event Structures and Unfoldings.
    Information and Computation, 118 (2), 1995, 191-207.
  37. Mogens Nielsen, Grzegorz Rozenberg, and P. S. Thiagarajan.
    Elementary transition systems and refinement.
    Acta Informatica, 29(6-7):555-578, 1992.
  38. Mogens Nielsen, Grzegorz Rozenberg, and P. S. Thiagarajan.
    Behavioural notions for elementary net systems.
    Distributed Computing, 4:45-57, 1990.
  39. César Fernández, Mogens Nielsen, and P. S. Thiagarajan.
    Notions of realizable non-sequential processes.
    Fundamanta Informaticae, 9:421-454, 1986.
  40. Mogens Nielsen, Gordon Plotkin, and Glynn Winskel.
    Petri nets, event structures and domains, part I.
    Theoretical Computer Science, 13(1):85-108, 1981.
  41. Mogens Nielsen.
    EOL systems with control devices.
    Acta Informatica, 4(4):373-386, 1975.
  42. Mogens Nielsen.
    On the decidability of some equivalence problems for D0L-systems.
    Information and Control, 25(2):166-193,1974.
  43. 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.
  44. 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

  45. 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.
  46. 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.
  47. 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.
  48. 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.
  49. 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.
  50. Mogens Nielsen and Glynn Winskel.
    The Book of Traces, chapter Trace Structures and other Models for Concurrency, pages 271-306.
    World Scientific, 1995.
  51. 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.
  52. 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.
  53. 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

  54. 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.
  55. Karl Krukow, Mogens Nielsen, and Vladimiro Sassone.
    Probabilistic Computational Trust.
    In Perspectives in Concurrency Theory, Universities Press, pages 295-316, 2008.
  56. 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.
  57. 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.
  58. 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.
  59. 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.
  60. 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.
  61. 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.
  62. 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.
  63. 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.
  64. 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.
  65. 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.
  66. 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.
  67. 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.
  68. 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.
  69. 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.
  70. 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.
  71. 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.
  72. 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.
  73. 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.
  74. 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.
  75. 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.
  76. 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.
  77. 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.
  78. Nils Klarlund, Kim Sunesen, and Mogens Nielsen.
    Using second-order logic over finite domains for specification and verification.
    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.
  79. 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.
  80. 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.
  81. 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.
  82. 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.
  83. 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.
  84. 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.
  85. 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.
  86. 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.
  87. 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.
  88. Vladimiro Sassone, Mogens Nielsen, and Glynn Winskel.
    A classification 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.
  89. 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.
  90. 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.
  91. 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.
  92. 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.
  93. 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.
  94. 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.
  95. 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.
  96. 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.
  97. 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

  98. 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.
  99. 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
  100. 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.
  101. 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.
  102. 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.
  103. 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.
  104. 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.
  105. 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.
  106. 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.
  107. 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.
  108. 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.
  109. 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.
  110. 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.
  111. 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.
  112. Mogens Nielsen and Christian Clausen.
    Bisimulations, games and logic.
    Technical Report DAIMI PB-467, Department of Computer Science, University of Aarhus, May 1994.
  113. 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.
  114. 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.
  115. 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.
  116. 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.
  117. Glynn Winskel and Mogens Nielsen.
    Models for concurrency.
    Technical Report DAIMI PB-463, Department of Computer Science, University of Aarhus, November 1993.
  118. Glynn Winskel and Mogens Nielsen.
    Models for concurrency.
    Technical Report DAIMI PB-429, Department of Computer Science, University of Aarhus, November 1992.
  119. 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.
  120. 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.
  121. 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.
  122. 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.
  123. 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.
  124. 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.
  125. 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.
  126. 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.
  127. 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.
  128. Mogens Nielsen.
    On decomposition of stochastic finite-state systems.
    Technical Report DAIMI PB-8, Department of Computer Science, University of Aarhus, February 1973.
  129. 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

  130. Glynn Winskel, Mogens Nielsen, and Erik Meineche Schmidt.
    BRICS profile.
    Published by BRICS, Centre of the Danish National Research Foundation, June 1998.
    First edition. 8 pp.
  131. Mogens Nielsen
    Om en Forskerskole (in Danish)
    International forskeruddannelse i Danmark - en model, pages 32-49. Danish National Research Foundation, 1999.
  132. Glynn Winskel and Mogens Nielsen.
    Datalogisk Grundforskning og Informationsteknologi (in Danish)
    Topforskning fra Aarhus Universitet, pages 427-446. Aarhus University Press, 2003.