Department of Informatics and Mathematical Modeling

  1. 1989
  2. 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

  3. 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

  4. 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

  5. 1988
  6. Published

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

    1988.

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

  7. 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

  8. 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

  9. 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

  10. Published

    A Dynamic Environment for VLSI Design Tools. / Andersen, A. C.; Madsen, Jan; Madsen, J. R.; Pallisgaard, H.

    Proceedings of the 3rd NORSILC/NORCHIP seminar. 1988.

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

  11. Published

    A Formal Type System for Comparing Partial Evaluators. / Nielson, Flemming; Bjørner, D. (Editor); Jones, N. D. (Editor); Ershov, A. P. (Editor).

    Proc. Partial Evaluation and Mixed Computation. North-Holland, 1988. p. 349-384.

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

  12. Published

    A graphical method to select the optimal target value of a process. / Vidal, Rene Victor Valqui.

    In: Engineering Optimization, Vol. 13, 1988, p. 285-291.

    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.