Nielson, Hanne Riis, 1954-....
Nielson, Hanne Riis
Riis Nielson, Hanne
Nielson, H. R.
Hanne Riis Nielson computer scientist, Technical University of Denmark
VIAF ID: 112753746 ( Personal )
Permalink: http://viaf.org/viaf/112753746
Preferred Forms
- 100 0 _ ‡a Hanne Riis Nielson ‡c computer scientist, Technical University of Denmark
-
- 100 1 _ ‡a Nielson, H. R.
- 100 1 _ ‡a Nielson, Hanne Riis
-
-
- 100 1 _ ‡a Nielson, Hanne Riis
-
- 100 1 _ ‡a Nielson, Hanne Riis ‡d 1954-
-
- 100 1 _ ‡a Nielson, Hanne Riis, ‡d 1954-
-
-
-
- 100 1 _ ‡a Nielson, Hanne Riis, ‡d 1954-....
-
-
4xx's: Alternate Name Forms (12)
5xx's: Related Names (1)
- 500 1 _ ‡a Nielson, Flemming ‡d 1955- ‡4 bezf ‡4 https://d-nb.info/standards/elementset/gnd#familialRelationship ‡e Beziehung familiaer
Works
Title | Sources |
---|---|
Automatic binding time analysis for a typed λ-calculus | |
Behaviour analysis for validating communication patterns | |
Constraints for polymorphic behaviours of concurrent ML | |
Correctness preserving transformations on a multipass Occam compiler | |
Denmark. Hof- og statskal., 1988: | |
Design-efficiency in security | |
ESOP'96 | |
Experiments with succinct solvers | |
Formal methods : an appetizer | |
From CML to process algebras | |
Functional completeness of the mixed λ-calculus and combinatory logic | |
Interprocedural control flow analysis | |
Iterative algorithms for fixed point computation | |
Lazy mobile intruders | |
Models of Computation : An Introduction to Computability Theory | |
Observation predicated in flow logic | |
Polymorphic subtyping for side effects | |
Principles of program analysis | |
Proceedings of NordSec | |
Programming languages and systems, ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings | |
SAS 2007 | |
Security for mobility | |
Semantics with applications : an appetizer | |
Special issue on the 6th European symposium on programming : selected papers | |
Static analysis : 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings | |
Static and dynamic processor allocation for higher-order concurrent languages | |
Strictness and totality analysis | |
Termination analysis based on operational semantics | |
Transactions on Computational Systems Biology VII | |
Two-level functional languages | |
Two-level semantics and code generation | |
Type and effect systems : behaviours for concurrency | |
Using computation sequences to define evaluators for attribute grammars | |
Using transformations in the implementation of higher-order functions | |
A ¤hoare-like proof system for total correctness of nested recursive procedures | |
The ¤PSI system | |
The ¤TML-approach to compiler-compilers |