Department of Informatics and Mathematical Modeling

  1. 1989
  2. Published

    The Role of Systems Analysis in environmental and natural Resources Management. / Vidal, Rene Victor Valqui.

    Conference on the Systems Analysis Approach to Environmental and Natural Resources Management, Poland. 1989. p. 11-21.

    Publication: ResearchArticle in proceedings – Annual report year: 1989

  3. Published

    The Typed Lambda-calculus with First-Class Processes. / Nielson, Flemming.

    Proc. PARLE'89. Springer-Verlag, 1989. p. 357-373.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1989

  4. Published

    Tidsrækkeanalyse : Time series analysis. / Madsen, Henrik.

    Informatics and Mathematical Modelling (IMM), Technical University of Denmark, 1989.

    Publication: EducationBook – Annual report year: 1989

  5. 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: ResearchPh.D. thesis – Annual report year: 1989

  6. Published

    Transformations on Higher-order Functions. / Nielson, Hanne Riis; Nielson, Flemming.

    Proc. FPCA'89. ACM Press, 1989. p. 129-143.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1989

  7. 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-reviewJournal article – Annual report year: 1989

  8. 1988
  9. Published

    Modelling of Multiple Access Systems with Phase Type Distributions. / Nielsen, Bo Friis.

    1988.

    Publication: ResearchPh.D. thesis – Annual report year: 1988

  10. Published

    A localization property for facility location problems with arbitrary norms. / Juel, Henrik; Love, Robert F.

    In: Naval Research Logistics, Vol. 35, No. 2, 04.1988, p. 203-207.

    Publication: Research - peer-reviewJournal article – Annual report year: 1988

  11. Published

    2-Level Lambda-Lifting. / Nielson, Flemming; Nielson, Hanne Riis.

    Proc. CAAP & ESOP '88. Springer-Verlag, 1988. p. 328-343.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1988

  12. Published

    A Design Method for Embedded Software Systems. / Ravn, Anders P.; Rischel, Hans; Løvengreen, Hans Henrik.

    In: BIT, Vol. 28, No. 3, 1988, p. 427-438.

    Publication: Research - peer-reviewJournal article – Annual report year: 1988

Download list: To download, please limit the number of search results to 1,000 or less.