Mogens Nielsen

Publikation

Publikationer pr. år 1973 1974 1994 1995 1996 1998 2001 2002 2003 2004 2007 2019

• 39 Konferencebidrag i proceedings
• 34 Tidsskriftartikel
• 11 Working paper
• 10 Bidrag til bog/antologi
• 16 Mere
  • 8 Antologi
  • 3 Bog
  • 3 Rapport
  • 1 Konferenceartikel
  • 1 Leder

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2019

  Carl Adam Petri: a tribute from Aarhus

  Jensen, K. & Nielsen, M., 2019, Carl Adam Petri: ideas, personality, impact. Reisig, W. & Rozenberg, G. (red.). Cham: Springer, s. 81-84

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Formidling
• 2018

  Computational Thinking — hvorfor, hvad og hvordan? Efter opdrag fra Villum Fondens bestyrelse

  Caspersen, M. E., Iversen, O. S., Nielsen, M., Hjorth, H. A. & Musaeus, L. H., 20 dec. 2018, Aarhus. 72 s.

  Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

• 2014

  Trust in Event Structures

  Nielsen, M., 2014, I: Theoretical Computer Science. 546, August, s. 3-6 4 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
• 2012

  To Dexter - A Tribute from Aarhus

  Schmidt, E. M., Skyum, S. & Nielsen, M., 2012, Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Constable, R. L. & Silva, A. (red.). Springer, s. 341 1 s. (Lecture Notes in Computer Science, Bind 7230).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Formidling

  • Computer Science 100%
  • Fundamental Research 50%
  • Research Centre 25%

• Transfer of Trust in Event-based Reputation Systems

  Nielsen, M. & Krukow, K., 2012, I: Theoretical Computer Science. 429, s. 236-246 11 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • Event Structure 100%
  • Concurrency 100%
  • Reputation System 100%
  • Security Mechanism 50%
  • Global Computing 50%
• 2010

  HMM-based Trust Model

  ElSalamouny, E., Nielsen, M. & Sassone, V., 2010, I: Lecture Notes in Computer Science. 5983, s. 21-35 15 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • Trust Model 100%
  • Hidden Markov Model 100%
  • Dynamic Behavior 100%
• 2009

  Probabilistic Computational Trust

  Krukow, K., Nielsen, M. & Sassone, V., 2009, Perspectives in Concurrency Theory. Universities Press (India), s. 295-316 22 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

• SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings

  Bielikova, M. (Redaktør), Nielsen, M. (Redaktør), Kucera, A. (Redaktør), Miltersen, P. B. (Redaktør), Palamidessi, C. (Redaktør), Tuma, P. (Redaktør) & Valencia, F. (Redaktør), 2009, Springer. 132 s. (Lecture Notes in Computer Science, Bind 5404).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

  • Computer Science 100%
  • Czech Republic 100%
  • Congressional Report 100%
  • Software Service 100%
  • Commerce 25%
• 2008

  A Logical Framework for Reputation Systems

  Nielsen, M., Krukow, K. K. & Sassone, V., 2008, I: Journal of Computer Security. 16, 1, s. 63-101 40 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • Reputation System 100%
  • Logical Framework 100%
  • Decision-Making 100%
  • Event Structure 50%
  • Distributed Application 50%

• Secure Data Flow in a Calculus for Context Awareness

  Bucur, D. & Nielsen, M., 2008, I: Lecture Notes in Computer Science. 5065, s. 439-456 17 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

• Trust Models in Ubiquitous Computing

  Nielsen, M., Krukow, K. & Sassone, V., 28 okt. 2008, I: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 366, 1881, s. 3781-3793 13 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • Trust Model 100%

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

  Boudol, G., Castellani, I., Hennessy, M., Nielsen, M. & Winskel, G., 2008, I: Lecture Notes in Computer Science. 5065, s. 757-777 21 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • Process Algebra 100%
  • Concurrency 100%
  • Action Research 100%
