sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000109367560 | 1 hits
Person
ISNI: 
0000 0001 0936 7560
Name: 
Nielson, H. R.
Nielson, Hanne R.
Nielson, Hanne Riis
Riis Nielson (Hanne)
Riss Nielson, Hanne
Dates: 
1954-
Creation class: 
a
Computer file
Language material
Text
Creation role: 
author
creator
editor
Related names: 
Amtoft, Torben
Buchholtz, Mikael
Filè, Gilberto (1951-)
Gollmann, Dieter
Hankin, Chris
Internationales Begegnungs- und Forschungszentrum für Informatik Dagstuhl
Mishra, Bud
Nielson, Flemming
Nielson, Flemming (1955-...)
SAS 14, 2007, Lyngby-Tårbaek
Thuné, Michael (1956-)
University of Edinburgh
Titles: 
Denmark. Hof- og statskal., 1988:
Experiments with succinct solvers
Hoare logic's for run-time analysis of programs
Interprocedural control flow analysis
Models of Computation An Introduction to Computability Theory
NordSec 2013
Observation predicated in flow logic
Principles of program analysis
Programming languages and systems - ESOP '96 : 6th European symposium on programming Linkoping, Sweden, April 22-24, 1996 proceedings
SAS 2007
Secure IT systems 18th Nordic conference ; proceedings
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
Transactions on Computational Systems Biology VII
Two-level functional languages
Type and effect systems behaviours for concurrency
Notes: 
Thesis (Ph.D.)--University of Edinburgh, 1984
Sources: 
VIAF DBC DNB LC NKC NUKAT SELIBR SUDOC
BOWKER
NTA