Department of Informatics and Mathematical Modeling
- 1989
- Published
The exact evaluation of the {M/D/1/n. / Iversen, Villy Bæk; Kragh, Anders Laage; Nielsen, Bo Friis.
In: NTS-8. 1989.Publication: Research - peer-review › Article in proceedings – Annual report year: 1989
- Published
The generalized maximum principle: an introduction. / Vidal, Rene Victor Valqui.
IMSOR, DTH, 1989.Publication: Research - peer-review › Report – Annual report year: 1989
- Published
The Mixed Lambda-Calculus and Combinatory Logic (an overview). / Nielson, Hanne Riis; Nielson, Flemming.
In: Computing and Information 1989. North-Holland, 1989. p. 39-45.Publication: Research - peer-review › Article in proceedings – Annual report year: 1989
- Published
The Role of Systems Analysis in environmental and natural Resources Management. / Vidal, Rene Victor Valqui.
In: Conference on the Systems Analysis Approach to Environmental and Natural Resources Management, Poland. 1989. p. 11-21.Publication: Research › Article in proceedings – Annual report year: 1989
- Published
The Typed Lambda-calculus with First-Class Processes. / Nielson, Flemming.
In: Proc. PARLE'89. Springer-Verlag, 1989. p. 357-373.Publication: Research - peer-review › Article in proceedings – Annual report year: 1989
- Published
Tidsrækkeanalyse : Time series analysis. / Madsen, Henrik.
IMM/DTU, 1989.Publication: Education › Book – Annual report year: 1989
- Published
Transformations and classifications of remotely sensed data. Theory and geological cases. / Ersbøll, Bjarne Kjær.
1989. 297 p. (IMSOR-PHD-1989-54).Publication: Research › Ph.d. thesis – Annual report year: 1989
- Published
Transformations on Higher-order Functions. / Nielson, Hanne Riis; Nielson, Flemming.
In: Proc. FPCA'89. ACM Press, 1989. p. 129-143.Publication: Research - peer-review › Article in proceedings – Annual report year: 1989
- Published
Two-Level Semantics and Abstract Interpretation. / Nielson, Flemming.
In: Theoretical Computer Science -- Fundamental Studies, Vol. 69, No. 2, 1989, p. 117-242.Publication: Research - peer-review › Journal article – Annual report year: 1989
- 1988
- Published
Modelling of Multiple Access Systems with Phase Type Distributions. / Nielsen, Bo Friis.
1988.Publication: Research › Ph.d. thesis – Annual report year: 1988