Department of Informatics and Mathematical Modeling
- 1987
- Published
Rigorous Development of a Distributed Calendar System. / Dawids, Ulla Gamwell; Løvengreen, Hans Henrik; de Bakker, J.W. (Editor); Nijman, A.J. (Editor); Treleaven, P.C. (Editor).
In: Parallel Architectures and Languages Europe: Parallel Languages on PARLE. Vol. II London, UK : Springer-Verlag, 1987. p. 188-205.Publication: Research - peer-review › Article in proceedings – Annual report year: 1987
- Published
Solitary waves on nonlinear elastic rods. II.. / Sørensen, Mads Peter; Christiansen, Peter Leth; Lomdahl, P. S.; Skovgaard, Ove.
In: Acoustical Society of America. Journal, Vol. 81, No. 6, 1987, p. 1718-1722.Publication: Research - peer-review › Journal article – Annual report year: 1987
- Published
Soliton laser: A computational two-cavity model. / Berg, P.; If, F.; Christiansen, Peter Leth; Skovgaard, Ove.
In: Physical Review A (Atomic, Molecular and Optical Physics), Vol. 35, No. 10, 1987, p. 4167-4174.Publication: Research - peer-review › Journal article – Annual report year: 1987
- Published
Strictness Analysis and Denotational Abstract Interpretation (Extended Abstract). / Nielson, Flemming.
In: ACM Conference on Principles of Programming Languages POPL'87. 1987. p. 120-131.Publication: Research - peer-review › Article in proceedings – Annual report year: 1987
- Published
Teknologivurderings organisering i DK - et historisk rids. / Vidal, Rene Victor Valqui.
IMSOR, DTH, 1987.Publication: Research - peer-review › Report – Annual report year: 1987
- Published
Test System Impact on System Availability. / Pau, L. F.
In: I E E E Transactions on Aerospace and Electronic Systems, Vol. AES-23, No. 5, 1987, p. 625-633.Publication: Research - peer-review › Journal article – Annual report year: 1987
- Published
Textural features useful i classification of digital images. / Conradsen, Knut; Ersbøll, Bjarne Kjær.
In: The Second International Conference in Statistics, Tampere. 1987. p. 143-159.Publication: Research - peer-review › Article in proceedings – Annual report year: 1987
- Published
Towards a Denotational Theory of Abstract Interpretation. / Nielson, Flemming.
In: Abstract Interpretation of Declarative Languages. 1987. p. 219-245.Publication: Research - peer-review › Book chapter – Annual report year: 1987
- Published
Vurdering af teknologisk udvikling inden for levnedsmiddelsektoren. / Vidal, Rene Victor Valqui.
IMSOR, DTH, 1987.Publication: Research - peer-review › Report – Annual report year: 1987
- Published
What is a DSS?. / Vidal, Rene Victor Valqui.
IMSOR, DTH, 1987.Publication: Research - peer-review › Report – Annual report year: 1987