Mogens Nielsen

  1. 2014
  2. Published

    Trust in Event Structures. / Nielsen, Mogens.

    In: Theoretical Computer Science, Vol. 546, No. August, 2014, p. 3-6.

    Research output: Research - peer-reviewJournal article

  3. 2012
  4. Published

    To Dexter - A Tribute from Aarhus. / Schmidt, Erik Meineche; Skyum, Sven; Nielsen, Mogens.

    Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. ed. / Robert L. Constable; Alexandra Silva. Springer, 2012. p. 341.

    Research output: CommunicationBook chapter

  5. Published

    Transfer of Trust in Event-based Reputation Systems. / Nielsen, Mogens; Krukow, Karl.

    In: Theoretical Computer Science, Vol. 429, 2012, p. 236-246.

    Research output: Research - peer-reviewJournal article

  6. 2010
  7. Published

    HMM-based Trust Model. / ElSalamouny, Ehab; Nielsen, Mogens; Sassone, Vladimiro.

    In: Lecture Notes in Computer Science, Vol. 5983, 2010, p. 21-35.

    Research output: Research - peer-reviewJournal article

  8. 2009
  9. Published

    Probabilistic Computational Trust. / Krukow, Karl; Nielsen, Mogens; Sassone, Vladimiro.

    Perspectives in Concurrency Theory. Universities Press (India), 2009. p. 295-316.

    Research output: Research - peer-reviewArticle in proceedings

  10. Published

    SOFSEM 2009: Theory and Practice of Computer Science : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings. / Bielikova, Maria (Editor); Nielsen, Mogens (Editor); Kucera, Antonin (Editor); Miltersen, Peter Bro (Editor); Palamidessi, Catuscia (Editor); Tuma, Petr (Editor); Valencia, Frank (Editor).

    Springer, 2009. 132 p.

    Research output: ResearchAnthology

  11. 2008
  12. Published

    Trust Models in Ubiquitous Computing. / Nielsen, Mogens; Krukow, Karl; Sassone, Vladimiro.

    In: Royal Society of London. Philosophical Transactions. Mathematical, Physical and Engineering Sciences, Vol. 366, No. 1881, 28.10.2008, p. 3781-3793.

    Research output: Research - peer-reviewJournal article

  13. Published

    A Logical Framework for Reputation Systems. / Nielsen, Mogens; Krukow, Karl Kristian; Sassone, Vladimiro.

    In: Journal of Computer Security, Vol. 16, No. 1, 2008, p. 63-101.

    Research output: Research - peer-reviewJournal article

  14. Published

    Secure Data Flow in a Calculus for Context Awareness. / Bucur, Doina; Nielsen, Mogens.

    In: Lecture Notes in Computer Science, Vol. 5065, 2008, p. 439-456.

    Research output: Research - peer-reviewJournal article

  15. Published

    Twenty Years on: Reflections on the CEDISYS Project : Combining True Concurrency with Process Algebra. / Boudol, Gerard; Castellani, Ilaria; Hennessy, Matthew; Nielsen, Mogens; Winskel, Glynn.

    In: Lecture Notes in Computer Science, Vol. 5065, 2008, p. 757-777.

    Research output: Research - peer-reviewJournal article

  16. 2007
  17. Published

    A Bayesian Model for Event-based Trust. / Nielsen, Mogens; Krukow, Karl; Sassone, Vladimiro.

    In: Electronic Notes in Theoretical Computer Science, Vol. 172, 2007, p. 499-521.

    Research output: Research - peer-reviewJournal article

  18. Published

    CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. / Nielsen, Mogens; Aranda, Jesus A.; Di Giusto, Cinzia; Valencia, Frank.

    Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings. ed. / Zhong Shao. Springer, 2007. p. 383-398.

    Research output: Research - peer-reviewArticle in proceedings

  19. Published

    From Simulations to Theorems : A Position Paper on Research in the Field of Computational Trust. / Krukow, Karl Kristian; Nielsen, Mogens.

    Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers. ed. / Theo Dimitrakos; Fabio Martinelli; Peter Y. A. Ryan; Steve Schneider. Springer, 2007. p. 96-111.

    Research output: Research - peer-reviewArticle in proceedings

  20. Published

    Towards a Formal Framework for Computational Trust. / Nielsen, Mogens; Krukow, Karl Kristian; Sassone, Vladimiro.

    Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures. ed. / Frank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever. Springer, 2007. p. 175-184.

    Research output: Research - peer-reviewArticle in proceedings

  21. Published

    Trust Structures. / Nielsen, Mogens; Krukow, Karl.

    In: International Journal of Information Security, Vol. 6, No. 2-3, 2007, p. 153-181.

    Research output: Research - peer-reviewJournal article

  22. 2005
  23. Published

    A Framework for Concrete Reputation-Systems. / Krukow, Karl Kristian; Nielsen, Mogens; Sassone, Vladimiro.

    In: B R I C S Report Series, No. BRICS RS-05-23, 2005, p. 1-48.

    Research output: ResearchJournal article

  24. Published

    A Framework for Concrete Reputation-Systems with Applications to History-Based Access Control. / Krukow, Karl Kristian; Nielsen, Mogens; Sassone, Vladimiro.

    Proc. of 12th ACM Conference on Computer and Communications Security. Association for Computing Machinery, 2005. p. 260-269.

    Research output: Research - peer-reviewArticle in proceedings

  25. Published

    Introduction - Combined TCSA/TCSB issue - Mathematical Foundations of Computer Science 2000. / Nielsen, Mogens (Editor); Rovan, Branislav (Editor).

    In: Theoretical Computer Science, Vol. 340, No. 3, 2005, p. 457-458.

    Research output: ResearchEditorial

  26. 2004
  27. Published

    A Calculus for Trust Management. / Carbone, Marco; Nielsen, Mogens; Sassone, Vladimiro.

    FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings. ed. / Kamal Lodaya; Meena Mahajan. Springer, 2004. p. 161-173.

    Research output: Research - peer-reviewArticle in proceedings

  28. Published

    Current Trends in Theoretical Computer Science - The Challenge of the New Century : Concurrency. / Nielsen, Mogens (Editor).

    World Scientific Publishing Co Pte Ltd, 2004.

    Research output: CommunicationBook

  29. Published

    Notes on Timed Concurrent Constraint Programming. / Nielsen, Mogens; Valencia, Frank D.

    Lectures on Concurrency and Petri Nets: Advances in Petri Nets. ed. / Jörg Desel; Wolfgang Reisig; Grzegorz Rozenberg. Springer, 2004. p. 137-159.

    Research output: Research - peer-reviewArticle in proceedings

  30. Published

    On the Formal Modeling of Trust in Reputation-Based Systems. / Nielsen, M.; Krukow, K.; Karhumäki, J. (Editor); Maurer, H.A. (Editor); Paun, G. (Editor); Rozenberg, G. (Editor).

    Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday. Springer, 2004. p. 192-204.

    Research output: ResearchBook chapter

  31. Published

    Trust in Global Computing. / Carbone, Marco; Nielsen, Mogens; Sassone, V.

    In: Association for Logic Programming Newsletter, Vol. 17, No. 4, 2004.

    Research output: ResearchJournal article

  32. 2003
  33. Published

    A Formal Model for Trust in Dynamic Networks. / Carbone, Marco; Nielsen, Mogens; Sassone, Vladimiro; Cerone, Antonio (Editor); Lindsay, Peter (Editor).

    First International Conference on Software Engineering and Formal Methods, 2003.Proceedings.. IEEE, 2003. p. 54-61.

    Research output: Research - peer-reviewArticle in proceedings

  34. Published

    Temporal constraint programming: A framework for discrete-timed systems. / Nielsen, Mogens; Valencia, Frank D.

    In: Association for Logic Programming Newsletter, Vol. 15, No. 4, 2003.

    Research output: ResearchJournal article

  35. Published

    Towards a Formal Notion of Trust. / Nielsen, Mogens; Krukow, Karl Kristian.

    Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming. Association for Computing Machinery, 2003. p. 4-7.

    Research output: Research - peer-reviewArticle in proceedings

  36. Published

    Undecidability of Domino Games and Hhp-Bisimilarity. / Jurdzinski, M.; Nielsen, M.; Srba, J.

    In: Information and Computation, Vol. 184, No. 2, 2003, p. 343-368.

    Research output: Research - peer-reviewJournal article

  37. Published

    Using trust for Secure Collaboration in Uncertain Environments. / Cahill, V.; Gray, E.; Seigneur, J.; Jensen, C.; Chen, Y.; Shand, B.; Dimmock, N.; Twigg, A.; Bacon, J.; English, C.; Wagealla, W.; Terzis, S.; Nixon, P.; Serugendo, G.d.M.; Bryce, C.; Carbone, M.; Krukow, K.; Nielsen, M.

    In: I E E E Pervasive Computing, Vol. 2, No. 3, 2003, p. 52-61.

    Research output: Research - peer-reviewJournal article

  38. 2002
  39. Published

    A Calculus for Temporal Concurrent Constraint Programming. / Nielsen, Mogens; Palamidessi, Catuscia; Valencia Posso, Frank D.

    In: Electronic Notes in Theoretical Computer Science, No. 1, 2002, p. A-59.

    Research output: ResearchConference article

  40. Published
  41. Published

    On the Expressive Power of Temporal Concurrent Constraint Programming Languages. / Nielsen, Mogens; Palamidessi, Catuscia; Valencia, Frank D.

    Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming. Association for Computing Machinery, 2002. p. 156-167.

    Research output: ResearchArticle in proceedings

  42. Published

    Regular Event Structures and Finite Petri Nets : The Conflict-Free Case. / Nielsen, M.; Thiagarajan, P.S.

    Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24-30, 2002 Proceedings. ed. / Javier Esparza; Charles Lakos. Springer, 2002. p. 467-488.

    Research output: Research - peer-reviewArticle in proceedings

  43. Published

    Temporal Concurrent Constraint Programming : Applications and Behavior. / Nielsen, Mogens; Valencia Posso, Frank Dan.

    Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg. ed. / Wilfried Brauer; Hartmut Ehrig; Juhani Karhumäki; Arto Salomaa. Berlin / Heidelberg : Springer, 2002. p. 298-324.

    Research output: ResearchBook chapter

  44. Published

    Temporal Concurrent Constraint Programming : Denotation, Logic and Applications. / Nielsen, Mogens; Palamidessi, Catuscia; Valencia, Frank Dan.

    In: Nordic Journal of Computing, Vol. 9, No. 2, 2002, p. 145-188.

    Research output: ResearchJournal article

  45. 2001
  46. Published

    CONCUR 2001 - Concurrency Theory : 12th International Conference Aalborg, Denmark, August 20-25, 2001 Proceedings. / Larsen, K.G. (Editor); Nielsen, M. (Editor).

    Berlin / Heidelberg : Springer, 2001. 582 p.

    Research output: ResearchAnthology

  47. Published

    Current Trends in Theoretical Computer Science Entering the 21st Century : Concurrency. / Nielsen, Mogens (Editor); Paun, Gheorghe (Editor); Rozenberg, Grzegorz (Editor); Salomaa, Arto (Editor).

    Washington, D.C. : World Scientific Publishing Co Pte Ltd, 2001. 437 p.

    Research output: CommunicationBook

  48. Published

    Modelling with Partial Orders - Why and Why Not? / Nielsen, Mogens.

    Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings. ed. / Fernando Orejas; Paul G. Spirakis; Jan van Leeuwen. Springer, 2001. p. 61-63.

    Research output: ResearchArticle in proceedings

  49. Published

    On the Power of Labels in Transition Systems. / Srba, Jirí; Guldstrand Larsen, Kim (Editor); Nielsen, Mogens (Editor).

    Lecture Notes in Computer Science: Proceedings of the 12th International Conference on Concurrency Theory. Vol. 2154/2001 2154 of Lecture Notes in Computer Science. ed. Springer, 2001. p. 277-291.

    Research output: ResearchArticle in proceedings

  50. Published

    Properties of Distributed Timed-Arc Petri Nets. / Nielsen, M.; Sassone, V.; Srba, J.

    FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference Bangalore, India, December 13-15, 2001 Proceedings. ed. / Ramesh Hariharan; V. Vinay; Madhavan Mukund. Springer, 2001. p. 280-291.

    Research output: Research - peer-reviewArticle in proceedings

  51. Published

    Temporal Concurrent Constraint Programming : Applications and Behavior. / Nielsen, M.; Valencia, F.D.

    In: B R I C S Report Series, No. RS-01-48, 2001.

    Research output: ResearchJournal article

  52. Published

    Towards a Notion of Distributed Time for Petri Nets. / Nielsen, Mogens; Sassone, Vladimiro; Srba, Jiří.

    Applications and Theory of Petri Nets 2001: 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings. ed. / José-Manuel Colom; Maciej Koutny. Springer, 2001. p. 23-31.

    Research output: Research - peer-reviewArticle in proceedings

  53. 2000
  54. Published

    A Calculus of Communicating Systems with Label Passing – Ten Years After. / Engberg, Uffe Henrik; Nielsen, Mogens.

    Proof, Language, and Interaction: Essays in Honour of Robin Milner. ed. / Gordon D. Plotkin; Colin Stirling; Mads Tofte. MIT Press, 2000. p. 599-622.

    Research output: ResearchBook chapter

  55. Published
  56. Published

    Hereditary History Preserving Bisimilarity Is Undecidable. / Jurdzinski, Marcin; Nielsen, Mogens.

    STACS 2000: 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings. ed. / Horst Reichel; Sophie Tison. Springer, 2000. p. 358-369.

    Research output: Research - peer-reviewArticle in proceedings

  57. Published
  58. 1999
  59. Published

    Automata, Languages and Programming : 26th International Colloquium, ICALP'99 Prague, Czech Republic, July 11-15, 1999 Proceedings. / van Emde Boas, Peter (Editor); Wiedermann, Jiri (Editor); Nielsen, Mogens (Editor).

    Springer, 1999.

    Research output: ResearchAnthology

  60. Published

    Bisimulation and Open Maps for Timed Transition Systems. / Nielsen, Mogens.

    In: Fundamenta Informaticae, Vol. 38, No. 1-2, 1999, p. 61-77.

    Research output: Research - peer-reviewJournal article

  61. Published

    Hereditary History Preserving Bisimilarity Is Undecidable. / Jurdzinski, Marcin; Nielsen, Mogens.

    In: B R I C S Report Series, No. RS-99-19, 1999.

    Research output: ResearchJournal article

  62. Published

    Hereditary history preserving simulation is undecidable. / Jurdzinski, Marcin; Nielsen, Mogens.

    In: B R I C S Report Series, No. RS-99-1, 1999.

    Research output: ResearchJournal article

  63. 1998
  64. Published
  65. Published

    Open maps, behavioural equivalences, and congruences 1. / Cheng, Allan; Nielsen, Mogens.

    In: Theoretical Computer Science, Vol. 190, No. 1, 1998, p. 87-112.

    Research output: Research - peer-reviewJournal article

  66. Published

    Petri nets and other models of concurrency. / Nielsen, Mogens; Sassone, Vladimiro.

    Lectures on Petri Nets I: Basic Models: Advances in Petri Nets. ed. / Wolfgang Reisig; Grzegorz Rozenberg. Springer, 1998. p. 587-642.

    Research output: Research - peer-reviewArticle in proceedings

  67. Published

    Reasoning about the past. / Nielsen, Mogens.

    Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98 Brno, Czech Republic, August 24-28, 1998 Proceedings. ed. / Lubos Brim; Jozef Gruska; Jiri Zlatuska. Springer, 1998. p. 117-128.

    Research output: Research - peer-reviewArticle in proceedings

  68. Published

    Timed bisimulation and open maps. / Hune, Thomas; Nielsen, Mogens.

    Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98 Brno, Czech Republic, August 24-28, 1998 Proceedings. ed. / Lubos Brim; Jozef Gruska; Jiri Zlatuska. Springer, 1998. p. 378-387.

    Research output: Research - peer-reviewArticle in proceedings

  69. 1997
  70. Published

    Categories in Concurrency. / Winskel, Glynn; Nielsen, Mogens.

    Semantics and Logics of Computation. ed. / A. Pitts; P. Dybjer. Cambridge University Press, 1997. p. 299-354.

    Research output: ResearchBook chapter

  71. Published

    Preliminary Proceedings of the Annual Conference of the European Association for Computer Science Logic, CSL '97 : Aarhus, Denmark, August 23-29, 1997. / Nielsen, Mogens (Editor); Thomas, Wolfgang (Editor).

    Department of Computer Science, Aarhus University, 1997.

    Research output: ResearchWorking paper

  72. Published

    Presheaves as transition systems. / Winskel, Glynn; Nielsen, Mogens.

    POMIV '96 Proceedings of the DIMACS workshop on Partial order methods in verification. American Mathematical Society, 1997. p. 129-140.

    Research output: Research - peer-reviewArticle in proceedings

  73. 1996
  74. Published

    Automated logical verification based on trace abstractions. / Klarlund, Nils; Nielsen, Mogens; Sunesen, Kim.

    PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing. Association for Computing Machinery, 1996. p. 101-110.

    Research output: Research - peer-reviewArticle in proceedings

  75. Published

    Behavioural equivalence for infinite systems - Partially decidable! / Sunesen, Kim; Nielsen, Mogens.

    Application and Theory of Petri Nets 1996: 17th International Conference Osaka, Japan, June 24-28, 1996 Proceedings. ed. / Jonathan Billington; Wolfgang Reisig. Springer, 1996. p. 460-479.

    Research output: Research - peer-reviewArticle in proceedings

  76. Published

    Bisimulation from Open Maps. / Joyal, André; Nielsen, Mogens; Winskel, Glynn.

    In: Information and Computation, Vol. 127, No. 2, 1996, p. 164-185.

    Research output: Research - peer-reviewJournal article

  77. Published

    Models for concurrency: towards a classification. / Sassone, Vladimiro; Nielsen, Mogens; Winskel, Glynn.

    In: Theoretical Computer Science, Vol. 170, No. 1-2, 1996, p. 297-348.

    Research output: Research - peer-reviewJournal article

  78. Published

    Open maps, behavioural equivalences, and congruences. / Cheng, Allan; Nielsen, Mogens.

    Trees in Algebra and Programming - CAAP '96: 21st International Colloquium Linköping, Sweden, April 22-24, 1996 Proceedings. ed. / Helene Kirchner. Springer, 1996. p. 257-271.

    Research output: Research - peer-reviewArticle in proceedings

  79. Published

    Petri nets and bisimulation. / Nielsen, Mogens; Winskel, Glynn.

    In: Theoretical Computer Science, Vol. 153, No. 1-2, 1996, p. 211-244.

    Research output: Research - peer-reviewJournal article

  80. Published

    Programme and Abstracts of the BRICS Autumn School on Verification : Aarhus, Denmark, October 28 - November 1, 1996. / Cheng, Allan (Editor); Larsen, Kim G. (Editor); Nielsen, Mogens (Editor).

    Department of Computer Science, Aarhus University, 1996. p. ii+18.

    Research output: ResearchWorking paper

  81. 1995
  82. Published

    A case study in automated verification based on trace abstractions. / Klarlund, Nils; Nielsen, Mogens; Sunesen, Kim.

    In: B R I C S Report Series, No. RS-95-54, 1995.

    Research output: ResearchJournal article

  83. Published

    Characterizing behavioural congruences for Petri nets. / Nielsen, Mogens; Priese, Lutz; Sassone, Vladimiro.

    CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21-24, 1995 Proceedings. ed. / Insup Lee; Scott A. Smolka. Springer, 1995. p. 175-189.

    Research output: Research - peer-reviewArticle in proceedings

  84. Published

    Games and logics for a noninterleaving bisimulation. / Nielsen, Mogens; Clausen, Christian.

    In: Nordic Journal of Computing, Vol. 2, No. 2, 1995, p. 221-249.

    Research output: Research - peer-reviewJournal article

  85. Published

    Models for Concurrency. / Nielsen, Mogens; Winskel, Glynn.

    Handbook of Logic in Computer Science: vol. 4: Semantic Modelling. ed. / Samson Abramsky; Doug M. Gabbay; Tom S. E. Maibaum. Oxford University Press, 1995. p. 1-148.

    Research output: ResearchBook chapter

  86. Published

    Observing behaviour categorically. / Nielsen, Mogens; Cheng, Allan.

    Foundations of Software Technology and Theoretical Computer Science: 15th Conference Bangalore, India, December 18-20, 1995 Proceedings. ed. / P. S. Thiagarajan. Springer, 1995. p. 263-278.

    Research output: Research - peer-reviewArticle in proceedings

  87. Published

    Open Maps (at) Work. / Cheng, Allan; Nielsen, Mogens.

    In: B R I C S Report Series, No. RS-95-23, 1995.

    Research output: ResearchJournal article

  88. Published
  89. Published

    Trace Structures and Other Models for Concurrency. / Nielsen, Mogens; Winskel, Glynn.

    The Book of Traces. ed. / V. Diekert; G. Rozenberg. World Scientific Publishing Co Pte Ltd, 1995. p. 271-306.

    Research output: ResearchBook chapter

  90. Published

    Transition-Systems, Event Structures, and Unfoldings. / Nielsen, Mogens; Rozenberg, Grzegorz; Thiagarajan, P.S.

    In: Information and Computation, Vol. 118, No. 2, 1995, p. 191-207.

    Research output: Research - peer-reviewJournal article

  91. 1994
  92. Published

    Bisimulation for models in concurrency. / Nielsen, Mogens; Clausen, Christian.

    CONCUR '94: Concurrency Theory: 5th International Conference Uppsala, Sweden, August 22-25, 1994 Proceedings. ed. / Bengt Jonsson; Joachim Parrow. Springer, 1994. p. 385-400.

    Research output: Research - peer-reviewArticle in proceedings

  93. Published

    Bisimulations, games, and logic. / Nielsen, Mogens; Clausen, Christian.

    Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa Graz, Austria, June 10-11, 1994 Proceedings. ed. / Juliani Karhumäki; Hermann Maurer; Grzegorz Rozenberg. Springer, 1994. p. 289-306.

    Research output: Research - peer-reviewArticle in proceedings

  94. Published

    Decidability in Petri Nets - a Survey. / Ezparza, Javier; Nielsen, Mogens.

    In: European Association for Theoretical Computer Science. Bulletin, Vol. 52, 1994, p. 244-262.

    Research output: ResearchJournal article

  95. Published

    Decidability issues for Petri Nets. / Ezparza, Javier; Nielsen, Mogens.

    In: Information Processing and Cybernetics, Vol. 30, No. 3, 1994, p. 143-160.

    Research output: Research - peer-reviewJournal article

  96. Published

    Relationships between models of concurrency. / Nielsen, Mogens; Sassone, Vladimiro; Winskel, Glynn.

    A Decade of Concurrency Reflections and Perspectives: REX School/Symposium Noordwijkerhout, The Netherlands June 1-4, 1993 Proceedings. ed. / J. W. de Bakker; W. -P. de Roever; G. Rozenberg. Springer, 1994. p. 425-476.

    Research output: Research - peer-reviewArticle in proceedings

  97. 1993
  98. Published

    A classification of models for concurrency. / Sassone, Vladimiro; Nielsen, Mogens; Winskel, Glynn.

    CONCUR'93: 4th International Conference on Concurrency Theory Hildesheim, Germany, August 23-26, 1993 Proceedings. ed. / Eike Best. Springer, 1993. p. 82-96.

    Research output: Research - peer-reviewArticle in proceedings

  99. Published

    Bisimulation and open maps. / Joyal, André; Nielsen, Mogens; Winskel, Glynn.

    Proceedings of Eighth Annual IEEE Symposium on Logic in Computer Science, 1993. LICS '93.,. IEEE Computer Society Press, 1993. p. 418-427.

    Research output: Research - peer-reviewArticle in proceedings

  100. Published

    Deterministic behavioural models for concurrency. / Sassone, Vladimiro; Nielsen, Mogens; Winskel, Glynn.

    Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdansk, Poland, August 30-September 3, 1993 Proceedings. ed. / Andrzej M. Borzyszkowski; Stefan Sokolowski. Springer, 1993. p. 682-692.

    Research output: Research - peer-reviewArticle in proceedings

  101. Published

    Models for Concurrency. / Winskel, Glynn; Nielsen, Mogens.

    Department of Computer Science, Aarhus University, 1993.

    Research output: ResearchWorking paper

  102. 1992
  103. Published

    CCS, locations and asynchronous transition systems. / Mukund, Madhavan; Nielsen, Mogens.

    Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18-20, 1992 Proceedings. ed. / Rudrapatna Shyamasundar. Springer, 1992. p. 328-341.

    Research output: Research - peer-reviewArticle in proceedings

  104. Published

    Elementary transition systems. / Nielsen, Mogens; Rozenberg, Grzegorz; Thiagarajan, P.S.

    In: Theoretical Computer Science, Vol. 96, No. 1, 1992, p. 3-33.

    Research output: Research - peer-reviewJournal article

  105. 1991
  106. Published

    Elementary Transition Systems and Refinement. / Nielsen, Mogens; Rozenberg, Grzegorz; Thiagarajan, P. S.

    Department of Computer Science, Aarhus University, 1991.

    Research output: ResearchWorking paper

  107. Published

    Models for concurrency. / Nielsen, Mogens.

    Mathematical Foundations of Computer Science 1991: 16th International Symposium Kazimierz Dolny, Poland, September 9-13, 1991 Proceedings. ed. / Andrzej Tarlecki. Springer, 1991. p. 43-46.

    Research output: Research - peer-reviewArticle in proceedings

  108. Published

    Models, Languages and Logics for Concurrent Distributed Systems : CEDISYS Workshop (Aarhus, 1991, May 21-24). / Engberg, Uffe Henrik (Editor); Nielsen, Mogens (Editor); Winskel, Glynn (Editor).

    Department of Computer Science, Aarhus University, 1991. 13 p.

    Research output: ResearchReport

  109. Published

    Transition Systems, Event Structures and Unfoldings. / Nielsen, Mogens; Rozenberg, Grzegorz; Thiagarajan, P. S.

    Department of Computer Science, Aarhus University, 1991.

    Research output: ResearchWorking paper

  110. 1990
  111. Published

    Elementary Transition Systems. / Nielsen, Mogens; Rozenberg, Grzegorz; Thiagarajan, P. S.

    Department of Computer Science, Aarhus University, 1990.

    Research output: ResearchWorking paper

  112. 1988
  113. Published

    Fully abstract models for a process language with refinement. / Nielsen, Mogens; Engberg, Uffe Henrik; Larsen, Kim Skak.

    REX Workshop: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop. ed. / J. W. de Bakker; Willem P. de Roever; Grzegorz Rozenberg. Springer, 1988. p. 523-548.

    Research output: Research - peer-reviewArticle in proceedings

  114. 1987
  115. Published

    CCS - and its relationship to net theory. / Nielsen, Mogens.

    Petri Nets: Applications and Relationships to Other Models of Concurrency: Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.-19. September 1986. ed. / W. Brauer; W. Reisig; G. Rozenberg. Springer, 1987. p. 393-415.

    Research output: Research - peer-reviewArticle in proceedings

  116. 1986
  117. Published

    A Calculus of Communicating Systems with Label Passing. / Engberg, Uffe Henrik; Nielsen, Mogens.

    Aarhus Universitetsforlag, 1986. 38 p.

    Research output: ResearchReport

  118. Published

    A Programming Language for Lindenmayer Systems. / Nielsen, Mogens.

    The Book of L. ed. / G. Rozenberg; A. Salomaa. Springer, 1986. p. 333-344.

    Research output: ResearchBook chapter

  119. Published

    Notions of Realizable Non-Sequential Processes. / Fernández, César; Nielsen, Mogens; Thiagarajan, P. S.

    Department of Computer Science, Aarhus University, 1986.

    Research output: ResearchWorking paper

  120. 1985
  121. Published

    A note on observable occurrence nets. / Férnandez, César; Nielsen, Mogens; Thiagarajan, P. S.

    Advances in Petri Nets 1984. ed. / G. Rozenberg. Springer, 1985. p. 122-138.

    Research output: Research - peer-reviewArticle in proceedings

  122. 1984
  123. Published

    Degrees of non-determinism and concurrency: A Petri net view. / Nielsen, Mogens; Thiagarajan, P. S.

    Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13-15, 1984 Proceedings. ed. / Mathai Joseph; Rudrapatna Shyamasundar. Springer, 1984. p. 89-117.

    Research output: Research - peer-reviewArticle in proceedings

  124. 1982
  125. Published
  126. 1981
  127. Published

    Petri nets, event structures and domains, part I. / Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn.

    In: Theoretical Computer Science, Vol. 13, No. 1, 1981, p. 85-108.

    Research output: Research - peer-reviewJournal article

  128. 1979
  129. Published

    Petri nets, event structures and domains. / Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn.

    Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2-4, 1979. ed. / Gilles Kahn. Springer, 1979. p. 266-284.

    Research output: Research - peer-reviewArticle in proceedings

  130. 1976
  131. Published

    The growth range equivalence problem for DOL systems is decidable. / Berstel, Jean; Nielsen, Mogens.

    Automata, Languages, Development: at the crossroads of biology, mathematics and computer science. ed. / A. Lindenmayer; G. Rozenberg. North-Holland, 1976. p. 161-178.

    Research output: ResearchBook chapter

Previous 1 2 Next