DTU COMPUTE Department of Applied Mathematics and Computer Science
Richard Petersens Plads
Building 324, room 182
2800 Kgs. Lyngby
Request a vCard via e-mail.
Vasilikos, Panagiotis ; Nielson, Flemming ; Nielson, Hanne Riis part of: POST 2018: Principles of Security and Trust (ISBN: 978-3-319-89721-9), pages: 28-52, 2018, Springer, Presented at: 7th International Conference on Principles of Security and Trust , 2018, Thessaloniki
Type: Article in proceedings (Peer reviewed)
Status: Published | Year: 2018 | DOI: http://dx.doi.org/10.1007/978-3-319-89722-6_2
Nielson, Hanne Riis ; Nielson, Flemming in: Journal of Logical and Algebraic Methods in Programming (ISSN: 2352-2208), vol: 87, pages: 6-32, 2017
Type: Journal article (Peer reviewed)
Status: Published | Year: 2017 | DOI: http://dx.doi.org/10.1016/j.jlamp.2016.09.005
Aslanyan, Zaruhi ; Nielson, Flemming (Supervisor) ; Probst, Christian W. (Supervisor) Technical University of Denmark (DTU), pages: 208
Type: Ph.D. thesis
Status: Published | Year: 2017
Li, Ximeng ; Wu, Xi ; Lluch Lafuente, Alberto ; Nielson, Flemming ; Nielson, Hanne Riis in: Logical Methods in Computer Science (ISSN: 1860-5974), vol: 13, issue: 1, 2017
Aslanyan, Zaruhi ; Nielson, Flemming part of: Principles of Security and Trust (ISBN: 9783662544549), pages: 210-31, 2017, Springer, Presented at: Principles of Security and Trust. 6th International Conference, 2017, Uppsala
Status: Published | Year: 2017 | DOI: http://dx.doi.org/10.1007/978-3-662-54455-6_10
Nielson, Flemming ; Nielson, Hanne Riis in: Computer Languages, Systems and Structures (ISSN: 1477-8424), vol: 50, pages: 82-107, 2017
Status: Published | Year: 2017 | DOI: http://dx.doi.org/10.1016/j.cl.2017.06.004
Nielson, Flemming ; Nielson, Hanne Riis ; Vasilikos, Panagiotis part of: Models, Algorithms, Logics and Tools (ISBN: 9783319631202), pages: 3-21, 2017, Springer, Presented at: KiMfest, 2017, Aalborg
Status: Published | Year: 2017 | DOI: http://dx.doi.org/10.1007/978-3-319-63121-9_1
Vasilikos, Panagiotis ; Nielson, Flemming ; Nielson, Hanne Riis in: Leibniz International Proceedings in Informatics (ISSN: 1868-8969), vol: 90, 2017 Presented at: 24th International Symposium on Temporal Representation and Reasoning, 2017, Mons
Type: Conference article (Peer reviewed)
Status: Published | Year: 2017 | DOI: http://dx.doi.org/10.4230/LIPIcs.TIME.2017.21
Midtgaard, Jan ; Justesen, Mathias Nygaard ; Kasting, Patrick Frederik Soelmark ; Nielson, Flemming ; Nielson, Hanne Riis part of: Proceedings of the Acm on Programming Languages , pages: 1-23, 2017, Association for Computing Machinery,
Status: Published | Year: 2017 | DOI: http://dx.doi.org/10.1145/3110259
Bruni, Alessandro ; Nielson, Flemming (Supervisor) ; Nielson, Hanne Riis (Supervisor) Technical University of Denmark (DTU), pages: 155
Status: Published | Year: 2016