default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMogens Nielsen
Person information
- affiliation: Aarhus University, Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2019
[p2]Kurt Jensen, Mogens Nielsen:
Carl Adam Petri: A Tribute from Aarhus. Carl Adam Petri: Ideas, Personality, Impact 2019: 81-84- 2014
- [j30]Mogens Nielsen:
Trust in event structures. Theor. Comput. Sci. 546: 3-6 (2014) - 2012
- [j29]Mogens Nielsen, Karl Krukow:
Transfer of trust in event-based reputation systems. Theor. Comput. Sci. 429: 236-246 (2012) - [c49]Erik Meineche Schmidt, Mogens Nielsen, Sven Skyum:
To Dexter - A Tribute from Aarhus. Logic and Program Semantics 2012: 341
2000 – 2009
- 2009
- [c48]Ehab ElSalamouny, Vladimiro Sassone, Mogens Nielsen:
HMM-Based Trust Model. Formal Aspects in Security and Trust 2009: 21-35 - [e9]Mogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank D. Valencia:
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. Lecture Notes in Computer Science 5404, Springer 2009, ISBN 978-3-540-95890-1 [contents] - 2008
- [j28]Karl Krukow, Mogens Nielsen, Vladimiro Sassone:
A logical framework for history-based access control and reputation systems. J. Comput. Secur. 16(1): 63-101 (2008) - [c47]Doina Bucur
, Mogens Nielsen:
Secure Data Flow in a Calculus for Context Awareness. Concurrency, Graphs and Models 2008: 439-456 - [c46]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: 757-777 - 2007
- [j27]Karl Krukow, Mogens Nielsen:
Trust structures. Int. J. Inf. Sec. 6(2-3): 153-181 (2007) - [j26]Ken Yoshida, Ina Lewinsky, Mogens Nielsen, Mads Hylleberg:
Implantation mechanics of tungsten microneedles into peripheral nerve trunks. Medical Biol. Eng. Comput. 45(4): 413-420 (2007) - [c45]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: 383-398 - [c44]Mogens Nielsen, Karl Krukow, Vladimiro Sassone:
A Bayesian Model for Event-based Trust. Computation, Meaning, and Logic 2007: 499-521 - 2006
- [j25]Mogens Nielsen, Ernest Nlandu Kamavuako, Michael Midtgaard Andersen, Marie-Françoise Lucas, Dario Farina:
Optimal wavelets for biomedical signal compression. Medical Biol. Eng. Comput. 44(7): 561-568 (2006) - [c43]Vladimiro Sassone, Karl Krukow, Mogens Nielsen:
Towards a Formal Framework for Computational Trust. FMCO 2006: 175-184 - [c42]Mogens Nielsen, Ernest Nlandu Kamavuako, Michael Midtgaard Andersen, Marie-Françoise Lucas, Dario Farina:
Biomedical Signal Compression With Optimized Wavelets. ICASSP (2) 2006: 1044-1047 - [c41]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: 96-111 - 2005
- [j24]Mogens Nielsen, Branislav Rovan:
Introduction - Combined TCSA/TCSB issue - mathematical foundations of computer science 2000. Theor. Comput. Sci. 340(3): 457-458 (2005) - [c40]Karl Krukow, Mogens Nielsen, Vladimiro Sassone:
A framework for concrete reputation-systems with applications to history-based access control. CCS 2005: 260-269 - 2004
- [c39]Mogens Nielsen, Karl Krukow:
On the Formal Modelling of Trust in Reputation-Based Systems. Theory Is Forever 2004: 192-204 - [c38]Marco Carbone, Mogens Nielsen, Vladimiro Sassone:
A Calculus for Trust Management. FSTTCS 2004: 161-173 - 2003
- [j23]Marcin Jurdzinski, Mogens Nielsen, Jirí Srba:
Undecidability of domino games and hhp-bisimilarity. Inf. Comput. 184(2): 343-368 (2003) - [j22]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:
Using Trust for Secure Collaboration in Uncertain Environments. IEEE Pervasive Comput. 2(3): 52-61 (2003) - [c37]Mogens Nielsen, Frank D. Valencia:
Notes on Timed Concurrent Constraint Programming. Lectures on Concurrency and Petri Nets 2003: 702-741 - [c36]Mogens Nielsen, Karl Krukow:
Towards a formal notion of trust. PPDP 2003: 4-7 - [c35]Marco Carbone, Mogens Nielsen, Vladimiro Sassone:
A Formal Model for Trust in Dynamic Networks. SEFM 2003: 54- - 2002
- [j21]Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia:
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nord. J. Comput. 9(1): 145-188 (2002) - [c34]Mogens Nielsen, P. S. Thiagarajan:
Regular Event Structures and Finite Petri Nets: The Conflict-Free Case. ICATPN 2002: 335-351 - [c33]Mogens Nielsen, Frank D. Valencia:
Temporal Concurrent Constraint Programming: Applications and Behavior. Formal and Natural Computing 2002: 298-324 - [c32]Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia:
On the expressive power of temporal concurrent constraint programming languages. PPDP 2002: 156-167 - [e8]Mogens Nielsen, Uffe Engberg:
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. Lecture Notes in Computer Science 2303, Springer 2002, ISBN 3-540-43366-X [contents] - 2001
- [c31]Mogens Nielsen, Vladimiro Sassone, Jirí Srba:
Towards a Notion of Distributed Time for Petri Nets. ICATPN 2001: 23-31 - [c30]Mogens Nielsen, Vladimiro Sassone, Jirí Srba:
Properties of Distributed Timed-Arc Petri Nets. FSTTCS 2001: 280-291 - [c29]Mogens Nielsen:
Modelling with Partial Orders - Why and Why Not? ICALP 2001: 61-63 - [e7]Kim Guldstrand Larsen, Mogens Nielsen:
CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings. Lecture Notes in Computer Science 2154, Springer 2001, ISBN 3-540-42497-0 [contents] - 2000
- [c28]Uffe Engberg, Mogens Nielsen:
A calculus of communicating systems with label passing - ten years after. Proof, Language, and Interaction 2000: 599-622 - [c27]Marcin Jurdzinski, Mogens Nielsen:
Hereditary History Preserving Bisimilarity Is Undecidable. STACS 2000: 358-369 - [e6]Mogens Nielsen, Dan Simpson:
Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding. Lecture Notes in Computer Science 1825, Springer 2000, ISBN 3-540-67693-7 [contents] - [e5]Mogens Nielsen, Branislav Rovan:
Mathematical Foundations of Computer Science 2000, 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings. Lecture Notes in Computer Science 1893, Springer 2000, ISBN 3-540-67901-4 [contents]
1990 – 1999
- 1999
- [j20]Mogens Nielsen, Thomas Hune:
Bisimulation and Open Maps for Timed Transition Systems. Fundam. Informaticae 38(1-2): 61-77 (1999) - [e4]Jirí Wiedermann, Peter van Emde Boas, Mogens Nielsen:
Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings. Lecture Notes in Computer Science 1644, Springer 1999, ISBN 3-540-66224-3 [contents] - 1998
- [j19]Allan Cheng, Mogens Nielsen:
Open Maps, Behavioural Equivalences, and Congruences. Theor. Comput. Sci. 190(1): 87-112 (1998) - [c26]Mogens Nielsen:
Reasoning About the Past. MFCS 1998: 117-128 - [c25]Thomas Hune, Mogens Nielsen:
Timed Bisimulation and Open Maps. MFCS 1998: 378-387 - [e3]Mogens Nielsen, Wolfgang Thomas:
Computer Science Logic, 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers. Lecture Notes in Computer Science 1414, Springer 1998, ISBN 3-540-64570-5 [contents] - 1996
- [j18]André Joyal, Mogens Nielsen, Glynn Winskel:
Bisimulation from Open Maps. Inf. Comput. 127(2): 164-185 (1996) - [j17]Mogens Nielsen, Glynn Winskel:
Petri Nets and Bisimulation. Theor. Comput. Sci. 153(1&2): 211-244 (1996) - [j16]Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach:
Foreword: Special Volume of TAPSOFT 1995 Papers. Theor. Comput. Sci. 167(1&2): 1 (1996) - [j15]Vladimiro Sassone, Mogens Nielsen, Glynn Winskel:
Models for Concurrency: Towards a Classification. Theor. Comput. Sci. 170(1-2): 297-348 (1996) - [c24]Mogens Nielsen, Vladimiro Sassone:
Petri Nets and Other Models of Concurrency. Petri Nets 1996: 587-642 - [c23]Kim Sunesen, Mogens Nielsen:
Behavioural Equivalence for Infinite Systems - Partially Decidable! Application and Theory of Petri Nets 1996: 460-479 - [c22]Allan Cheng, Mogens Nielsen:
Open Maps, Behavioural Equivalences, and Congruences. CAAP 1996: 257-271 - [c21]Glynn Winskel, Mogens Nielsen:
Presheaves as transition systems. Partial Order Methods in Verification 1996: 129-140 - [c20]Nils Klarlund, Mogens Nielsen, Kim Sunesen:
Automated Logical Verification Based on Trace Abstractions. PODC 1996: 101-110 - 1995
- [j14]Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan:
Transition Systems, Event Structures and Unfoldings. Inf. Comput. 118(2): 191-207 (1995) - [j13]Mogens Nielsen, Christian Clausen:
Games and Logics for a Noninterleaving Bisimulation. Nord. J. Comput. 2(2): 221-249 (1995) - [c19]Mogens Nielsen, Lutz Priese, Vladimiro Sassone:
Characterizing Behavioural Congruences for Petri Nets. CONCUR 1995: 175-189 - [c18]Mogens Nielsen, Allan Cheng:
Obseving Behaviour Categorically. FSTTCS 1995: 263-278 - [p1]Mogens Nielsen, Glynn Winskel:
Trace Structures and other Models for Concurrency. The Book of Traces 1995: 271-305 - [e2]Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach:
TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings. Lecture Notes in Computer Science 915, Springer 1995, ISBN 3-540-59293-8 [contents] - 1994
- [j12]Javier Esparza, Mogens Nielsen:
Decidability Issues for Petri Nets - a survey. Bull. EATCS 52: 244-262 (1994) - [j11]Javier Esparza, Mogens Nielsen:
Decidability Issues for Petri Nets - a survey. J. Inf. Process. Cybern. 30(3): 143-160 (1994) - [c17]Mogens Nielsen, Christian Clausen:
Bisimulation, Games, and Logic. Results and Trends in Theoretical Computer Science 1994: 289-306 - [c16]Mogens Nielsen, Christian Clausen:
Bisimulation for Models in Concurrency. CONCUR 1994: 385-400 - [c15]Nils Klarlund, Mogens Nielsen, Kim Sunesen:
A Case Study in Verification Based on Trace Abstractions. Formal Systems Specification 1994: 341-373 - 1993
- [j10]Mogens Nielsen:
Without Title. Bull. EATCS 50: 182-186 (1993) - [c14]Vladimiro Sassone, Mogens Nielsen, Glynn Winskel:
A Classification of Models for Concurrency. CONCUR 1993: 82-96 - [c13]André Joyal, Mogens Nielsen, Glynn Winskel:
Bisimulation and open maps. LICS 1993: 418-427 - [c12]Vladimiro Sassone, Mogens Nielsen, Glynn Winskel:
Deterministic Behavioural Models for Concurrency. MFCS 1993: 682-692 - [c11]Mogens Nielsen, Vladimiro Sassone, Glynn Winskel:
Relationships Between Models of Concurrency. REX School/Symposium 1993: 425-476 - 1992
- [j9]Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan:
Elementary Transition Systems and Refinement. Acta Informatica 29(6/7): 555-578 (1992) - [j8]Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan:
Elementary Transition Systems. Theor. Comput. Sci. 96(1): 3-33 (1992) - [c10]Madhavan Mukund, Mogens Nielsen:
CCS, Location and Asynchronous Transition Systems. FSTTCS 1992: 328-341 - 1991
- [c9]Mogens Nielsen:
Models for Concurrency. MFCS 1991: 43-46 - 1990
- [j7]Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan:
Behavioural Notions for Elementary Net Systems. Distributed Comput. 4: 45-57 (1990)
1980 – 1989
- 1989
- [j6]Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George:
The RAISE Language, Method and Tools. Formal Aspects Comput. 1(1): 85-114 (1989) - 1988
- [c8]Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George:
The RAISE Language, Method and Tools. VDM Europe 1988: 376-405 - [c7]Mogens Nielsen, Uffe Engberg, Kim S. Larsen:
Fully abstract models for a process language with refinement. REX Workshop 1988: 523-548 - 1986
- [c6]Mogens Nielsen:
CCS - and its Relationship to Net Theory. Advances in Petri Nets 1986: 393-415 - 1984
- [c5]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: 122-138 - [c4]Mogens Nielsen, P. S. Thiagarajan:
Degrees of Non-Determinism and Concurrency: A Petri Net View. FSTTCS 1984: 89-117 - 1982
- [e1]Mogens Nielsen, Erik Meineche Schmidt:
Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings. Lecture Notes in Computer Science 140, Springer 1982, ISBN 3-540-11576-5 [contents] - 1981
- [j5]Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel:
Petri Nets, Event Structures and Domains, Part I. Theor. Comput. Sci. 13: 85-108 (1981)
1970 – 1979
- 1979
- [c3]Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel:
Petri Nets, Event Structures and Domains. Semantics of Concurrent Computation 1979: 266-284 - 1975
- [c2]Jean Berstel, Mogens Nielsen:
The Growth Range Equivalence Problem for DOL Systems is Decidable. Automata, Languages, Development 1975: 161-178 - 1974
- [j4]Mogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, Sven Skyum:
Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. II. Nondeterministic Systems. Acta Informatica 3: 357-364 (1974) - [j3]Mogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, Sven Skyum:
Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. I. Deterministic Systems. Acta Informatica 4: 87-106 (1974) - [j2]Mogens Nielsen:
EOL Systems with Control Devices. Acta Informatica 4: 373-386 (1974) - [j1]Mogens Nielsen:
On the Decidability of Some Equivalence Problems for D0L-Systems. Inf. Control. 25(2): 166-193 (1974) - [c1]Mogens Nielsen:
Equivalence of L-Systems. L Systems 1974: 142-145
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-04 00:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
