• Richard Petersens Plads, 324, 182

    2800 Kgs. Lyngby

    Denmark

1982 …2019
If you made any changes in Pure these will be visible here soon.

Research Output 1982 2019

Filter
Conference article
2017
122 Downloads (Pure)

Time dependent policy-based access control

Vasilikos, P., Nielson, F. & Nielson, H. R., 2017, In : Leibniz International Proceedings in Informatics. 90, 18 p.

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File
2011
209 Downloads (Pure)

A Stochastic Broadcast Pi-Calculus

Song, L., Nielson, F. & Nielsen, B. F., 2011, In : Electronic Proceedings in Theoretical Computer Science. 57, Proc. QAPL 2011, p. 74-88

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File
2010

From Flow Logic to static type systems for coordination languages

De Nicola, R., Gorla, D., Hansen, R. R., Nielson, F., Nielson, H. R., Probst, C. W. & Pugliese, R., 2010, In : Science of Computer Programming. 75, 6, p. 376-397

Research output: Contribution to journalConference articleResearchpeer-review

Model Checking Is Static Analysis of Modal Logic

Nielson, F. & Nielson, H. R., 2010, In : Lecture Notes in Computer Science. 6014, p. 191-205

Research output: Contribution to journalConference articleResearchpeer-review

Probabilistic Aspects: Checking Security in an Imperfect World

Hankin, C., Nielson, F. & Nielson, H. R., 2010, In : Lecture Notes in Computer Science. 6084, p. 348-363

Research output: Contribution to journalConference articleResearchpeer-review

2007

Cryptographic Pattern Matching

Nielsen, C. R., Nielson, F. & Nielson, H. R., 2007, In : Electronic Notes in Theoretical Computer Science. 168, p. 91-107

Research output: Contribution to journalConference articleResearchpeer-review

1998

Strictness and Totality Analysis

Solberg, K. L., Nielson, H. R. & Nielson, F., 1998, In : Science of Computer Programming. 31, 1, p. 113-145

Research output: Contribution to journalConference articleResearchpeer-review

1994

The tensor product in Wadler's analysis of lists

Nielson, F. & Nielson, H. R., 1994, In : Science of Computer Programming. 22, 3, p. 327-354

Research output: Contribution to journalConference articleResearchpeer-review