Department of Informatics and Mathematical Modeling

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

  3. Published

    A Hoare-like proof system for analysing the computation time of programs. / Nielson, Hanne Riis.

    In: Science of Computer Programming, Vol. 9, No. 2, 1987, p. 107-136.

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

  4. Published

    Duality in constrained location problems. / Juel, Henrik; Love, Robert F.

    In: Operations Research Letters, Vol. 6, No. 6, 12.1987, p. 281-284.

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

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

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

  8. Published

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

    EURO'86. 1986.

    Publication: ResearchArticle in proceedings – Annual report year: 1986

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

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

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

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

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