• 2007

  A Bayesian Model for Event-based Trust

  Nielsen, M., Krukow, K. & Sassone, V., 2007, I: Electronic Notes in Theoretical Computer Science. 172, s. 499-521 22 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • Bayesian Model 100%
  • Future Behavior 100%

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

  Nielsen, M., Aranda, J. A., Di Giusto, C. & Valencia, F., 2007, Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings. Shao, Z. (red.). Springer, s. 383-398 15 s. (Lecture Notes in Computer Science, Bind 4807).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Context Free Languages 100%

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

  Krukow, K. K. & Nielsen, M., 2007, Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers. Dimitrakos, T., Martinelli, F., Ryan, P. Y. A. & Schneider, S. (red.). Springer, s. 96-111 16 s. (Lecture Notes in Computer Science, Bind 4691).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Predictive Probability 100%
  • Probabilistic Modeling 100%

• Towards a Formal Framework for Computational Trust

  Nielsen, M., Krukow, K. K. & Sassone, V., 2007, Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures. de Boer, F. S., Bonsangue, M. M., Graf, S. & de Roever, W.-P. (red.). Springer, s. 175-184 (Lecture Notes in Computer Science, Bind 4709).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Formal Framework 100%
  • Quantitative Comparison 100%
  • Mathematical Measure 100%

• Trust Structures

  Nielsen, M. & Krukow, K., 2007, I: International Journal of Information Security. 6, 2-3, s. 153-181 28 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

• 2005

  A Framework for Concrete Reputation-Systems

  Krukow, K. K., Nielsen, M. & Sassone, V., 2005, I: B R I C S Report Series. BRICS RS-05-23, s. 1-48

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning

  • Trust Management 100%
  • Reputation System 100%
  • System Management 66%
  • Efficient Algorithm 33%
  • Linear Temporal Logic 33%

• A Framework for Concrete Reputation-Systems with Applications to History-Based Access Control

  Krukow, K. K., Nielsen, M. & Sassone, V., 2005, Proc. of 12th ACM Conference on Computer and Communications Security. Association for Computing Machinery, s. 260-269 10 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Trust Management 100%
  • Reputation System 100%
  • Access Control 100%
  • System Management 66%
  • Linear Temporal Logic 33%

• Introduction - Combined TCSA/TCSB issue - Mathematical Foundations of Computer Science 2000

  Nielsen, M. (Redaktør) & Rovan, B. (Redaktør), 2005, I: Theoretical Computer Science. 340, 3, s. 457-458 2 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Leder
• 2004

  A Calculus for Trust Management

  Carbone, M., Nielsen, M. & Sassone, V., 2004, FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings. Lodaya, K. & Mahajan, M. (red.). Springer, s. 161-173 13 s. (Lecture Notes in Computer Science, Bind 3328).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Global Computing 100%
  • Trust Management 100%
  • Process Algebra 50%
  • Datalog 50%
  • Formalization 50%

• Current Trends in Theoretical Computer Science - The Challenge of the New Century: Concurrency

  Nielsen, M. (Redaktør), 2004, World Scientific.

  Publikation: Bog/antologi/afhandling/rapport › Bog › Formidling

• Notes on Timed Concurrent Constraint Programming

  Nielsen, M. & Valencia, F. D., 2004, Lectures on Concurrency and Petri Nets: Advances in Petri Nets. Desel, J., Reisig, W. & Rozenberg, G. (red.). Springer, s. 137-159 (Lecture Notes in Computer Science, Bind 3098).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Constraint Programming 100%
  • Temporal Logic 25%
  • Process Algebra 25%
  • Reactive System 25%
  • Concurrency 25%

• On the Formal Modeling of Trust in Reputation-Based Systems

  Nielsen, M., Krukow, K., Karhumäki, J. (Redaktør), Maurer, H. A. (Redaktør), Paun, G. (Redaktør) & Rozenberg, G. (Redaktør), 2004, Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday. Springer, s. 192-204 13 s. (Lecture Notes in Computer Science, Bind 3113).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning

• Trust in Global Computing

  Carbone, M., Nielsen, M. & Sassone, V., 2004, I: Association for Logic Programming Newsletter. 17, 4

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning

