Program transformations in a denotational setting
1985 · ACM Transactions on Programming Languages and Systems · 56 citations
https://doi.org/10.1145/3916.3917
F
Flemming Nielson
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
338
Papers
7.1K
Citations
37
h-index
125
i10-index
Flemming Nielson is an academic researcher from Technical University of Denmark. The author has contributed to research in topics: Formal Methods in Verification & Logic, programming, and type systems & Security and Verification in Computing. The author has an h-index of 37, co-authored 288 publications.
ORCID: 0000-0001-7362-6176Papers by this author
worksSecuring Statically-verified Communications Protocols Against Timing Attacks
2005 · Electronic Notes in Theoretical Computer Science · 20 citations
https://doi.org/10.1016/j.entcs.2005.01.016
Performance Evaluation of Security Protocols Specified in LySa
2005 · Electronic Notes in Theoretical Computer Science · 7 citations
https://doi.org/10.1016/j.entcs.2004.01.017
Principles of Security and Trust
2019 · Lecture notes in computer science · 5 citations
https://doi.org/10.1007/978-3-030-17138-4
Observation Predicates in Flow Logic
2008 · 0 citations
Research topics
topicsChat about Author
Papers
Chat
Click to start Chat