Aarhus University Seal / Aarhus Universitets segl

Mogens Nielsen

  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/proceedingBook chapterCommunication

  3. 2018
  4. Published
  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; Frandsen, Benjamin N.; Santella, Marco; Kilde, Martin Drohse; Kjaergaard, Henrik G.; Mikkelsen, Kurt V.; Nielsen, Mogens Brondsted.

    In: ChemPhotoChem, Vol. 1, No. 5, 05.2017, p. 206-212.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-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.; Gejl, Aske Norskov; Storm, Freja E.; Frandsen, Benjamin N.; Skov, Anders B.; Nielsen, Mogens Brondsted; Kjaergaard, Henrik G.; Mikkelsen, Kurt V.

    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 newspaperJournal articleResearchpeer-review

  9. Published

    Aromaticity-Controlled Energy Storage Capacity of the Dihydroazulene-Vinylheptafulvene Photochromic System. / Skov, Anders B.; Broman, Soren Lindbaek; Gertsen, Anders S.; Elm, Jonas; Jevric, Martyn; Cacciarini, Martina; Kadziola, Anders; Mikkelsen, Kurt V.; Nielsen, Mogens Brondsted.

    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 newspaperJournal articleResearchpeer-review

  10. Published

    Azulenium chemistry : towards new derivatives of photochromic dihydroazulenes. / Petersen, Anne Ugleholdt; Jevric, Martyn; Elm, Jonas; Olsen, Stine T.; Tortzen, Christian G.; Kadziola, Anders; Mikkelsen, Kurt V.; Nielsen, Mogens Brondsted.

    In: Organic & Biomolecular Chemistry, Vol. 14, No. 8, 2016, p. 2403-2412.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-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; Petersen, Anne U.; Mikkelsen, Kurt V.; Nielsen, Mogens Brondsted.

    In: RSC Advances, Vol. 6, No. 54, 2016, p. 49003-49010.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  12. 2015
  13. Published

    Towards Solar Energy Storage in the Photochromic Dihydroazulene-Vinylheptafulvene System. / Cacciarini, Martina; Skov, Anders B.; Jevric, Martyn; Hansen, Anne S.; Elm, Jonas; Kjaergaard, Henrik G.; Mikkelsen, Kurt V.; Nielsen, Mogens Brondsted.

    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 newspaperJournal articleResearchpeer-review

  14. Published

    Computational Methodology Study of the Optical and Thermochemical Properties of a Molecular Photoswitch. / Olsen, Stine T.; Elm, Jonas; Storm, Freja Eilso; Gejl, Aske Norskov; Hansen, Anne S.; Hansen, Mia Harring; Nikolajsen, Jens Rix; Nielsen, Mogens Brondsted; Kjaergaard, Henrik G.; Mikkelsen, Kurt V.

    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 newspaperJournal articleResearchpeer-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 newspaperJournal articleResearchpeer-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/proceedingBook chapterCommunication

  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 newspaperJournal articleResearchpeer-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 newspaperJournal articleResearchpeer-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/proceedingArticle in proceedingsResearchpeer-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); Miltersen, Peter Bro (Editor); Palamidessi, Catuscia (Editor); Tuma, Petr (Editor); Valencia, Frank (Editor).

    Springer, 2009. 132 p. (Lecture Notes in Computer Science, Vol. 5404).

    Research output: Book/anthology/dissertation/reportAnthologyResearch

  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 newspaperJournal articleResearchpeer-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 newspaperJournal articleResearchpeer-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 newspaperJournal articleResearchpeer-review

  29. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-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 newspaperJournal articleResearchpeer-review

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

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-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/proceedingArticle in proceedingsResearchpeer-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/proceedingArticle in proceedingsResearchpeer-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 newspaperJournal articleResearchpeer-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 newspaperJournal articleResearch

  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/proceedingArticle in proceedingsResearchpeer-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 newspaperEditorial

  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/proceedingArticle in proceedingsResearchpeer-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/reportBookCommunication

  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/proceedingArticle in proceedingsResearchpeer-review

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

    Research output: Contribution to book/anthology/report/proceedingBook chapterResearch

  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 newspaperJournal articleResearch

  46. 2003
  47. 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: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-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 newspaperJournal articleResearch

  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/proceedingArticle in proceedingsResearchpeer-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 newspaperJournal articleResearchpeer-review

  51. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-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 newspaperConference articleResearch

  54. Published
  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/proceedingArticle in proceedingsResearch

  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/proceedingArticle in proceedingsResearchpeer-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 newspaperJournal articleResearch

  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/proceedingBook chapterResearch

  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/reportAnthologyResearch

  61. 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, 2001. 437 p.

    Research output: Book/anthology/dissertation/reportBookCommunication

  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/proceedingArticle in proceedingsResearch

  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/proceedingArticle in proceedingsResearch

  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/proceedingArticle in proceedingsResearchpeer-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 newspaperJournal articleResearch

  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/proceedingArticle in proceedingsResearchpeer-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/proceedingBook chapterResearch

  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/reportBookResearch

  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/proceedingArticle in proceedingsResearchpeer-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/reportAnthologyResearch

  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/reportAnthologyResearch

  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 newspaperJournal articleResearchpeer-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 newspaperJournal articleResearch

  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 newspaperJournal articleResearch

  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/reportAnthologyResearch

  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 newspaperJournal articleResearchpeer-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/proceedingArticle in proceedingsResearchpeer-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/proceedingArticle in proceedingsResearchpeer-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/proceedingArticle in proceedingsResearchpeer-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/proceedingBook chapterResearch

  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 paperResearch

  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/proceedingArticle in proceedingsResearchpeer-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/proceedingArticle in proceedingsResearchpeer-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/proceedingArticle in proceedingsResearchpeer-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 newspaperJournal articleResearchpeer-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 newspaperJournal articleResearchpeer-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/proceedingArticle in proceedingsResearchpeer-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 newspaperJournal articleResearchpeer-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 paperResearch

  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 newspaperJournal articleResearch

  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/proceedingArticle in proceedingsResearchpeer-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 newspaperJournal articleResearchpeer-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/proceedingBook chapterResearch

  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/proceedingArticle in proceedingsResearchpeer-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 newspaperJournal articleResearch

  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/reportAnthologyResearch

  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/proceedingBook chapterResearch

  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 newspaperJournal articleResearchpeer-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.; Hansen, Hans Ole; Nielsen, Mogens B.

    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 newspaperJournal articleResearchpeer-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/proceedingArticle in proceedingsResearchpeer-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/proceedingArticle in proceedingsResearchpeer-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 newspaperJournal articleResearch

  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 newspaperJournal articleResearchpeer-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/proceedingArticle in proceedingsResearchpeer-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/proceedingArticle in proceedingsResearchpeer-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/proceedingArticle in proceedingsResearchpeer-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/proceedingArticle in proceedingsResearchpeer-review

  116. Published

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

    Department of Computer Science, Aarhus University, 1993.

    Research output: Working paperResearch

  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/proceedingArticle in proceedingsResearchpeer-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 newspaperJournal articleResearchpeer-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 paperResearch

  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/proceedingArticle in proceedingsResearchpeer-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/reportReportResearch

  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 paperResearch

  125. 1990
  126. Published

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

    Department of Computer Science, Aarhus University, 1990.

    Research output: Working paperResearch

  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/proceedingArticle in proceedingsResearchpeer-review

Previous 1 2 Next