Seguir
Hanne Riis Nielson
Hanne Riis Nielson
professor at DTU Applied Mathematics and Computer Science
Dirección de correo verificada de imm.dtu.dk
Título
Citado por
Citado por
Año
Principles of program analysis
F Nielson, HR Nielson, C Hankin
springer, 2015
30982015
Semantics with applications: an appetizer
HR Nielson, F Nielson
Springer Science & Business Media, 2007
1039*2007
Two-level functional languages
F Nielson, HR Nielson
Cambridge university press, 1992
2541992
Type and effect systems
F Nielson, HR Nielson, C Hankin, F Nielson, HR Nielson, C Hankin
Principles of Program Analysis, 283-363, 1999
1991999
Higher-order concurrent programs with finite communication topology
HR Nielson, F Nielson
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994
1801994
Static validation of security protocols
C Bodei, M Buchholtz, P Degano, F Nielson, HR Nielson
Journal of Computer Security 13 (3), 347-390, 2005
1762005
Infinitary control flow analysis: a collecting semantics for closure analysis
F Nielson, HR Nielson
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
1641997
Automatic validation of protocol narration
C Bodei, M Buchholtz, P Degano, F Nielson, HR Nielson
16th IEEE Computer Security Foundations Workshop, 2003. Proceedings., 126-140, 2003
1422003
Control flow analysis for the π-calculus
C Bodei, P Degano, F Nielson, HR Nielson
CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998
1361998
Automatic binding time analysis for a typed λ-calculus
F Nielson, RH Nielson
Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of …, 1988
1331988
Static analysis for the π-calculus with applications to security
C Bodei, P Degano, F Nielson, HR Nielson
Information and Computation 168 (1), 68-92, 2001
1272001
Flow Logic: a multi-paradigmatic approach to static analysis
HR Nielson, F Nielson
The Essence of Computation: Complexity, Analysis, Transformation, 223-244, 2002
1152002
Validating firewalls in mobile ambients
F Nielson, HR Nielson, RR Hansen, JG Jensen
CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The …, 1999
1041999
Type and effect systems: behaviours for concurrency
T Amtoft, HR Nielson, F Nielson
World Scientific, 1999
1011999
From CML to process algebras
F Nielson, HR Nielson
International Conference on Concurrency Theory, 493-508, 1993
971993
Two-level semantics and code generation
F Nielson, HR Nielson
Theoretical computer science 56 (1), 59-133, 1988
961988
Automated generation of attack trees
R Vigo, F Nielson, HR Nielson
2014 IEEE 27th computer security foundations symposium, 337-350, 2014
932014
A Succinct Solver for ALFP.
F Nielson, H Seidl, HR Nielson
Nord. J. Comput. 9 (4), 335-372, 2002
912002
Abstract interpretation of mobile ambients
R Rydhof Hansen, JG Jensen, F Nielson, HR Nielson
Static Analysis: 6th International Symposium, SAS’99 Venice, Italy …, 1999
901999
Shape analysis for mobile ambients
HR Nielson, F Nielson
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000
872000
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20