Search the dblp DataBase
Mogens Nielsen :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Mogens Nielsen Equivalence of L-Systems. [Citation Graph (0, 0)][DBLP ] L Systems, 1974, pp:142-145 [Conf ] Mogens Nielsen CCS - and its Relationship to Net Theory. [Citation Graph (0, 0)][DBLP ] Advances in Petri Nets, 1986, pp:393-415 [Conf ] Mogens Nielsen , Vladimiro Sassone Petri Nets and Other Models of Concurrency. [Citation Graph (0, 0)][DBLP ] Petri Nets, 1996, pp:587-642 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Allan Cheng , Mogens Nielsen Open Maps, Behavioural Equivalences, and Congruences. [Citation Graph (0, 0)][DBLP ] CAAP, 1996, pp:257-271 [Conf ] 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 ] Mogens Nielsen , Christian Clausen Bisimulation for Models in Concurrency. [Citation Graph (0, 0)][DBLP ] CONCUR, 1994, pp:385-400 [Conf ] Mogens Nielsen , Lutz Priese , Vladimiro Sassone Characterizing Behavioural Congruences for Petri Nets. [Citation Graph (0, 0)][DBLP ] CONCUR, 1995, pp:175-189 [Conf ] Vladimiro Sassone , Mogens Nielsen , Glynn Winskel A Classification of Models for Concurrency. [Citation Graph (0, 0)][DBLP ] CONCUR, 1993, pp:82-96 [Conf ] 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 ] 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 ] Marco Carbone , Mogens Nielsen , Vladimiro Sassone A Calculus for Trust Management. [Citation Graph (0, 0)][DBLP ] FSTTCS, 2004, pp:161-173 [Conf ] Mogens Nielsen , Allan Cheng Obseving Behaviour Categorically. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1995, pp:263-278 [Conf ] Mogens Nielsen , Vladimiro Sassone , Jirí Srba Properties of Distributed Timed-Arc Petri Nets. [Citation Graph (0, 0)][DBLP ] FSTTCS, 2001, pp:280-291 [Conf ] 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 ] Madhavan Mukund , Mogens Nielsen CCS, Location and Asynchronous Transition Systems. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1992, pp:328-341 [Conf ] Mogens Nielsen Modelling with Partial Orders - Why and Why Not? [Citation Graph (0, 0)][DBLP ] ICALP, 2001, pp:61-63 [Conf ] André Joyal , Mogens Nielsen , Glynn Winskel Bisimulation and open maps [Citation Graph (0, 0)][DBLP ] LICS, 1993, pp:418-427 [Conf ] Thomas Hune , Mogens Nielsen Timed Bisimulation and Open Maps. [Citation Graph (0, 0)][DBLP ] MFCS, 1998, pp:378-387 [Conf ] Mogens Nielsen Models for Concurrency. [Citation Graph (0, 0)][DBLP ] MFCS, 1991, pp:43-46 [Conf ] Mogens Nielsen Reasoning About the Past. [Citation Graph (0, 0)][DBLP ] MFCS, 1998, pp:117-128 [Conf ] Vladimiro Sassone , Mogens Nielsen , Glynn Winskel Deterministic Behavioural Models for Concurrency. [Citation Graph (0, 0)][DBLP ] MFCS, 1993, pp:682-692 [Conf ] Nils Klarlund , Mogens Nielsen , Kim Sunesen Automated Logical Verification Based on Trace Abstractions. [Citation Graph (0, 0)][DBLP ] PODC, 1996, pp:101-110 [Conf ] Mogens Nielsen , Karl Krukow Towards a formal notion of trust. [Citation Graph (0, 0)][DBLP ] PPDP, 2003, pp:4-7 [Conf ] 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 ] 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 ] Mogens Nielsen , Vladimiro Sassone , Glynn Winskel Relationships Between Models of Concurrency. [Citation Graph (0, 0)][DBLP ] REX School/Symposium, 1993, pp:425-476 [Conf ] 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 ] 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 ] Marcin Jurdzinski , Mogens Nielsen Hereditary History Preserving Bisimilarity Is Undecidable. [Citation Graph (0, 0)][DBLP ] STACS, 2000, pp:358-369 [Conf ] Mogens Nielsen EOL Systems with Control Devices [Citation Graph (0, 0)][DBLP ] Acta Inf., 1974, v:4, n:, pp:373-386 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] Mogens Nielsen Without Title. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1993, v:50, n:, pp:182-186 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. [Citation Graph (, )][DBLP ] Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra. [Citation Graph (, )][DBLP ] Secure Data Flow in a Calculus for Context Awareness. [Citation Graph (, )][DBLP ] A calculus of communicating systems with label passing - ten years after. [Citation Graph (, )][DBLP ] Towards a Formal Framework for Computational Trust. [Citation Graph (, )][DBLP ] HMM-Based Trust Model. [Citation Graph (, )][DBLP ] Search in 0.006secs, Finished in 0.009secs