Department of Informatics and Mathematical Modeling

  1. 1986
  2. Published

    Opgaver og eksempler til ''Notes on Static and Dynamic Optimization''. / Vidal, Rene Victor Valqui; Ravn, Hans V.

    1986.

    Publication: EducationCompendium/lecture notes – Annual report year: 1986

  3. Published

    ES and OR: Trends of interplay. / Vidal, Rene Victor Valqui; Thorsen, M.

    EURO'86. 1986.

    Publication: ResearchArticle in proceedings – Annual report year: 1986

  4. Published

    On the connections between Mathematical Programming and Discrete Optimal Control. / Vidal, Rene Victor Valqui.

    !2th IFIP Conference on Systems Modelling and Optimization, Budapest, Hungary. Spriger Verlag, 1986. p. 234-243.

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

  5. Published

    The use of remote sensing in mapping of oxidized zones and lineaments in Greenland. / Thyrsted, T.; Conradsen, Knut; Ersbøll, Bjarne Kjær; Nilsson, G.

    First European Workshop in Remote Sensing in Mineral Exploration, Bruxelles. 1986. p. 111-125.

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

  6. Published

    Abstract Interpretation of Denotational Definitions. / Nielson, Flemming.

    Proc. STACS'86. Springer-Verlag, 1986. p. 1-20.

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

  7. Published

    Code Generation from Two-Level Denotational Meta-Languages. / Nielson, Flemming; Nielson, Hanne Riis.

    Programs as Data Objects. Springer-Verlag, 1986. p. 192-205.

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

  8. Published

    Correctness of Code Generation from a Two-Level Meta-Language (Extended Abstract). / Nielson, Flemming.

    Proc. ESOP'86. Springer-Verlag, 1986. p. 30-40.

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

  9. Published

    Expected Forms of Data Flow Analysis. / Nielson, Flemming.

    Programs as Data Objects. Springer-Verlag, 1986. p. 172-191.

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

  10. Published

    Pragmatic Aspects of Two-Level Denotational Meta-Languages. / Nielson, Hanne Riis; Nielson, Flemming.

    Proc. ESOP'86. Springer-Verlag, 1986. p. 133-143.

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

  11. Published

    Semantics Directed Compiling for Functional Languages. / Nielson, Hanne Riis; Nielson, Flemming.

    Proc. ACM Conference on LISP and Functional Programming. 1986. p. 249-257.

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

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