| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Erik Meineche Schmidt, Mogens Nielsen, Sven Skyum |
To Dexter - A Tribute from Aarhus.  |
Logic and Program Semantics  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ehab ElSalamouny, Vladimiro Sassone, Mogens Nielsen |
HMM-Based Trust Model. |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank D. Valencia (eds.) |
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 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Krukow, Mogens Nielsen, Vladimiro Sassone |
A logical framework for history-based access control and reputation systems. |
Journal of Computer Security |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel |
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Doina Bucur, Mogens Nielsen |
Secure Data Flow in a Calculus for Context Awareness. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
security, Ubiquitous Computing, context awareness, type system, Mobile Ambients |
| 1 | Karl Krukow, Mogens Nielsen |
Trust structures. |
Int. J. Inf. Sec. |
2007 |
DBLP DOI BibTeX RDF |
Trust structures, Denotational and operational semantics, Trust management, I/O automata, Foundations |
| 1 | Mogens Nielsen, Karl Krukow, Vladimiro Sassone |
A Bayesian Model for Event-based Trust. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken Yoshida, Ina Lewinsky, Mogens Nielsen, Mads Hylleberg |
Implantation mechanics of tungsten microneedles into peripheral nerve trunks. |
Med. Biol. Engineering and Computing |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia |
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Ernest Nlandu Kamavuako, Michael Midtgaard Andersen, Marie-Françoise Lucas, Dario Farina |
Optimal wavelets for biomedical signal compression. |
Med. Biol. Engineering and Computing |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Krukow, Mogens Nielsen |
From Simulations to Theorems: A Position Paper on Research in the Field of Computational Trust. |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone, Karl Krukow, Mogens Nielsen |
Towards a Formal Framework for Computational Trust. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Branislav Rovan |
Introduction - Combined TCSA/TCSB issue - mathematical foundations of computer science 2000. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Krukow, Mogens Nielsen, Vladimiro Sassone |
A framework for concrete reputation-systems with applications to history-based access control. |
ACM Conference on Computer and Communications Security |
2005 |
DBLP DOI BibTeX RDF |
history-based access control, model checking, temporal logic, reputation, trust management |
| 1 | Mogens Nielsen, Karl Krukow |
On the Formal Modelling of Trust in Reputation-Based Systems. |
Theory Is Forever |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Carbone, Mogens Nielsen, Vladimiro Sassone |
A Calculus for Trust Management. |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcin Jurdzinski, Mogens Nielsen, Jirí Srba |
Undecidability of domino games and hhp-bisimilarity. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Carbone, Mogens Nielsen, Vladimiro Sassone |
A Formal Model for Trust in Dynamic Networks. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Karl Krukow |
Towards a formal notion of trust. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Frank D. Valencia |
Notes on Timed Concurrent Constraint Programming. |
Lectures on Concurrency and Petri Nets |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia |
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. |
Nord. J. Comput. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Mogens Nielsen, P. S. Thiagarajan |
Regular Event Structures and Finite Petri Nets: The Conflict-Free Case. |
ICATPN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia |
On the expressive power of temporal concurrent constraint programming languages. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
constraint programming, expressiveness, timed systems |
| 1 | Mogens Nielsen, Frank D. Valencia |
Temporal Concurrent Constraint Programming: Applications and Behavior. |
Formal and Natural Computing |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Uffe Engberg (eds.) |
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 |
2002 |
DBLP BibTeX RDF |
|
| 1 | Kim Guldstrand Larsen, Mogens Nielsen (eds.) |
CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings |
CONCUR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Mogens Nielsen, Vladimiro Sassone, Jirí Srba |
Towards a Notion of Distributed Time for Petri Nets. |
ICATPN |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen |
Modelling with Partial Orders - Why and Why Not? |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Vladimiro Sassone, Jirí Srba |
Properties of Distributed Timed-Arc Petri Nets. |
FSTTCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Dan Simpson (eds.) |
Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding |
ICATPN |
2000 |
DBLP BibTeX RDF |
|
| 1 | Mogens Nielsen, Branislav Rovan (eds.) |
Mathematical Foundations of Computer Science 2000, 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings |
MFCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Marcin Jurdzinski, Mogens Nielsen |
Hereditary History Preserving Bisimilarity Is Undecidable. |
STACS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Uffe Engberg, Mogens Nielsen |
A calculus of communicating systems with label passing - ten years after. |
Proof, Language, and Interaction |
2000 |
DBLP BibTeX RDF |
|
| 1 | Mogens Nielsen, Thomas Hune |
Bisimulation and Open Maps for Timed Transition Systems. |
Fundam. Inform. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Wiedermann, Peter van Emde Boas, Mogens Nielsen (eds.) |
Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings |
|
1999 |
DBLP BibTeX RDF |
|
| 1 | Allan Cheng, Mogens Nielsen |
Open Maps, Behavioural Equivalences, and Congruences. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen |
Reasoning About the Past. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Hune, Mogens Nielsen |
Timed Bisimulation and Open Maps. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Wolfgang Thomas (eds.) |
Computer Science Logic, 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers |
CSL |
1998 |
DBLP BibTeX RDF |
|
| 1 | Mogens Nielsen, Glynn Winskel |
Petri Nets and Bisimulation. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach |
Foreword: Special Volume of TAPSOFT 1995 Papers. |
Theor. Comput. Sci. |
1996 |
DBLP BibTeX RDF |
|
| 1 | Vladimiro Sassone, Mogens Nielsen, Glynn Winskel |
Models for Concurrency: Towards a Classification. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | André Joyal, Mogens Nielsen, Glynn Winskel |
Bisimulation from Open Maps. |
Inf. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Sunesen, Mogens Nielsen |
Behavioural Equivalence for Infinite Systems - Partially Decidable! |
Application and Theory of Petri Nets |
1996 |
DBLP DOI BibTeX RDF |
Behavioural Equivalence, Petri Nets, Decidability, Process Calculi, Partial Order Methods |
| 1 | Allan Cheng, Mogens Nielsen |
Open Maps, Behavioural Equivalences, and Congruences. |
CAAP |
1996 |
DBLP DOI BibTeX RDF |
Open maps, P-bisimilarity, P-factorisability, process algebra, category theory, congruences |
| 1 | Nils Klarlund, Mogens Nielsen, Kim Sunesen |
Automated Logical Verification Based on Trace Abstractions. |
PODC |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Vladimiro Sassone |
Petri Nets and Other Models of Concurrency. |
Petri Nets |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan |
Transition Systems, Event Structures and Unfoldings |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Christian Clausen |
Games and Logics for a Noninterleaving Bisimulation. |
Nord. J. Comput. |
1995 |
DBLP BibTeX RDF |
|
| 1 | Mogens Nielsen, Lutz Priese, Vladimiro Sassone |
Characterizing Behavioural Congruences for Petri Nets. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach (eds.) |
TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings |
TAPSOFT |
1995 |
DBLP BibTeX RDF |
|
| 1 | Mogens Nielsen, Allan Cheng |
Obseving Behaviour Categorically. |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Mogens Nielsen |
Decidability Issues for Petri Nets - a survey. |
Elektronische Informationsverarbeitung und Kybernetik |
1994 |
DBLP BibTeX RDF |
|
| 1 | Javier Esparza, Mogens Nielsen |
Decidability Issues for Petri Nets - a survey. |
Bulletin of the EATCS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Mogens Nielsen, Christian Clausen |
Bisimulation for Models in Concurrency. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Klarlund, Mogens Nielsen, Kim Sunesen |
A Case Study in Verification Based on Trace Abstractions. |
Formal Systems Specification |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Christian Clausen |
Bisimulation, Games, and Logic. |
Results and Trends in Theoretical Computer Science |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen |
Without Title. |
Bulletin of the EATCS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Vladimiro Sassone, Mogens Nielsen, Glynn Winskel |
A Classification of Models for Concurrency. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone, Mogens Nielsen, Glynn Winskel |
Deterministic Behavioural Models for Concurrency. |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | André Joyal, Mogens Nielsen, Glynn Winskel |
Bisimulation and open maps |
LICS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Vladimiro Sassone, Glynn Winskel |
Relationships Between Models of Concurrency. |
REX School/Symposium |
1993 |
DBLP DOI BibTeX RDF |
Models for Concurrency, Semantics, Concurrency, Categories |
| 1 | Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan |
Elementary Transition Systems. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan |
Elementary Transition Systems and Refinement. |
Acta Inf. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Madhavan Mukund, Mogens Nielsen |
CCS, Location and Asynchronous Transition Systems. |
FSTTCS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen |
Models for Concurrency. |
MFCS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan |
Behavioural Notions for Elementary Net Systems. |
Distributed Computing |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George |
The RAISE Language, Method and Tools. |
Formal Asp. Comput. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George |
The RAISE Language, Method and Tools. |
VDM Europe |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Uffe Engberg, Kim S. Larsen |
Fully abstract models for a process language with refinement. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
change of atomicity, noninterleaved models, labelled partial orders, semiwords, concurrency, full abstraction |
| 1 | Mogens Nielsen |
CCS - and its Relationship to Net Theory. |
Advances in Petri Nets |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | César Fernández, Mogens Nielsen, P. S. Thiagarajan |
A note on observable occurrence nets. |
European Workshop on Applications and Theory in Petri Nets |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, P. S. Thiagarajan |
Degrees of Non-Determinism and Concurrency: A Petri Net View. |
FSTTCS |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Erik Meineche Schmidt (eds.) |
Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings |
ICALP |
1982 |
DBLP BibTeX RDF |
|
| 1 | Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel |
Petri Nets, Event Structures and Domains, Part I. |
Theor. Comput. Sci. |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel |
Petri Nets, Event Structures and Domains. |
Semantics of Concurrent Computation |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, Sven Skyum |
Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. II. Nondeterministic Systems. |
Acta Inf. |
1974 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, Sven Skyum |
Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. I. Deterministic Systems. |
Acta Inf. |
1974 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen |
EOL Systems with Control Devices. |
Acta Inf. |
1974 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen |
On the Decidability of Some Equivalence Problems for D0L-Systems |
Information and Control |
1974 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen |
Equivalence of L-Systems. |
L Systems |
1974 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")