Flemming Nielson

  1. 2014
  2. Published

    ICT-powered Health Care Processes. / Carbone, Marco; Christensen, Anders Skovbo; Nielson, Flemming; Nielson, Hanne Riis; Hildebrandt, Thomas; Sølvkjær, Martin.

    Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers. Springer, 2014. p. 59-68 (Lecture Notes in Computer Science, Vol. 8315).

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

  3. Published

    The logic of XACML. / Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming.

    In: Science of Computer Programming, Vol. 83, 2014, p. 80-105.

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

  4. 2013
  5. Published

    A calculus for quality. / Nielson, Hanne Riis; Nielson, Flemming; Vigo, Roberto.

    Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. Springer, 2013. p. 188-204 .

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

  6. Published

    An algebraic approach to analysis of recursive and concurrent programs. / Terepeta, Michal Tomasz; Nielson, Hanne Riis (Main supervisor); Nielson, Flemming (Supervisor).

    Kgs. Lyngby : Technical University of Denmark, 2013. 205 p. (IMM-PHD-2013; No. 307).

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

  7. Published

    Bisimulations meet PCTL equivalences for probabilistic automata. / Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming.

    In: Logical Methods in Computer Science, Vol. 9, No. 2, 7, 2013.

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

  8. Published

    Broadcast, Denial-of-Service, and Secure Communication. / Vigo, Roberto; Nielson, Flemming; Nielson, Hanne Riis.

    Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Springer, 2013. p. 412-427 (Lecture Notes in Computer Science, Vol. 7940).

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

  9. Published

    Design-Efficiency in Security. / Yuksel, Ender; Nielson, Hanne Riis; Nielson, Flemming.

    Kgs. Lyngby : Technical University of Denmark, 2013. 33 p. (IMM-Technical Report-2013; No. 03).

    Publication: ResearchReport – Annual report year: 2013

  10. Published

    Lazy Mobile Intruders. / Mödersheim, Sebastian Alexander; Nielson, Flemming; Nielson, Hanne Riis.

    Principles of Security and Trust: Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Springer, 2013. p. 147-166 (Logical Methods in Computer Science, Vol. 7796).

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

  11. Submitted

    On Building Secure Communication Systems. / Carvalho Quaresma, Jose Nuno; Probst, Christian W. (Main supervisor); Nielson, Flemming (Supervisor).

    Kgs. Lyngby : Technical University of Denmark, 2013. 127 p. (PHD-2013; No. 313).

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

  12. Published

    Predictive access control for distributed computation. / Yang, Fan; Hankin, Chris; Nielson, Flemming; Nielson, Hanne Riis.

    In: Science of Computer Programming, Vol. 78, No. 9, 2013, p. 1264-1277.

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

Previous 1 2 3 4 5 6 7 8 ...23 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word