Mogens Nielsen - researchr alias

researchr

You are not signed in
Sign in
Sign up

2009

HMM-Based Trust ModelEhab ElSalamouny, Vladimiro Sassone, Mogens Nielsen. ifip1-7 2010: 21-35 [doi]

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. ProceedingsMogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank D. Valencia, editors, Volume 5404 of Lecture Notes in Computer Science, Springer, 2009. [doi]

2008

Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process AlgebraGérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel. birthday 2008: 757-777 [doi]

Secure Data Flow in a Calculus for Context AwarenessDoina Bucur, Mogens Nielsen. birthday 2008: 439-456 [doi]

A logical framework for history-based access control and reputation systemsKarl Krukow, Mogens Nielsen, Vladimiro Sassone. jcs, 16(1):63-101, 2008. [doi]

2007

2006

From Simulations to Theorems: A Position Paper on Research in the Field of Computational TrustKarl Krukow, Mogens Nielsen. ifip1-7 2007: 96-111 [doi]

Optimal wavelets for biomedical signal compressionMogens Nielsen, Ernest Nlandu Kamavuako, Michael Midtgaard Andersen, Marie-Françoise Lucas, Dario Farina. mbec, 44(7):561-568, 2006. [doi]

Towards a Formal Framework for Computational TrustVladimiro Sassone, Karl Krukow, Mogens Nielsen. FMCO 2007: 175-184 [doi]

2005

A framework for concrete reputation-systems with applications to history-based access controlKarl Krukow, Mogens Nielsen, Vladimiro Sassone. ccs 2005: 260-269 [doi]

Introduction - Combined TCSA/TCSB issue - mathematical foundations of computer science 2000Mogens Nielsen, Branislav Rovan. TCS, 340(3):457-458, 2005. [doi]

2004

A Calculus for Trust ManagementMarco Carbone, Mogens Nielsen, Vladimiro Sassone. fsttcs 2004: 161-173 [doi]

On the Formal Modelling of Trust in Reputation-Based SystemsMogens Nielsen, Karl Krukow. BIRTHDAY 2004: 192-204 [doi]

2003

2002

Regular Event Structures and Finite Petri Nets: The Conflict-Free CaseMogens Nielsen, P. S. Thiagarajan. apn 2002: 335-351 [doi]

Temporal Concurrent Constraint Programming: Applications and BehaviorMogens Nielsen, Frank D. Valencia. BIRTHDAY 2002: 298-324 [doi]

On the expressive power of temporal concurrent constraint programming languagesMogens Nielsen, Catuscia Palamidessi, Frank D. Valencia. ppdp 2002: 156-167 [doi]

Temporal Concurrent Constraint Programming: Denotation, Logic and ApplicationsMogens Nielsen, Catuscia Palamidessi, Frank D. Valencia. njc, 9(1):145-188, 2002.

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, ProceedingsMogens Nielsen, Uffe Engberg, editors, Volume 2303 of Lecture Notes in Computer Science, Springer, 2002.

2001

CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, ProceedingsKim Guldstrand Larsen, Mogens Nielsen, editors, Volume 2154 of Lecture Notes in Computer Science, Springer, 2001.

Towards a Notion of Distributed Time for Petri NetsMogens Nielsen, Vladimiro Sassone, Jirí Srba. apn 2001: 23-31 [doi]

Properties of Distributed Timed-Arc Petri NetsMogens Nielsen, Vladimiro Sassone, Jirí Srba. fsttcs 2001: 280-291 [doi]

Modelling with Partial Orders - Why and Why Not?Mogens Nielsen. icalp 2001: 61-63 [doi]

2000

A calculus of communicating systems with label passing - ten years afterUffe Engberg, Mogens Nielsen. BIRTHDAY 2000: 599-622

Hereditary History Preserving Bisimilarity Is UndecidableMarcin Jurdzinski, Mogens Nielsen. STACS 2000: 358-369 [doi]

Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, ProceedingMogens Nielsen, Dan Simpson, editors, Volume 1825 of Lecture Notes in Computer Science, Springer, 2000.

Mathematical Foundations of Computer Science 2000, 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, ProceedingsMogens Nielsen, Branislav Rovan, editors, Volume 1893 of Lecture Notes in Computer Science, Springer, 2000.

1999

Bisimulation and Open Maps for Timed Transition SystemsMogens Nielsen, Thomas Hune. FUIN, 38(1-2):61-77, 1999.

