Flemming Nielson

Professor PhD DSc

  • Richard Petersens Plads, 324, 182

    2800 Kgs. Lyngby

    Denmark

1982 …2020

Research activity per year

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

Fingerprint

Dive into the research topics where Flemming Nielson is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 4 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or
  • Adaptive Security Policies

    Nielson, F., Hansen, R. R. & Nielson, H. R., 2020, Engineering Principles. Springer, p. 280-294 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12477).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    18 Downloads (Pure)
  • Secure Guarded Commands

    Nielson, F. & Nielson, H. R., 1 Jan 2020, From Lambda Calculus to Cybersecurity Through Program Analysis. Di Pierro, A., Malacaria, P. & Nagarajan, R. (eds.). Springer, p. 201-215 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12065 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Enforcing globally dependent flow policies in message-passing systems

    Li, X., Nielson, F. & Nielson, H. R., 1 Oct 2019, In : Journal of Computer Languages. 54, 46 p., 100904.

    Research output: Contribution to journalJournal articleResearchpeer-review

  • Formal Methods: An Appetizer.

    Nielson, F. & Nielson, H. R., 2019, Springer. 170 p.

    Research output: Book/ReportBook

  • Lightweight information flow

    Nielson, F. & Nielson, H. R., 1 Jan 2019, Models, Languages, and Tools for Concurrent and Distributed Programming. Springer, p. 455-470 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11665 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

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