Mogens Nielsen

91 papers A* 6A 1B 15C 2Journal 31Unranked 32

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Decidability Issues for Petri Nets - a survey. CoRR Javier Esparza, Mogens Nielsen
2019	—	`ch.`	Carl Adam Petri: A Tribute from Aarhus. Carl Adam Petri: Ideas, Personality, Impact Kurt Jensen, Mogens Nielsen
2014	J	`jnl`	Trust in event structures. Theor. Comput. Sci. Mogens Nielsen
2012	—	`conf`	To Dexter - A Tribute from Aarhus. Logic and Program Semantics Erik Meineche Schmidt, Mogens Nielsen, Sven Skyum
2012	J	`jnl`	Transfer of trust in event-based reputation systems. Theor. Comput. Sci. Mogens Nielsen, Karl Krukow
2009	—	`conf`	HMM-Based Trust Model. Formal Aspects in Security and Trust Ehab ElSalamouny, Vladimiro Sassone, Mogens Nielsen
2009	B	`ed.`	SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings SOFSEM Mogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank D. Valencia
2008	J	`jnl`	A logical framework for history-based access control and reputation systems. J. Comput. Secur. Karl Krukow, Mogens Nielsen, Vladimiro Sassone
2008	—	`conf`	Secure Data Flow in a Calculus for Context Awareness. Concurrency, Graphs and Models Doina Bucur, Mogens Nielsen
2008	—	`conf`	Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra. Concurrency, Graphs and Models Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel
2007	—	`conf`	A Bayesian Model for Event-based Trust. Computation, Meaning, and Logic Mogens Nielsen, Karl Krukow, Vladimiro Sassone
2007	B	`conf`	CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. APLAS Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia
2007	J	`jnl`	Implantation mechanics of tungsten microneedles into peripheral nerve trunks. Medical Biol. Eng. Comput. Ken Yoshida, Ina Lewinsky, Mogens Nielsen, Mads Hylleberg
2007	J	`jnl`	Trust structures. Int. J. Inf. Sec. Karl Krukow, Mogens Nielsen
2006	—	`conf`	Biomedical Signal Compression With Optimized Wavelets. ICASSP (2) Mogens Nielsen, Ernest Nlandu Kamavuako, Michael Midtgaard Andersen, Marie-Françoise Lucas, Dario Farina
2006	—	`conf`	From Simulations to Theorems: A Position Paper on Research in the Field of Computational Trust. Formal Aspects in Security and Trust Karl Krukow, Mogens Nielsen
2006	J	`jnl`	Optimal wavelets for biomedical signal compression. Medical Biol. Eng. Comput. Mogens Nielsen, Ernest Nlandu Kamavuako, Michael Midtgaard Andersen, Marie-Françoise Lucas, Dario Farina
2006	—	`conf`	Towards a Formal Framework for Computational Trust. FMCO Vladimiro Sassone, Karl Krukow, Mogens Nielsen
2005	A*	`conf`	A framework for concrete reputation-systems with applications to history-based access control. CCS Karl Krukow, Mogens Nielsen, Vladimiro Sassone
2005	J	`jnl`	Introduction - Combined TCSA/TCSB issue - mathematical foundations of computer science 2000. Theor. Comput. Sci. Mogens Nielsen, Branislav Rovan
2004	—	`conf`	A Calculus for Trust Management. FSTTCS Marco Carbone, Mogens Nielsen, Vladimiro Sassone
2004	—	`conf`	On the Formal Modelling of Trust in Reputation-Based Systems. Theory Is Forever Mogens Nielsen, Karl Krukow
2003	B	`conf`	A Formal Model for Trust in Dynamic Networks. SEFM Marco Carbone, Mogens Nielsen, Vladimiro Sassone
2003	—	`conf`	Notes on Timed Concurrent Constraint Programming. Lectures on Concurrency and Petri Nets Mogens Nielsen, Frank D. Valencia
2003	C	`conf`	Towards a formal notion of trust. PPDP Mogens Nielsen, Karl Krukow
2003	J	`jnl`	Undecidability of domino games and hhp-bisimilarity. Inf. Comput. Marcin Jurdzinski, Mogens Nielsen, Jirí Srba
2003	J	`jnl`	Using Trust for Secure Collaboration in Uncertain Environments. IEEE Pervasive Comput. Vinny Cahill, Elizabeth Gray, Jean-Marc Seigneur, Christian Damsgaard Jensen, Yong Chen, Brian Shand, Nathan Dimmock, Andrew Twigg, Jean Bacon, Colin English, Waleed Wagealla, Sotirios Terzis, Paddy Nixon, Giovanna Di Marzo Serugendo, Ciarán Bryce, Marco Carbone, Karl Krukow, Mogens Nielsen
2002	B	`ed.`	Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings FoSSaCS Mogens Nielsen, Uffe Engberg
2002	C	`conf`	On the expressive power of temporal concurrent constraint programming languages. PPDP Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia
2002	—	`conf`	Regular Event Structures and Finite Petri Nets: The Conflict-Free Case. ICATPN Mogens Nielsen, P. S. Thiagarajan
2002	—	`conf`	Temporal Concurrent Constraint Programming: Applications and Behavior. Formal and Natural Computing Mogens Nielsen, Frank D. Valencia
2002	J	`jnl`	Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nord. J. Comput. Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia
2001	B	`ed.`	CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings CONCUR Kim Guldstrand Larsen, Mogens Nielsen
2001	A*	`conf`	Modelling with Partial Orders - Why and Why Not? ICALP Mogens Nielsen
2001	—	`conf`	Properties of Distributed Timed-Arc Petri Nets. FSTTCS Mogens Nielsen, Vladimiro Sassone, Jirí Srba
2001	—	`conf`	Towards a Notion of Distributed Time for Petri Nets. ICATPN Mogens Nielsen, Vladimiro Sassone, Jirí Srba
2000	—	`conf`	A calculus of communicating systems with label passing - ten years after. Proof, Language, and Interaction Uffe Engberg, Mogens Nielsen
2000	—	`ed.`	Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding ICATPN Mogens Nielsen, Dan Simpson
2000	A	`conf`	Hereditary History Preserving Bisimilarity Is Undecidable. STACS Marcin Jurdzinski, Mogens Nielsen
2000	B	`ed.`	Mathematical Foundations of Computer Science 2000, 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings MFCS Mogens Nielsen, Branislav Rovan
1999	A*	`ed.`	Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings Jirí Wiedermann, Peter van Emde Boas, Mogens Nielsen
1999	J	`jnl`	Bisimulation and Open Maps for Timed Transition Systems. Fundam. Informaticae Mogens Nielsen, Thomas Hune
1998	B	`ed.`	Computer Science Logic, 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers CSL Mogens Nielsen, Wolfgang Thomas
1998	J	`jnl`	Open Maps, Behavioural Equivalences, and Congruences. Theor. Comput. Sci. Allan Cheng, Mogens Nielsen
1998	B	`conf`	Reasoning About the Past. MFCS Mogens Nielsen
1998	B	`conf`	Timed Bisimulation and Open Maps. MFCS Thomas Hune, Mogens Nielsen
1996	A*	`conf`	Automated Logical Verification Based on Trace Abstractions. PODC Nils Klarlund, Mogens Nielsen, Kim Sunesen
1996	—	`conf`	Behavioural Equivalence for Infinite Systems - Partially Decidable! Application and Theory of Petri Nets Kim Sunesen, Mogens Nielsen
1996	J	`jnl`	Bisimulation from Open Maps. Inf. Comput. André Joyal, Mogens Nielsen, Glynn Winskel
1996	J	`jnl`	Foreword: Special Volume of TAPSOFT 1995 Papers. Theor. Comput. Sci. Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
1996	J	`jnl`	Models for Concurrency: Towards a Classification. Theor. Comput. Sci. Vladimiro Sassone, Mogens Nielsen, Glynn Winskel
1996	—	`conf`	Open Maps, Behavioural Equivalences, and Congruences. CAAP Allan Cheng, Mogens Nielsen
1996	J	`jnl`	Petri Nets and Bisimulation. Theor. Comput. Sci. Mogens Nielsen, Glynn Winskel
1996	B	`conf`	Petri Nets and Other Models of Concurrency. Petri Nets Mogens Nielsen, Vladimiro Sassone
1996	—	`conf`	Presheaves as transition systems. Partial Order Methods in Verification Glynn Winskel, Mogens Nielsen
1995	B	`conf`	Characterizing Behavioural Congruences for Petri Nets. CONCUR Mogens Nielsen, Lutz Priese, Vladimiro Sassone
1995	J	`jnl`	Games and Logics for a Noninterleaving Bisimulation. Nord. J. Comput. Mogens Nielsen, Christian Clausen
1995	—	`conf`	Obseving Behaviour Categorically. FSTTCS Mogens Nielsen, Allan Cheng
1995	—	`ed.`	TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings TAPSOFT Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
1995	—	`ch.`	Trace Structures and other Models for Concurrency. The Book of Traces Mogens Nielsen, Glynn Winskel
1995	J	`jnl`	Transition Systems, Event Structures and Unfoldings Inf. Comput. Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan
1994	—	`conf`	A Case Study in Verification Based on Trace Abstractions. Formal Systems Specification Nils Klarlund, Mogens Nielsen, Kim Sunesen
1994	B	`conf`	Bisimulation for Models in Concurrency. CONCUR Mogens Nielsen, Christian Clausen
1994	—	`conf`	Bisimulation, Games, and Logic. Results and Trends in Theoretical Computer Science Mogens Nielsen, Christian Clausen
1994	J	`jnl`	Decidability Issues for Petri Nets - a survey. Bull. EATCS Javier Esparza, Mogens Nielsen
1994	J	`jnl`	Decidability Issues for Petri Nets - a survey. J. Inf. Process. Cybern. Javier Esparza, Mogens Nielsen
1993	B	`conf`	A Classification of Models for Concurrency. CONCUR Vladimiro Sassone, Mogens Nielsen, Glynn Winskel
1993	A*	`conf`	Bisimulation and open maps LICS André Joyal, Mogens Nielsen, Glynn Winskel
1993	B	`conf`	Deterministic Behavioural Models for Concurrency. MFCS Vladimiro Sassone, Mogens Nielsen, Glynn Winskel
1993	—	`conf`	Relationships Between Models of Concurrency. REX School/Symposium Mogens Nielsen, Vladimiro Sassone, Glynn Winskel
1993	J	`jnl`	Without Title. Bull. EATCS Mogens Nielsen
1992	—	`conf`	CCS, Location and Asynchronous Transition Systems. FSTTCS Madhavan Mukund, Mogens Nielsen
1992	J	`jnl`	Elementary Transition Systems and Refinement. Acta Informatica Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan
1992	J	`jnl`	Elementary Transition Systems. Theor. Comput. Sci. Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan
1991	B	`conf`	Models for Concurrency. MFCS Mogens Nielsen
1990	J	`jnl`	Behavioural Notions for Elementary Net Systems. Distributed Comput. Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan
1989	J	`jnl`	The RAISE Language, Method and Tools. Formal Aspects Comput. Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George
1988	—	`conf`	Fully abstract models for a process language with refinement. REX Workshop Mogens Nielsen, Uffe Engberg, Kim S. Larsen
1988	—	`conf`	The RAISE Language, Method and Tools. VDM Europe Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George
1986	—	`conf`	CCS - and its Relationship to Net Theory. Advances in Petri Nets Mogens Nielsen
1984	—	`conf`	A note on observable occurrence nets. European Workshop on Applications and Theory in Petri Nets César Fernández, Mogens Nielsen, P. S. Thiagarajan
1984	—	`conf`	Degrees of Non-Determinism and Concurrency: A Petri Net View. FSTTCS Mogens Nielsen, P. S. Thiagarajan
1982	A*	`ed.`	Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings ICALP Mogens Nielsen, Erik Meineche Schmidt
1981	J	`jnl`	Petri Nets, Event Structures and Domains, Part I. Theor. Comput. Sci. Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel
1979	—	`conf`	Petri Nets, Event Structures and Domains. Semantics of Concurrent Computation Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel
1975	—	`conf`	The Growth Range Equivalence Problem for DOL Systems is Decidable. Automata, Languages, Development Jean Berstel, Mogens Nielsen
1974	J	`jnl`	EOL Systems with Control Devices. Acta Informatica Mogens Nielsen
1974	—	`conf`	Equivalence of L-Systems. L Systems Mogens Nielsen
1974	J	`jnl`	Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. I. Deterministic Systems. Acta Informatica Mogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, Sven Skyum
1974	J	`jnl`	Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. II. Nondeterministic Systems. Acta Informatica Mogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, Sven Skyum
1974	J	`jnl`	On the Decidability of Some Equivalence Problems for D0L-Systems Inf. Control. Mogens Nielsen