The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mogens Nielsen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel
    Petri Nets, Event Structures and Domains, Part I. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1981, v:13, n:, pp:85-108 [Journal]
  2. Mogens Nielsen
    Equivalence of L-Systems. [Citation Graph (0, 0)][DBLP]
    L Systems, 1974, pp:142-145 [Conf]
  3. Mogens Nielsen
    CCS - and its Relationship to Net Theory. [Citation Graph (0, 0)][DBLP]
    Advances in Petri Nets, 1986, pp:393-415 [Conf]
  4. Mogens Nielsen, Vladimiro Sassone
    Petri Nets and Other Models of Concurrency. [Citation Graph (0, 0)][DBLP]
    Petri Nets, 1996, pp:587-642 [Conf]
  5. Mogens Nielsen, Frank D. Valencia
    Notes on Timed Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:702-741 [Conf]
  6. César Fernández, Mogens Nielsen, P. S. Thiagarajan
    A note on observable occurrence nets. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory in Petri Nets, 1984, pp:122-138 [Conf]
  7. Mogens Nielsen, Vladimiro Sassone, Jirí Srba
    Towards a Notion of Distributed Time for Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:23-31 [Conf]
  8. Mogens Nielsen, P. S. Thiagarajan
    Regular Event Structures and Finite Petri Nets: The Conflict-Free Case. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:335-351 [Conf]
  9. Kim Sunesen, Mogens Nielsen
    Behavioural Equivalence for Infinite Systems - Partially Decidable! [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:460-479 [Conf]
  10. Mogens Nielsen, Christian Clausen
    Bisimulation, Games, and Logic. [Citation Graph (0, 0)][DBLP]
    Results and Trends in Theoretical Computer Science, 1994, pp:289-306 [Conf]
  11. Mogens Nielsen, Karl Krukow
    On the Formal Modelling of Trust in Reputation-Based Systems. [Citation Graph (0, 0)][DBLP]
    Theory Is Forever, 2004, pp:192-204 [Conf]
  12. Mogens Nielsen, Frank D. Valencia
    Temporal Concurrent Constraint Programming: Applications and Behavior. [Citation Graph (0, 0)][DBLP]
    Formal and Natural Computing, 2002, pp:298-324 [Conf]
  13. Allan Cheng, Mogens Nielsen
    Open Maps, Behavioural Equivalences, and Congruences. [Citation Graph (0, 0)][DBLP]
    CAAP, 1996, pp:257-271 [Conf]
  14. Karl Krukow, Mogens Nielsen, Vladimiro Sassone
    A framework for concrete reputation-systems with applications to history-based access control. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer and Communications Security, 2005, pp:260-269 [Conf]
  15. Mogens Nielsen, Christian Clausen
    Bisimulation for Models in Concurrency. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:385-400 [Conf]
  16. Mogens Nielsen, Lutz Priese, Vladimiro Sassone
    Characterizing Behavioural Congruences for Petri Nets. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:175-189 [Conf]
  17. Vladimiro Sassone, Mogens Nielsen, Glynn Winskel
    A Classification of Models for Concurrency. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1993, pp:82-96 [Conf]
  18. Nils Klarlund, Mogens Nielsen, Kim Sunesen
    A Case Study in Verification Based on Trace Abstractions. [Citation Graph (0, 0)][DBLP]
    Formal Systems Specification, 1994, pp:341-373 [Conf]
  19. Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George
    The RAISE Language, Method and Tools. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1988, pp:376-405 [Conf]
  20. Marco Carbone, Mogens Nielsen, Vladimiro Sassone
    A Calculus for Trust Management. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2004, pp:161-173 [Conf]
  21. Mogens Nielsen, Allan Cheng
    Obseving Behaviour Categorically. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1995, pp:263-278 [Conf]
  22. Mogens Nielsen, Vladimiro Sassone, Jirí Srba
    Properties of Distributed Timed-Arc Petri Nets. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2001, pp:280-291 [Conf]
  23. Mogens Nielsen, P. S. Thiagarajan
    Degrees of Non-Determinism and Concurrency: A Petri Net View. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1984, pp:89-117 [Conf]
  24. Madhavan Mukund, Mogens Nielsen
    CCS, Location and Asynchronous Transition Systems. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1992, pp:328-341 [Conf]
  25. Mogens Nielsen
    Modelling with Partial Orders - Why and Why Not? [Citation Graph (0, 0)][DBLP]
    ICALP, 2001, pp:61-63 [Conf]
  26. André Joyal, Mogens Nielsen, Glynn Winskel
    Bisimulation and open maps [Citation Graph (0, 0)][DBLP]
    LICS, 1993, pp:418-427 [Conf]
  27. Thomas Hune, Mogens Nielsen
    Timed Bisimulation and Open Maps. [Citation Graph (0, 0)][DBLP]
    MFCS, 1998, pp:378-387 [Conf]
  28. Mogens Nielsen
    Models for Concurrency. [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:43-46 [Conf]
  29. Mogens Nielsen
    Reasoning About the Past. [Citation Graph (0, 0)][DBLP]
    MFCS, 1998, pp:117-128 [Conf]
  30. Vladimiro Sassone, Mogens Nielsen, Glynn Winskel
    Deterministic Behavioural Models for Concurrency. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:682-692 [Conf]
  31. Nils Klarlund, Mogens Nielsen, Kim Sunesen
    Automated Logical Verification Based on Trace Abstractions. [Citation Graph (0, 0)][DBLP]
    PODC, 1996, pp:101-110 [Conf]
  32. Mogens Nielsen, Karl Krukow
    Towards a formal notion of trust. [Citation Graph (0, 0)][DBLP]
    PPDP, 2003, pp:4-7 [Conf]
  33. Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia
    On the expressive power of temporal concurrent constraint programming languages. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:156-167 [Conf]
  34. Mogens Nielsen, Uffe Engberg, Kim S. Larsen
    Fully abstract models for a process language with refinement. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:523-548 [Conf]
  35. Mogens Nielsen, Vladimiro Sassone, Glynn Winskel
    Relationships Between Models of Concurrency. [Citation Graph (0, 0)][DBLP]
    REX School/Symposium, 1993, pp:425-476 [Conf]
  36. Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel
    Petri Nets, Event Structures and Domains. [Citation Graph (0, 0)][DBLP]
    Semantics of Concurrent Computation, 1979, pp:266-284 [Conf]
  37. Marco Carbone, Mogens Nielsen, Vladimiro Sassone
    A Formal Model for Trust in Dynamic Networks. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:54-0 [Conf]
  38. Marcin Jurdzinski, Mogens Nielsen
    Hereditary History Preserving Bisimilarity Is Undecidable. [Citation Graph (0, 0)][DBLP]
    STACS, 2000, pp:358-369 [Conf]
  39. Mogens Nielsen
    EOL Systems with Control Devices [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1974, v:4, n:, pp:373-386 [Journal]
  40. Mogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, Sven Skyum
    Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. II. Nondeterministic Systems [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1974, v:3, n:, pp:357-364 [Journal]
  41. Mogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, Sven Skyum
    Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. I. Deterministic Systems [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1974, v:4, n:, pp:87-106 [Journal]
  42. Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan
    Elementary Transition Systems and Refinement. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1992, v:29, n:6/7, pp:555-578 [Journal]
  43. Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan
    Behavioural Notions for Elementary Net Systems. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1990, v:4, n:, pp:45-57 [Journal]
  44. Javier Esparza, Mogens Nielsen
    Decidability Issues for Petri Nets - a survey. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1994, v:52, n:, pp:244-262 [Journal]
  45. Mogens Nielsen
    Without Title. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1993, v:50, n:, pp:182-186 [Journal]
  46. Javier Esparza, Mogens Nielsen
    Decidability Issues for Petri Nets - a survey. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1994, v:30, n:3, pp:143-160 [Journal]
  47. Mogens Nielsen, Karl Krukow, Vladimiro Sassone
    A Bayesian Model for Event-based Trust. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:499-521 [Journal]
  48. Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George
    The RAISE Language, Method and Tools. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1989, v:1, n:1, pp:85-114 [Journal]
  49. Mogens Nielsen, Thomas Hune
    Bisimulation and Open Maps for Timed Transition Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:38, n:1-2, pp:61-77 [Journal]
  50. André Joyal, Mogens Nielsen, Glynn Winskel
    Bisimulation from Open Maps. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:127, n:2, pp:164-185 [Journal]
  51. Marcin Jurdzinski, Mogens Nielsen, Jirí Srba
    Undecidability of domino games and hhp-bisimilarity. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:184, n:2, pp:343-368 [Journal]
  52. Mogens Nielsen
    On the Decidability of Some Equivalence Problems for D0L-Systems [Citation Graph (0, 0)][DBLP]
    Information and Control, 1974, v:25, n:2, pp:166-193 [Journal]
  53. Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan
    Transition Systems, Event Structures and Unfoldings [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:118, n:2, pp:191-207 [Journal]
  54. Mogens Nielsen, Christian Clausen
    Games and Logics for a Noninterleaving Bisimulation. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1995, v:2, n:2, pp:221-249 [Journal]
  55. Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia
    Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2002, v:9, n:1, pp:145-188 [Journal]
  56. Allan Cheng, Mogens Nielsen
    Open Maps, Behavioural Equivalences, and Congruences. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:190, n:1, pp:87-112 [Journal]
  57. Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
    Foreword: Special Volume of TAPSOFT 1995 Papers. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:167, n:1&2, pp:1- [Journal]
  58. Mogens Nielsen, Branislav Rovan
    Introduction - Combined TCSA/TCSB issue - mathematical foundations of computer science 2000. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:340, n:3, pp:457-458 [Journal]
  59. Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan
    Elementary Transition Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:96, n:1, pp:3-33 [Journal]
  60. Mogens Nielsen, Glynn Winskel
    Petri Nets and Bisimulation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:153, n:1&2, pp:211-244 [Journal]
  61. Vladimiro Sassone, Mogens Nielsen, Glynn Winskel
    Models for Concurrency: Towards a Classification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:170, n:1-2, pp:297-348 [Journal]
  62. Karl Krukow, Mogens Nielsen
    From Simulations to Theorems: A Position Paper on Research in the Field of Computational Trust. [Citation Graph (0, 0)][DBLP]
    Formal Aspects in Security and Trust, 2006, pp:96-111 [Conf]
  63. Karl Krukow, Mogens Nielsen
    Trust structures. [Citation Graph (0, 0)][DBLP]
    Int. J. Inf. Sec., 2007, v:6, n:2-3, pp:153-181 [Journal]

  64. CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. [Citation Graph (, )][DBLP]


  65. Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra. [Citation Graph (, )][DBLP]


  66. Secure Data Flow in a Calculus for Context Awareness. [Citation Graph (, )][DBLP]


  67. A calculus of communicating systems with label passing - ten years after. [Citation Graph (, )][DBLP]


  68. Towards a Formal Framework for Computational Trust. [Citation Graph (, )][DBLP]


  69. HMM-Based Trust Model. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002