Automata, Languages and Programming, 26th International Colloquium, ICALP 99, Prague, Czech Republic, July 11-15, 1999, ProceedingsJirí Wiedermann, Peter van Emde Boas, Mogens Nielsen, editors, Volume 1644 of Lecture Notes in Computer Science, Springer, 1999.

1998

Open Maps, Behavioural Equivalences, and CongruencesAllan Cheng, Mogens Nielsen. TCS, 190(1):87-112, 1998. [doi]

Timed Bisimulation and Open MapsThomas Hune, Mogens Nielsen. mfcs 1998: 378-387 [doi]

Reasoning About the PastMogens Nielsen. mfcs 1998: 117-128 [doi]

Computer Science Logic, 11th International Workshop, CSL 97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected PapersMogens Nielsen, Wolfgang Thomas, editors, Volume 1414 of Lecture Notes in Computer Science, Springer, 1998.

1996

Open Maps, Behavioural Equivalences, and CongruencesAllan Cheng, Mogens Nielsen. caap 1996: 257-271

Bisimulation from Open MapsAndré Joyal, Mogens Nielsen, Glynn Winskel. iandc, 127(2):164-185, 1996.

Automated Logical Verification Based on Trace AbstractionsNils Klarlund, Mogens Nielsen, Kim Sunesen. podc 1996: 101-110

Foreword: Special Volume of TAPSOFT 1995 PapersPeter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach. TCS, 167(1&2):1, 1996.

Petri Nets and BisimulationMogens Nielsen, Glynn Winskel. TCS, 153(1&2):211-244, 1996. [doi]

Petri Nets and Other Models of ConcurrencyMogens Nielsen, Vladimiro Sassone. ac 1998: 587-642

Models for Concurrency: Towards a ClassificationVladimiro Sassone, Mogens Nielsen, Glynn Winskel. TCS, 170(1-2):297-348, 1996. [doi]

Behavioural Equivalence for Infinite Systems - Partially Decidable!Kim Sunesen, Mogens Nielsen. apn 1996: 460-479

1995

TAPSOFT 95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, ProceedingsPeter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, editors, Volume 915 of Lecture Notes in Computer Science, Springer, 1995.

Characterizing Behavioural Congruences for Petri NetsMogens Nielsen, Lutz Priese, Vladimiro Sassone. concur 1995: 175-189

Obseving Behaviour CategoricallyMogens Nielsen, Allan Cheng. fsttcs 1995: 263-278

Transition Systems, Event Structures and UnfoldingsMogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan. iandc, 118(2):191-207, May 1995.

Games and Logics for a Noninterleaving BisimulationMogens Nielsen, Christian Clausen. njc, 2(2):221-249, 1995.

1994

1993

1992

CCS, Location and Asynchronous Transition SystemsMadhavan Mukund, Mogens Nielsen. fsttcs 1992: 328-341

Elementary Transition SystemsMogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan. TCS, 96(1):3-33, 1992.

Elementary Transition Systems and RefinementMogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan. ACTA, 29(6/7):555-578, 1992.

1991

Models for ConcurrencyMogens Nielsen. mfcs 1991: 43-46

1990

Behavioural Notions for Elementary Net SystemsMogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan. dc, 4:45-57, 1990.

1989

The RAISE Language, Method and ToolsMogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George. fac, 1(1):85-114, 1989.

1988

The RAISE Language, Method and ToolsMogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George. fm 1988: 376-405

Fully abstract models for a process language with refinementMogens Nielsen, Uffe Engberg, Kim S. Larsen. rex 1989: 523-548

1986

CCS - and its Relationship to Net TheoryMogens Nielsen. ac 1987: 393-415

1984

A note on observable occurrence netsCésar Fernández, Mogens Nielsen, P. S. Thiagarajan. apn 1985: 122-138

Degrees of Non-Determinism and Concurrency: A Petri Net ViewMogens Nielsen, P. S. Thiagarajan. fsttcs 1984: 89-117

1982

Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, ProceedingsMogens Nielsen, Erik Meineche Schmidt, editors, Volume 140 of Lecture Notes in Computer Science, Springer, 1982.

1981

Petri Nets, Event Structures and Domains, Part IMogens Nielsen, Gordon D. Plotkin, Glynn Winskel. TCS, 13:85-108, 1981.

1979

Petri Nets, Event Structures and DomainsMogens Nielsen, Gordon D. Plotkin, Glynn Winskel. scc 1979: 266-284

1974