Flemming Nielson
Flemming Nielson
Professor at DTU Applied Mathematics and Computer Science
Geverifieerd e-mailadres voor imm.dtu.dk
Titel
Geciteerd door
Geciteerd door
Jaar
Principles of program analysis
F Nielson, HR Nielson, C Hankin
Springer Science & Business Media, 2004
28122004
Semantics with applications
HR Nielson, F Nielson
Wiley, 1992
918*1992
Abstract interpretation: a semantics-based tool for program analysis
F Nielson, N Jones
Handbook of logic in computer science 4, 527-636, 1994
2661994
Two-level functional languages
F Nielson, HR Nielson
Cambridge university press, 2005
2432005
Static validation of security protocols
C Bodei, M Buchholtz, P Degano, F Nielson, HR Nielson
Journal of Computer Security 13 (3), 347-390, 2005
1712005
Type and effect systems
F Nielson, HR Nielson, C Hankin
Principles of Program Analysis, 283-363, 1999
1711999
Higher-order concurrent programs with finite communication topology
HR Nielson, F Nielson
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994
1651994
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
1611997
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
1412003
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
1232001
Automatic binding time analysis for a typed λ-calculus
HR Nielson, F Nielson
Science of computer programming 10 (2), 139-176, 1988
1231988
Control flow analysis for the π-calculus
C Bodei, P Degano, F Nielson, HR Nielson
International Conference on Concurrency Theory, 84-98, 1998
1221998
Flow Logic: a multi-paradigmatic approach to static analysis
HR Nielson, F Nielson
The essence of computation, 223-244, 2002
1122002
A denotational framework for data flow analysis
F Nielson
Acta Informatica 18 (3), 265-287, 1982
1111982
Two-level semantics and abstract interpretation
F Nielson
Theoretical Computer Science 69 (2), 117-242, 1989
1061989
Validating firewalls in mobile ambients
F Nielson, HR Nielson, RR Hansen, JG Jensen
International Conference on Concurrency Theory, 463-477, 1999
1001999
Type and effect systems: behaviours for concurrency
T Amtoft, HR Nielson, F Nielson
World Scientific, 1999
951999
A Succinct Solver for ALFP.
F Nielson, H Seidl, HR Nielson
Nord. J. Comput. 9 (4), 335-372, 2002
912002
Two-level semantics and code generation
F Nielson, HR Nielson
Theoretical computer science 56 (1), 59-133, 1988
901988
From CML to process algebras
F Nielson, HR Nielson
International Conference on Concurrency Theory, 493-508, 1993
891993
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20