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.
Midtgaard, Jan ; Nielson, Flemming ; Nielson, Hanne Riis part of: Static Analysis, pages: 284-305, 2018, Springer Presented at: 25th Static Analysis Symposium
Type: Article in proceedings (Peer reviewed)
Status: Published | Year: 2018 | DOI: https://doi.org/10.1007/978-3-319-99725-4_18
Vasilikos, Panagiotis ; Nielson, Flemming ; Nielson, Hanne Riis part of: POST 2018: Principles of Security and Trust, pages: 28-52, 2018, Springer Presented at: 7th International Conference on Principles of Security and Trust
Status: Published | Year: 2018 | DOI: https://doi.org/10.1007/978-3-319-89722-6_2
Nielson, Hanne Riis ; Nielson, Flemming in: Journal of Logical and Algebraic Methods in Programming, vol: 87, pages: 6-32
Type: Journal article (Peer reviewed)
Status: Published | Year: 2017 | DOI: https://doi.org/10.1016/j.jlamp.2016.09.005
Li, Ximeng ; Wu, Xi ; Lluch Lafuente, Alberto ; Nielson, Flemming ; Nielson, Hanne Riis in: Logical Methods in Computer Science, vol: 13, issue: 1
Status: Published | Year: 2017
Nielson, Flemming ; Nielson, Hanne Riis in: Computer Languages, Systems and Structures, vol: 50, pages: 82-107
Status: Published | Year: 2017 | DOI: https://doi.org/10.1016/j.cl.2017.06.004
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: https://doi.org/10.1145/3110259
Nielson, Flemming ; Nielson, Hanne Riis ; Vasilikos, Panagiotis part of: Models, Algorithms, Logics and Tools, pages: 3-21, 2017, Springer Presented at: KiMfest
Status: Published | Year: 2017 | DOI: https://doi.org/10.1007/978-3-319-63121-9_1
Aslanyan, Zaruhi ; Nielson, Flemming part of: Principles of Security and Trust, pages: 210-31, 2017, Springer Presented at: Principles of Security and Trust. 6th International Conference
Status: Published | Year: 2017 | DOI: https://doi.org/10.1007/978-3-662-54455-6_10
Vasilikos, Panagiotis ; Nielson, Flemming ; Nielson, Hanne Riis in: Leibniz International Proceedings in Informatics, vol: 90 Presented at: 24th International Symposium on Temporal Representation and Reasoning
Type: Conference article (Peer reviewed)
Status: Published | Year: 2017 | DOI: https://doi.org/10.4230/LIPIcs.TIME.2017.21
Midtgaard, Jan ; Nielson, Flemming ; Nielson, Hanne Riis part of: Proceedings of the 23rd International Symposium on Static Analysis (SAS 2016), pages: 338-360, 2016, Springer Presented at: 23rd International Symposium on Static Analysis
Status: Published | Year: 2016