Research output per year
Research output per year
- 34 results
Search results
-
2014
Trust in Event Structures
Nielsen, M., 2014, In: Theoretical Computer Science. 546, August, p. 3-6 4 p.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
-
2012
Transfer of Trust in Event-based Reputation Systems
Nielsen, M. & Krukow, K., 2012, In: Theoretical Computer Science. 429, p. 236-246 11 p.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
-
2010
HMM-based Trust Model
ElSalamouny, E., Nielsen, M. & Sassone, V., 2010, In: Lecture Notes in Computer Science. 5983, p. 21-35 15 p.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
-
2008
A Logical Framework for Reputation Systems
Nielsen, M., Krukow, K. K. & Sassone, V., 2008, In: Journal of Computer Security. 16, 1, p. 63-101 40 p.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
-
Secure Data Flow in a Calculus for Context Awareness
Bucur, D. & Nielsen, M., 2008, In: Lecture Notes in Computer Science. 5065, p. 439-456 17 p.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
-
Trust Models in Ubiquitous Computing
Nielsen, M., Krukow, K. & Sassone, V., 28 Oct 2008, In: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 366, 1881, p. 3781-3793 13 p.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
-
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, In: Lecture Notes in Computer Science. 5065, p. 757-777 21 p.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
-
2007
A Bayesian Model for Event-based Trust
Nielsen, M., Krukow, K. & Sassone, V., 2007, In: Electronic Notes in Theoretical Computer Science. 172, p. 499-521 22 p.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
-
Trust Structures
Nielsen, M. & Krukow, K., 2007, In: International Journal of Information Security. 6, 2-3, p. 153-181 28 p.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
-
2005
A Framework for Concrete Reputation-Systems
Krukow, K. K., Nielsen, M. & Sassone, V., 2005, In: B R I C S Report Series. BRICS RS-05-23, p. 1-48Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research
-
2004
Trust in Global Computing
Carbone, M., Nielsen, M. & Sassone, V., 2004, In: Association for Logic Programming Newsletter. 17, 4Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research
-
2003
Temporal constraint programming: A framework for discrete-timed systems
Nielsen, M. & Valencia, F. D., 2003, In: Association for Logic Programming Newsletter. 15, 4Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research
-
Undecidability of Domino Games and Hhp-Bisimilarity
Jurdzinski, M., Nielsen, M. & Srba, J., 2003, In: Information and Computation. 184, 2, p. 343-368 26 p.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › 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, In: I E E E Pervasive Computing. 2, 3, p. 52-61 10 p.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
-
2002
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications
Nielsen, M., Palamidessi, C. & Valencia, F. D., 2002, In: Nordic Journal of Computing. 9, 2, p. 145-188 44 p.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research
-
2001
Temporal Concurrent Constraint Programming: Applications and Behavior
Nielsen, M. & Valencia, F. D., 2001, In: B R I C S Report Series. RS-01-48, 36 p.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research
-
1999
Bisimulation and Open Maps for Timed Transition Systems
Nielsen, M., 1999, In: Fundamenta Informaticae. 38, 1-2, p. 61-77Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
-
Hereditary History Preserving Bisimilarity Is Undecidable
Jurdzinski, M. & Nielsen, M., 1999, In: B R I C S Report Series. RS-99-19, 18 p.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research
-
Hereditary history preserving simulation is undecidable
Jurdzinski, M. & Nielsen, M., 1999, In: B R I C S Report Series. RS-99-1, 15 p.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research
-
1998
Open maps, behavioural equivalences, and congruences 1
Cheng, A. & Nielsen, M., 1998, In: Theoretical Computer Science. 190, 1, p. 87-112Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
-
1996
Bisimulation from Open Maps
Joyal, A., Nielsen, M. & Winskel, G., 1996, In: Information and Computation. 127, 2, p. 164-185Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
-
Models for concurrency: towards a classification
Sassone, V., Nielsen, M. & Winskel, G., 1996, In: Theoretical Computer Science. 170, 1-2, p. 297-348Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
-
Petri nets and bisimulation
Nielsen, M. & Winskel, G., 1996, In: Theoretical Computer Science. 153, 1-2, p. 211-244Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
-
1995
A case study in automated verification based on trace abstractions
Klarlund, N., Nielsen, M. & Sunesen, K., 1995, In: B R I C S Report Series. RS-95-54, 35 p.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research
-
Games and logics for a noninterleaving bisimulation
Nielsen, M. & Clausen, C., 1995, In: Nordic Journal of Computing. 2, 2, p. 221-249Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
-
Open Maps (at) Work
Cheng, A. & Nielsen, M., 1995, In: B R I C S Report Series. RS-95-23, 33 p.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research
-
Transition-Systems, Event Structures, and Unfoldings
Nielsen, M., Rozenberg, G. & Thiagarajan, P. S., 1995, In: Information and Computation. 118, 2, p. 191-207Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
-
1994
Decidability in Petri Nets - a Survey
Ezparza, J. & Nielsen, M., 1994, In: Bulletin of the European Association for Theoretical Computer Science. 52, p. 244-262Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research
-
Decidability issues for Petri Nets
Ezparza, J. & Nielsen, M., 1994, In: Information Processing and Cybernetics. 30, 3, p. 143-160Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
-
1992
Elementary transition systems
Nielsen, M., Rozenberg, G. & Thiagarajan, P. S., 1992, In: Theoretical Computer Science. 96, 1, p. 3-33Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
-
1981
Petri nets, event structures and domains, part I
Nielsen, M., Plotkin, G. & Winskel, G., 1981, In: Theoretical Computer Science. 13, 1, p. 85-108Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
-
1974
Nonterminals, homomorphisms and codings in different variations of OL-systems. I. Deterministic systems
Nielsen, M., Rozenberg, G., Salomaa, A. & Skyum, S., 1974, In: Acta Informatica. 4, 1, p. 87-106Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
-
Nonterminals, homomorphisms and codings in different variations of OL-systems. II. Nondeterministic systems
Nielsen, M., Rozenberg, G., Salomaa, A. & Skyum, S., 1974, In: Acta Informatica. 3, 4, p. 357-364Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
-
On the decidability of some equivalence problems for DOL-systems
Nielsen, M., 1974, In: Information and Computation. 25, 2, p. 166-193Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review