06161 Abstracts Collection--Simulation and Verification of Dynamic Systems DM Nicol, C Priami, H Riis-Nielson, AM Uhrmacher Dagstuhl Seminar Proceedings, 2006 | 2 | 2006 |
06161 Executive Summary–Simulation and Verification of Dynamic Systems H Riis-Nielson, DM Nicol, C Priami, AM Uhrmacher Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2006 | | 2006 |
06161 Executive Summary—Simulation and Verification of Dynamic Systems HR Nielson, DM Nicol, C Priami, AM Uhrmacher | | 2006 |
08161 Abstracts Collection–Scalable Program Analysis F Martin, H Riis Nielson, C Riva, M Schordan Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2008 | | 2008 |
2-level X-lifting F Nielson, HR Nielson ESOP'88: 2nd European Symposium on Programming. Nancy, France, March 21-24 …, 1988 | | 1988 |
2-level λ-lifting F Nielson, HR Nielson European Symposium on Programming, 328-343, 1988 | 9 | 1988 |
38050 Povo–Trento (Italy), Via Sommarive 14 F Nielson, HR Nielson, C Priami | | |
6th European Symposium on Programming HR NIELSON Science of computer programming 32 (1-3), 1998 | | 1998 |
A calculus for control flow analysis of security protocols M Buchholtz, H Riis Nielson, F Nielson International Journal of Information Security 2, 145-167, 2004 | 61 | 2004 |
A calculus for quality HR Nielson, F Nielson, R Vigo Formal Aspects of Component Software: 9th International Symposium, FACS 2012 …, 2013 | 49 | 2013 |
A calculus of quality for robustness against unreliable communication HR Nielson, F Nielson, R Vigo Journal of Logical and Algebraic Methods in Programming 84 (5), 611-639, 2015 | 7 | 2015 |
A calculus of quality for robustness against unreliable communication-DTU Orbit (11/01/2016) HR Nielson, F Nielson, R Vigo | | 2015 |
A coordination language for databases X Li, X Wu, AL Lafuente, F Nielson, HR Nielson Logical Methods in Computer Science 13, 2017 | 1 | 2017 |
A flow-sensitive analysis of privacy properties HR Nielson, F Nielson 20th IEEE Computer Security Foundations Symposium (CSF'07), 249-264, 2007 | 18 | 2007 |
A formal analysis for capturing replay attacks in cryptographic protocols H Gao, C Bodei, P Degano, H Riis Nielson Advances in Computer Science–ASIAN 2007. Computer and Network Security: 12th …, 2007 | 23 | 2007 |
A framework for hybrid systems with denial-of-service security attack S Wang, F Nielson, HR Nielson arXiv preprint arXiv:1403.6367, 2014 | 2 | 2014 |
A Hoare-like proof system for analysing the computation time of programs HR Nielson Science of Computer Programming 9 (2), 107-136, 1987 | 37 | 1987 |
A Hoare-like proof system for total correctness of nested recursive procedures HR Nielson 4th Hungarian Computer Science Conference, 1985 | 6 | 1985 |
A Kleene analysis of mobile ambients F Nielson, HR Nielson, M Sagiv European Symposium on Programming, 305-319, 2000 | 34 | 2000 |
A monotone framework for CCS HR Nielson, F Nielson Computer Languages, Systems & Structures 35 (4), 365-394, 2009 | 21 | 2009 |