• 2003

  A Formal Model for Trust in Dynamic Networks

  Carbone, M., Nielsen, M., Sassone, V., Cerone, A. (Redaktør) & Lindsay, P. (Redaktør), 2003, First International Conference on Software Engineering and Formal Methods, 2003.Proceedings.. IEEE, s. 54-61 8 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Global Computing 100%
  • Trust Management 100%
  • Partial Order 100%
  • Domain Theory 100%
  • Dynamic Network 100%

• Temporal constraint programming: A framework for discrete-timed systems

  Nielsen, M. & Valencia, F. D., 2003, I: Association for Logic Programming Newsletter. 15, 4

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning

• Towards a Formal Notion of Trust

  Nielsen, M. & Krukow, K. K., 2003, Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming. Association for Computing Machinery, s. 4-7 4 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • System Management 100%
  • Security Mechanism 100%
  • Global Computing 100%
  • Trust Management 100%
  • Trust Model 100%

• Undecidability of Domino Games and Hhp-Bisimilarity

  Jurdzinski, M., Nielsen, M. & Srba, J., 2003, I: Information and Computation. 184, 2, s. 343-368 26 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

• Using trust for Secure Collaboration in Uncertain Environments

  Cahill, V., Gray, E., Seigneur, J., Jensen, C., Chen, Y., Shand, B., Dimmock, N., Twigg, A., Bacon, J., English, C., Wagealla, W., Terzis, S., Nixon, P., Serugendo, G. D. M., Bryce, C., Carbone, M., Krukow, K. & Nielsen, M., 2003, I: I E E E Pervasive Computing. 2, 3, s. 52-61 10 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • Pervasive Computing 100%
  • pervasive computing environment 100%
  • Security Mechanism 100%
• 2002

  A Calculus for Temporal Concurrent Constraint Programming

  Nielsen, M., Palamidessi, C. & Valencia Posso, F. D., 2002, I: Electronic Notes in Theoretical Computer Science. 1, s. A-59

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Konferenceartikel › Forskning

• Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002.

  Nielsen, M. (Redaktør) & Engberg, U. H. (Redaktør), 2002, Berlin: Springer. 434 s. (Lecture Notes in Computer Science, Bind 2303).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• On the Expressive Power of Temporal Concurrent Constraint Programming Languages

  Nielsen, M., Palamidessi, C. & Valencia, F. D., 2002, Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming. Association for Computing Machinery, s. 156-167 11 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning

  • Process Variable 100%

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

  Nielsen, M. & Thiagarajan, P. S., 2002, Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24-30, 2002 Proceedings. Esparza, J. & Lakos, C. (red.). Springer, s. 467-488 (Lecture Notes in Computer Science, Bind 2360).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Event Structure 100%
  • Petri Nets 100%
  • Events 100%
  • Nets 100%
  • Subclasses 33%

• Temporal Concurrent Constraint Programming: Applications and Behavior

  Nielsen, M. & Valencia Posso, F. D., 2002, Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg. Brauer, W., Ehrig, H., Karhumäki, J. & Salomaa, A. (red.). Berlin / Heidelberg: Springer, s. 298-324 27 s. (Lecture Notes in Computer Science, Bind 2300).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning

  • Constraint Programming 100%
  • Behavioral Study 50%
  • Computational Modeling 50%
  • Internal Interaction 50%
  • Environment Interaction 50%

• Temporal Concurrent Constraint Programming: Denotation, Logic and Applications

  Nielsen, M., Palamidessi, C. & Valencia, F. D., 2002, I: Nordic Journal of Computing. 9, 2, s. 145-188 44 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning

  • Constraint Programming 100%
  • Behavioral Study 50%
  • Computational Modeling 50%
  • Internal Interaction 50%
  • Environment Interaction 50%
• 2001

  CONCUR 2001 - Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20-25, 2001 Proceedings

  Larsen, K. G. (Redaktør) & Nielsen, M. (Redaktør), 2001, Berlin / Heidelberg: Springer. 582 s. (Lecture Notes in Computer Science, Bind 2154).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• Current Trends in Theoretical Computer Science Entering the 21st Century: Concurrency

  Nielsen, M. (Redaktør), Paun, G. (Redaktør), Rozenberg, G. (Redaktør) & Salomaa, A. (Redaktør), 2001, Washington, D.C.: World Scientific. 437 s.

  Publikation: Bog/antologi/afhandling/rapport › Bog › Formidling

