Aarhus University Seal

Dansk

You are here: » Mogens Nielsen » Research outputs

About Aarhus University

Mogens Nielsen

1 - 100 out of 118Page size: 100
RSS feed of this list
  1. 2019
  2. Published
    Carl Adam Petri: a tribute from Aarhus. / Jensen, Kurt; Nielsen, Mogens.
    Carl Adam Petri: ideas, personality, impact. ed. / Wolfgang Reisig; Grzegorz Rozenberg. Cham: Springer, 2019. p. 81-84.

    Research output: Contribution to book/anthology/report/proceeding › Book chapter › Communication

  3. 2018
  4. Published
    Computational Thinking — hvorfor, hvad og hvordan? Efter opdrag fra Villum Fondens bestyrelse. / Caspersen, Michael E.; Iversen, Ole Sejer; Nielsen, Mogens et al.
    Aarhus, 2018. 72 p.

    Research output: Book/anthology/dissertation/report › Report › Research

  5. 2017
  6. Published
    Towards Storage of Solar Energy in Photochromic Molecules: Benzannulation of the Dihydroazulene/ Vinylheptafulvene Couple. / Skov, Anders B.; Petersen, Johannes F.; Elm, Jonas et al.
    In: ChemPhotoChem, Vol. 1, No. 5, 05.2017, p. 206-212.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  7. 2016
  8. Published
    Theoretical Investigation of Substituent Effects on the Dihydroazulene/Vinylheptafulvene Photoswitch: Increasing the Energy Storage Capacity. / Hansen, Mia Harring; Elm, Jonas; Olsen, Stine T. et al.
    In: Journal of Physical Chemistry A, Vol. 120, No. 49, 15.12.2016, p. 9782-9793.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  9. Published
    Aromaticity-Controlled Energy Storage Capacity of the Dihydroazulene-Vinylheptafulvene Photochromic System. / Skov, Anders B.; Broman, Soren Lindbaek; Gertsen, Anders S. et al.
    In: Chemistry: A European Journal, Vol. 22, No. 41, 10.2016, p. 14567-14575.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  10. Published
    Azulenium chemistry: towards new derivatives of photochromic dihydroazulenes. / Petersen, Anne Ugleholdt; Jevric, Martyn; Elm, Jonas et al.
    In: Organic & Biomolecular Chemistry, Vol. 14, No. 8, 2016, p. 2403-2412.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  11. Published
    Fine-tuning the lifetimes and energy storage capacities of meta-stable vinylheptafulvenes via substitution at the vinyl position. / Cacciarini, Martina; Jevric, Martyn; Elm, Jonas et al.
    In: RSC Advances, Vol. 6, No. 54, 2016, p. 49003-49010.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  12. 2015
  13. Published
    Towards Solar Energy Storage in the Photochromic Dihydroazulene-Vinylheptafulvene System. / Cacciarini, Martina; Skov, Anders B.; Jevric, Martyn et al.
    In: Chemistry: A European Journal, Vol. 21, No. 20, 11.05.2015, p. 7454-7461.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  14. Published
    Computational Methodology Study of the Optical and Thermochemical Properties of a Molecular Photoswitch. / Olsen, Stine T.; Elm, Jonas; Storm, Freja Eilso et al.
    In: Journal of Physical Chemistry A, Vol. 119, No. 5, 05.02.2015, p. 896-904.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  15. 2014
  16. Published
    Trust in Event Structures. / Nielsen, Mogens.
    In: Theoretical Computer Science, Vol. 546, No. August, 2014, p. 3-6.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  17. 2012
  18. 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 (Lecture Notes in Computer Science, Vol. 7230).

    Research output: Contribution to book/anthology/report/proceeding › Book chapter › Communication

  19. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  20. 2010
  21. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  22. 2009
  23. Published
    Probabilistic Computational Trust. / Krukow, Karl; Nielsen, Mogens; Sassone, Vladimiro.
    Perspectives in Concurrency Theory. Universities Press (India), 2009. p. 295-316.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  24. 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) et al.
    Springer, 2009. 132 p. (Lecture Notes in Computer Science, Vol. 5404).

    Research output: Book/anthology/dissertation/report › Anthology › Research

  25. 2008
  26. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  27. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  28. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  29. Published
    Twenty Years on: Reflections on the CEDISYS Project: Combining True Concurrency with Process Algebra. / Boudol, Gerard; Castellani, Ilaria; Hennessy, Matthew et al.
    In: Lecture Notes in Computer Science, Vol. 5065, 2008, p. 757-777.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  30. 2007
  31. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  32. Published
    CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. / Nielsen, Mogens; Aranda, Jesus A.; Di Giusto, Cinzia et al.
    Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings. ed. / Zhong Shao. Springer, 2007. p. 383-398 (Lecture Notes in Computer Science, Vol. 4807).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  33. 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 (Lecture Notes in Computer Science, Vol. 4691).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  34. 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 (Lecture Notes in Computer Science, Vol. 4709).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  35. Published
    Trust Structures. / Nielsen, Mogens; Krukow, Karl.
    In: International Journal of Information Security, Vol. 6, No. 2-3, 2007, p. 153-181.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  36. 2005
  37. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research

  38. 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: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  39. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Editorial

  40. 2004
  41. 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 (Lecture Notes in Computer Science, Vol. 3328).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

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

    Research output: Book/anthology/dissertation/report › Book › Communication

  43. 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 (Lecture Notes in Computer Science, Vol. 3098).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  44. Published
    On the Formal Modeling of Trust in Reputation-Based Systems. / Nielsen, M.; Krukow, K.; Karhumäki, J. (Editor) et al.
    Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday. Springer, 2004. p. 192-204 (Lecture Notes in Computer Science, Vol. 3113).

    Research output: Contribution to book/anthology/report/proceeding › Book chapter › Research

  45. Published
    Trust in Global Computing. / Carbone, Marco; Nielsen, Mogens; Sassone, V.
    In: Association for Logic Programming Newsletter, Vol. 17, No. 4, 2004.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research

  46. 2003
  47. Published
    A Formal Model for Trust in Dynamic Networks. / Carbone, Marco; Nielsen, Mogens; Sassone, Vladimiro et al.
    First International Conference on Software Engineering and Formal Methods, 2003.Proceedings.. IEEE, 2003. p. 54-61.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  48. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research

  49. 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: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  50. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  51. Published
    Using trust for Secure Collaboration in Uncertain Environments. / Cahill, V.; Gray, E.; Seigneur, J. et al.
    In: I E E E Pervasive Computing, Vol. 2, No. 3, 2003, p. 52-61.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  52. 2002
  53. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Conference article › Research

  54. Published
    Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. / Nielsen, Mogens (Editor); Engberg, Uffe Henrik (Editor).
    Berlin: Springer, 2002. 434 p. (Lecture Notes in Computer Science, Vol. 2303).

    Research output: Book/anthology/dissertation/report › Anthology › Research

  55. 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: Contribution to book/anthology/report/proceeding › Article in proceedings › Research

  56. 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 (Lecture Notes in Computer Science, Vol. 2360).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  57. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research

  58. 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 (Lecture Notes in Computer Science, Vol. 2300).

    Research output: Contribution to book/anthology/report/proceeding › Book chapter › Research

  59. 2001
  60. 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. (Lecture Notes in Computer Science, Vol. 2154).

    Research output: Book/anthology/dissertation/report › Anthology › Research

  61. Published
    Current Trends in Theoretical Computer Science Entering the 21st Century: Concurrency. / Nielsen, Mogens (Editor); Paun, Gheorghe (Editor); Rozenberg, Grzegorz (Editor) et al.
    Washington, D.C.: World Scientific, 2001. 437 p.

    Research output: Book/anthology/dissertation/report › Book › Communication

  62. 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 (Lecture Notes in Computer Science, Vol. 2076).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research

  63. 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: Contribution to book/anthology/report/proceeding › Article in proceedings › Research

  64. 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 (Lecture Notes in Computer Science, Vol. 2245).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  65. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research

  66. 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 (Lecture Notes in Computer Science, Vol. 2075).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  67. 2000
  68. 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: Contribution to book/anthology/report/proceeding › Book chapter › Research

  69. Published
    Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26-30, 2000 Proceedings. / Nielsen, Mogens; Simpson, Dan.
    Springer, 2000. 484 p. (Lecture Notes in Computer Science, Vol. 1825).

    Research output: Book/anthology/dissertation/report › Book › Research

  70. 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 (Lecture Notes in Computer Science, Vol. 1770).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  71. Published
    Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings. / Nielsen, Mogens (Editor); Rovan, Branislav (Editor).
    Springer, 2000. 709 p. (Lecture Notes in Computer Science, Vol. 1893).

    Research output: Book/anthology/dissertation/report › Anthology › Research

  72. 1999
  73. 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. (Lecture Notes in Computer Science, Vol. 1644).

    Research output: Book/anthology/dissertation/report › Anthology › Research

  74. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  75. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research

  76. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research

  77. 1998
  78. Published
    Computer Science Logic: 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23-29, 1997 Selected Papers. / Nielsen, Mogens (Editor); Thomas, Wolfgang (Editor).
    Springer, 1998. 510 p. (Lecture Notes in Computer Science, Vol. 1414).

    Research output: Book/anthology/dissertation/report › Anthology › Research

  79. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  80. 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 (Lecture Notes in Computer Science, Vol. 1491).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  81. 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 (Lecture Notes in Computer Science, Vol. 1450).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  82. 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 (Lecture Notes in Computer Science, Vol. 1450).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  83. 1997
  84. 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: Contribution to book/anthology/report/proceeding › Book chapter › Research

  85. 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: Working paper/Preprint › Working paper › Research

  86. 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: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  87. 1996
  88. 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: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  89. 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 (Lecture Notes in Computer Science, Vol. 1091).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  90. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  91. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  92. 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 (Lecture Notes in Computer Science, Vol. 1059).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  93. Published
    Petri nets and bisimulation. / Nielsen, Mogens; Winskel, Glynn.
    In: Theoretical Computer Science, Vol. 153, No. 1-2, 1996, p. 211-244.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  94. 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: Working paper/Preprint › Working paper › Research

  95. 1995
  96. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research

  97. 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 (Lecture Notes in Computer Science, Vol. 962).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  98. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  99. 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: Contribution to book/anthology/report/proceeding › Book chapter › Research

  100. 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 (Lecture Notes in Computer Science, Vol. 1026).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  101. Published
    Open Maps (at) Work. / Cheng, Allan; Nielsen, Mogens.
    In: B R I C S Report Series, No. RS-95-23, 1995.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research

  102. Published
    TAPSOFT'95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22-26, 1995 Proceedings. / Schwartzbach, Michael Ignatieff (Editor); Mosses, Peter David (Editor); Nielsen, Mogens (Editor).
    Springer, 1995. 810 p. (Lecture Notes in Computer Science, Vol. 915).

    Research output: Book/anthology/dissertation/report › Anthology › Research

  103. Published
    Trace Structures and Other Models for Concurrency. / Nielsen, Mogens; Winskel, Glynn.
    The Book of Traces. ed. / V. Diekert; G. Rozenberg. World Scientific, 1995. p. 271-306.

    Research output: Contribution to book/anthology/report/proceeding › Book chapter › Research

  104. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  105. 1994
  106. Published
    Restoration of a channelized reach of the River Gelså, Denmark: Effects on the macroinvertebrate community. / Friberg, Nikolai; Kronvang, Brian; Svendsen, Lars M. et al.
    In: Aquatic Conservation: Marine and Freshwater Ecosystems, Vol. 4, No. 4, 01.01.1994, p. 289-296.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  107. 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 (Lecture Notes in Computer Science, Vol. 836).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  108. 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 (Lecture Notes in Computer Science, Vol. 812).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  109. Published
    Decidability in Petri Nets - a Survey. / Ezparza, Javier; Nielsen, Mogens.
    In: Bulletin of the European Association for Theoretical Computer Science, Vol. 52, 1994, p. 244-262.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research

  110. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  111. 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 (Lecture Notes in Computer Science, Vol. 803).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  112. 1993
  113. 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 (Lecture Notes in Computer Science, Vol. 715).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  114. 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: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  115. 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 (Lecture Notes in Computer Science, Vol. 711).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  116. Published
    Models for Concurrency. / Winskel, Glynn; Nielsen, Mogens.
    Department of Computer Science, Aarhus University, 1993.

    Research output: Working paper/Preprint › Working paper › Research

  117. 1992
  118. 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 (Lecture Notes in Computer Science, Vol. 652).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  119. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  120. 1991
  121. Published
    Elementary Transition Systems and Refinement. / Nielsen, Mogens; Rozenberg, Grzegorz; Thiagarajan, P. S.
    Department of Computer Science, Aarhus University, 1991.

    Research output: Working paper/Preprint › Working paper › Research

  122. 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 (Lecture Notes in Computer Science, Vol. 520).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  123. 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. (DAIMI PB; No. 392).

    Research output: Book/anthology/dissertation/report › Report › Research

  124. Published
    Transition Systems, Event Structures and Unfoldings. / Nielsen, Mogens; Rozenberg, Grzegorz; Thiagarajan, P. S.
    Department of Computer Science, Aarhus University, 1991.

    Research output: Working paper/Preprint › Working paper › Research

  125. 1990
  126. Published
    Elementary Transition Systems. / Nielsen, Mogens; Rozenberg, Grzegorz; Thiagarajan, P. S.
    Department of Computer Science, Aarhus University, 1990.

    Research output: Working paper/Preprint › Working paper › Research

  127. 1988
  128. 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 (Lecture Notes in Computer Science, Vol. 354).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

Previous 1 2 Next