Flemming Nielson

  1. 2016
  2. Published

    Disjunctive Information Flow for Communicating Processes. / Li, Ximeng; Nielson, Flemming; Nielson, Hanne Riis; Feng, Xinyu.

    Revised Selected Papers of the 10th International Symposium on Trustworthy Global Computing (TGC 2015). ed. / Pierre Ganty; Michele Loreti. Springer, 2016. p. 95-111 (Lecture Notes in Computer Science, Vol. 9533).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2016

  3. 2015
  4. Published

    A calculus of quality for robustness against unreliable communication. / Nielson, Hanne Riis; Nielson, Flemming; Vigo, Roberto.

    In: Journal of Logical and Algebraic Methods in Programming, Vol. 84, No. 5, 2015, p. 611-639.

    Publication: Research - peer-reviewJournal article – Annual report year: 2015

  5. Submitted

    Analysis of Security Protocols in Embedded Systems. / Bruni, Alessandro; Nielson, Flemming (Supervisor); Nielson, Hanne Riis (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2015. 153 p. (DTU Compute PHD-2015; No. 389).

    Publication: ResearchPh.D. thesis – Annual report year: 2015

  6. Published

    Availability by Design : A Complementary Approach to Denial-of-Service. / Vigo, Roberto; Nielson, Hanne Riis (Supervisor); Nielson, Flemming (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2015. 190 p. (DTU Compute PHD-2014; No. 353).

    Publication: ResearchPh.D. thesis – Annual report year: 2015

  7. Published

    Discretionary Information Flow Control for Interaction-Oriented Specifications. / Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis.

    Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday. Springer, 2015. p. 427-450 (Lecture Notes in Computer Science, Vol. 9200).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2015

  8. Published

    Factorization of Behavioral Integrity. / Li, Ximeng; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of th 20th European Symposium on Research in Computer Security - ESORICS 2015: Part 2. ed. / Günther Pernul; Peter Y A Ryan; Edgar Weippl. Springer, 2015. p. 500-519 (Lecture Notes in Computer Science, Vol. 9327).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2015

  9. Submitted

    Fine-grained Information Flow for Concurrent Computation. / Li, Ximeng; Nielson, Flemming (Main supervisor); Nielson, Hanne Riis (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2015. 186 p. (DTU Compute PHD-2015; No. 388).

    Publication: ResearchPh.D. thesis – Annual report year: 2015

  10. Published

    Hoare Logic for Disjunctive Information Flow. / Nielson, Hanne Riis; Nielson, Flemming; Li, Ximeng.

    Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. ed. / Chiara Bodei; Gian-Luigi Ferrari; Corrado Priami. Springer, 2015. p. 47-65 (Lecture Notes in Computer Science, Vol. 9465).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2015

  11. Published

    How to Trust the Re-use of Data. / Karafili, Erisa; Nielson, Hanne Riis; Nielson, Flemming.

    Proceedings of the 11th International Workshop on Security and Trust Management (STM 2015). ed. / Sara Foresti. Springer, 2015. p. 72-88 (Lecture Notes in Computer Science, Vol. 9331).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2015

  12. Published

    Klaim-DB: A Modeling Language for Distributed Database Applications. / Wu, Xi; Li, Ximeng; Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis.

    Coordination Models and Languages: Proceedings of the 17th IFIP WG 6.1 International Conference (COORDINATION 2015). ed. / Tom Holvoet; Mirko Viroli. Springer, 2015. p. 197-212 (Lecture Notes in Computer Science, Vol. 9037).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2015

Previous 1 2 3 4 5 6 7 8 ...25 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word