• Modelling with Partial Orders - Why and Why Not?

  Nielsen, M., 2001, Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings. Orejas, F., Spirakis, P. G. & van Leeuwen, J. (red.). Springer, s. 61-63 3 s. (Lecture Notes in Computer Science, Bind 2076).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning

  • Partial Order 100%
  • Concurrency 33%

• On the Power of Labels in Transition Systems

  Srba, J., Guldstrand Larsen, K. (Redaktør) & Nielsen, M. (Redaktør), 2001, Lecture Notes in Computer Science: Proceedings of the 12th International Conference on Concurrency Theory. 2154 of Lecture Notes in Computer Science udg. Springer, Bind 2154/2001. s. 277-291 15 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning

  • Transition System 100%
  • Petri Net 50%
  • Model Checking Problem 25%
  • Pushdown Automaton 25%

• Properties of Distributed Timed-Arc Petri Nets

  Nielsen, M., Sassone, V. & Srba, J., 2001, FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference Bangalore, India, December 13-15, 2001 Proceedings. Hariharan, R., Vinay, V. & Mukund, M. (red.). Springer, s. 280-291 12 s. (Lecture Notes in Computer Science, Bind 2245).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Formal Definition 100%
  • Time Parameter 100%

• Temporal Concurrent Constraint Programming: Applications and Behavior

  Nielsen, M. & Valencia, F. D., 2001, I: B R I C S Report Series. RS-01-48, 36 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning

• Towards a Notion of Distributed Time for Petri Nets

  Nielsen, M., Sassone, V. & Srba, J., 2001, Applications and Theory of Petri Nets 2001: 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings. Colom, J.-M. & Koutny, M. (red.). Springer, s. 23-31 9 s. (Lecture Notes in Computer Science, Bind 2075).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Petri Net 100%
  • Formal Definition 50%
  • Time Parameter 50%
• 2000

  A Calculus of Communicating Systems with Label Passing – Ten Years After

  Engberg, U. H. & Nielsen, M., 2000, Proof, Language, and Interaction: Essays in Honour of Robin Milner. Plotkin, G. D., Stirling, C. & Tofte, M. (red.). MIT Press, s. 599-622

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning

• Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26-30, 2000 Proceedings

  Nielsen, M. & Simpson, D., 2000, Springer. 484 s. (Lecture Notes in Computer Science, Bind 1825).

  Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

• Hereditary History Preserving Bisimilarity Is Undecidable

  Jurdzinski, M. & Nielsen, M., 2000, STACS 2000: 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings. Reichel, H. & Tison, S. (red.). Springer, s. 358-369 (Lecture Notes in Computer Science, Bind 1770).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Causal Relationship 100%
  • Halting Problem 100%

• Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings

  Nielsen, M. (Redaktør) & Rovan, B. (Redaktør), 2000, Springer. 709 s. (Lecture Notes in Computer Science, Bind 1893).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
• 1999

  Automata, Languages and Programming: 26th International Colloquium, ICALP'99 Prague, Czech Republic, July 11-15, 1999 Proceedings

  van Emde Boas, P. (Redaktør), Wiedermann, J. (Redaktør) & Nielsen, M. (Redaktør), 1999, Springer. (Lecture Notes in Computer Science, Bind 1644).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• Bisimulation and Open Maps for Timed Transition Systems

  Nielsen, M., 1999, I: Fundamenta Informaticae. 38, 1-2, s. 61-77

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • Open Map 100%
  • Canonical Model 25%
  • Decidability 20%
  • Formal Model 20%
  • Time System 20%

• Hereditary History Preserving Bisimilarity Is Undecidable

  Jurdzinski, M. & Nielsen, M., 1999, I: B R I C S Report Series. RS-99-19, 18 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning