Obserwuj
Hanne Riis Nielson
Hanne Riis Nielson
professor at DTU Applied Mathematics and Computer Science
Zweryfikowany adres z imm.dtu.dk
Tytuł
Cytowane przez
Cytowane przez
Rok
Principles of program analysis
F Nielson, HR Nielson, C Hankin
springer, 2015
31172015
Semantics with applications: an appetizer
HR Nielson, F Nielson
Springer Science & Business Media, 2007
1050*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
2021999
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20