Mogens Nielsen

According to our database, Mogens Nielsen authored at least 78 papers between 1974 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

Carl Adam Petri: A Tribute from Aarhus.

Kurt Jensen, Mogens Nielsen

Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019

2014

Trust in event structures.

Mogens Nielsen

Theor. Comput. Sci., 2014

2012

Transfer of trust in event-based reputation systems.

Mogens Nielsen, Karl Krukow

Theor. Comput. Sci., 2012

To Dexter - A Tribute from Aarhus.

Erik Meineche Schmidt, Mogens Nielsen, Sven Skyum

Proceedings of the Logic and Program Semantics, 2012

2009

HMM-Based Trust Model.

Ehab ElSalamouny, Vladimiro Sassone, Mogens Nielsen

Proceedings of the Formal Aspects in Security and Trust, 6th International Workshop, 2009

2008

A logical framework for history-based access control and reputation systems.

Karl Krukow, Mogens Nielsen, Vladimiro Sassone

J. Comput. Secur., 2008

Secure Data Flow in a Calculus for Context Awareness.

Doina Bucur, Mogens Nielsen

Proceedings of the Concurrency, 2008

Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra.

Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel

Proceedings of the Concurrency, 2008

2007

Implantation mechanics of tungsten microneedles into peripheral nerve trunks.

Ken Yoshida, Ina Lewinsky, Mogens Nielsen, Mads Hylleberg

Medical Biol. Eng. Comput., 2007

Trust structures.

Karl Krukow, Mogens Nielsen

Int. J. Inf. Sec., 2007

A Bayesian Model for Event-based Trust.

Mogens Nielsen, Karl Krukow, Vladimiro Sassone

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence.

Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

Optimal wavelets for biomedical signal compression.

Mogens Nielsen, Ernest Nlandu Kamavuako, Michael Midtgaard Andersen, Marie-Françoise Lucas, Dario Farina

Medical Biol. Eng. Comput., 2006

From Simulations to Theorems: A Position Paper on Research in the Field of Computational Trust.

Karl Krukow, Mogens Nielsen

Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006

Biomedical Signal Compression With Optimized Wavelets.

Mogens Nielsen, Ernest Nlandu Kamavuako, Michael Midtgaard Andersen, Marie-Françoise Lucas, Dario Farina

Proceedings of the 2006 IEEE International Conference on Acoustics Speech and Signal Processing, 2006

Towards a Formal Framework for Computational Trust.

Vladimiro Sassone, Karl Krukow, Mogens Nielsen

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

2005

Introduction - Combined TCSA/TCSB issue - mathematical foundations of computer science 2000.

Mogens Nielsen, Branislav Rovan

Theor. Comput. Sci., 2005

A framework for concrete reputation-systems with applications to history-based access control.

Karl Krukow, Mogens Nielsen, Vladimiro Sassone

Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005

2004

A Calculus for Trust Management.

Marco Carbone, Mogens Nielsen, Vladimiro Sassone

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

On the Formal Modelling of Trust in Reputation-Based Systems.

Mogens Nielsen, Karl Krukow

Proceedings of the Theory Is Forever, 2004

2003

Using Trust for Secure Collaboration in Uncertain Environments.

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

IEEE Pervasive Comput., 2003

Undecidability of domino games and hhp-bisimilarity.

Marcin Jurdzinski, Mogens Nielsen, Jirí Srba

Inf. Comput., 2003

A Formal Model for Trust in Dynamic Networks.

Marco Carbone, Mogens Nielsen, Vladimiro Sassone

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

Towards a formal notion of trust.

Mogens Nielsen, Karl Krukow

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

Notes on Timed Concurrent Constraint Programming.

Mogens Nielsen, Frank D. Valencia

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002

Temporal Concurrent Constraint Programming: Denotation, Logic and Applications.

Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia

Nord. J. Comput., 2002

On the expressive power of temporal concurrent constraint programming languages.

Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia

Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

Temporal Concurrent Constraint Programming: Applications and Behavior.

Mogens Nielsen, Frank D. Valencia

Proceedings of the Formal and Natural Computing, 2002

Regular Event Structures and Finite Petri Nets: The Conflict-Free Case.

Mogens Nielsen, P. S. Thiagarajan

Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001

Modelling with Partial Orders - Why and Why Not?

Mogens Nielsen

Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

Properties of Distributed Timed-Arc Petri Nets.

Mogens Nielsen, Vladimiro Sassone, Jirí Srba

Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001

Towards a Notion of Distributed Time for Petri Nets.

Mogens Nielsen, Vladimiro Sassone, Jirí Srba

Proceedings of the Application and Theory of Petri Nets 2001, 2001

2000

Hereditary History Preserving Bisimilarity Is Undecidable.

Marcin Jurdzinski, Mogens Nielsen

Proceedings of the STACS 2000, 2000

A calculus of communicating systems with label passing - ten years after.

Uffe Engberg, Mogens Nielsen

Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1999

Bisimulation and Open Maps for Timed Transition Systems.

Mogens Nielsen, Thomas Hune

Fundam. Informaticae, 1999

1998

Open Maps, Behavioural Equivalences, and Congruences.

Allan Cheng, Mogens Nielsen

Theor. Comput. Sci., 1998

Reasoning About the Past.

Mogens Nielsen

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

Timed Bisimulation and Open Maps.

Thomas Hune, Mogens Nielsen

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

1996

Models for Concurrency: Towards a Classification.

Vladimiro Sassone, Mogens Nielsen, Glynn Winskel

Theor. Comput. Sci., 1996

Petri Nets and Bisimulation.

Mogens Nielsen, Glynn Winskel

Theor. Comput. Sci., 1996

Foreword: Special Volume of TAPSOFT 1995 Papers.

Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach

Theor. Comput. Sci., 1996

Bisimulation from Open Maps.

André Joyal, Mogens Nielsen, Glynn Winskel

Inf. Comput., 1996

Automated Logical Verification Based on Trace Abstractions.

Nils Klarlund, Mogens Nielsen, Kim Sunesen

Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

Presheaves as transition systems.

Glynn Winskel, Mogens Nielsen

Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996

Behavioural Equivalence for Infinite Systems - Partially Decidable!

Kim Sunesen, Mogens Nielsen

Proceedings of the Application and Theory of Petri Nets 1996, 1996

Petri Nets and Other Models of Concurrency.

Mogens Nielsen, Vladimiro Sassone

Proceedings of the Lectures on Petri Nets I: Basic Models, 1996

1995

Transition Systems, Event Structures and Unfoldings

Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan

Inf. Comput., May, 1995

Games and Logics for a Noninterleaving Bisimulation.

Mogens Nielsen, Christian Clausen

Nord. J. Comput., 1995

Obseving Behaviour Categorically.

Mogens Nielsen, Allan Cheng

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

Characterizing Behavioural Congruences for Petri Nets.

Mogens Nielsen, Lutz Priese, Vladimiro Sassone

Proceedings of the CONCUR '95: Concurrency Theory, 1995

Trace Structures and other Models for Concurrency.

Mogens Nielsen, Glynn Winskel

Proceedings of the Book of Traces, 1995

1994

Decidability Issues for Petri Nets - a survey.

Javier Esparza, Mogens Nielsen

J. Inf. Process. Cybern., 1994

A Case Study in Verification Based on Trace Abstractions.

Nils Klarlund, Mogens Nielsen, Kim Sunesen

Proceedings of the Formal Systems Specification, 1994

Bisimulation for Models in Concurrency.

Mogens Nielsen, Christian Clausen

Proceedings of the CONCUR '94, 1994

Bisimulation, Games, and Logic.

Mogens Nielsen, Christian Clausen

Proceedings of the Results and Trends in Theoretical Computer Science, 1994

1993

Without Title.

Mogens Nielsen

Bull. EATCS, 1993

Relationships Between Models of Concurrency.

Mogens Nielsen, Vladimiro Sassone, Glynn Winskel

Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993

Deterministic Behavioural Models for Concurrency.

Vladimiro Sassone, Mogens Nielsen, Glynn Winskel

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Bisimulation and open maps

André Joyal, Mogens Nielsen, Glynn Winskel

Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

A Classification of Models for Concurrency.

Vladimiro Sassone, Mogens Nielsen, Glynn Winskel

Proceedings of the CONCUR '93, 1993

1992

Elementary Transition Systems.

Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan

Theor. Comput. Sci., 1992

Elementary Transition Systems and Refinement.

Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan

Acta Informatica, 1992

CCS, Location and Asynchronous Transition Systems.

Madhavan Mukund, Mogens Nielsen

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992

1991

Models for Concurrency.

Mogens Nielsen

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

1990

Behavioural Notions for Elementary Net Systems.

Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan

Distributed Comput., 1990

1989

The RAISE Language, Method and Tools.

Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George

Formal Aspects Comput., 1989

1988

Fully abstract models for a process language with refinement.

Mogens Nielsen, Uffe Engberg, Kim S. Larsen

Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988

1986

CCS - and its Relationship to Net Theory.

Mogens Nielsen

Proceedings of the Petri Nets: Central Models and Their Properties, 1986

1984

Degrees of Non-Determinism and Concurrency: A Petri Net View.

Mogens Nielsen, P. S. Thiagarajan

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984

A note on observable occurrence nets.

César Fernández, Mogens Nielsen, P. S. Thiagarajan

Proceedings of the Advances in Petri Nets 1984, 1984

1981

Petri Nets, Event Structures and Domains, Part I.

Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel

Theor. Comput. Sci., 1981

1979

Petri Nets, Event Structures and Domains.

Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel

Proceedings of the Semantics of Concurrent Computation, 1979

1975

The Growth Range Equivalence Problem for DOL Systems is Decidable.

Jean Berstel, Mogens Nielsen

Proceedings of the Automata, Languages, Development: At the crossroads of biology, mathematics and computer science, result of an international conference held at Noordwijkerhout, The Netherlands, March 31, 1975

1974

On the Decidability of Some Equivalence Problems for D0L-Systems

Mogens Nielsen

Inf. Control., June, 1974

Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. I. Deterministic Systems.

Mogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, Sven Skyum

Acta Informatica, 1974

Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. II. Nondeterministic Systems.

Mogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, Sven Skyum

Acta Informatica, 1974

EOL Systems with Control Devices.

Mogens Nielsen

Acta Informatica, 1974

Equivalence of L-Systems.

Mogens Nielsen

Proceedings of the L Systems, 1974