Department of Informatics and Mathematical Modeling

  1. Published

    A geometrical interpretation of the existing facility solution condition for the Weber problem. / Juel, Henrik; Love, Robert F.

    In: The Journal of the Operational Research Society, Vol. 37, No. 12, 12.1986, p. 1129-1131.

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

  2. Published

    A geometrical interpretation of the existing facility solution condition for the Weber problem. / Juel, Henrik; Love, Robert F.

    Institute of Mathematical Statistics and Operations Research, Technical University of Denmark, 1986.

    Publication: Research - peer-reviewReport – Annual report year: 1986

  3. Published

    Strategi for grundvandskontrol ved affaldsdeponier. / La Cour Jansen, Jes; Kjeldsen, Peter; Kirkegaard, Claus; Spliid, Henrik.

    In: Vand og Miljø, Vol. 1, 1986, p. 20-24.

    Publication: ResearchJournal article – Annual report year: 1986

  4. Published

    Formel specifikation af parallelle systemer -- en kort orientering. / Løvengreen, Hans Henrik.

    Department of Computer Science, Technical University of Denmark, 1986.

    Publication: Research - peer-reviewReport – Annual report year: 1986

  5. Published

    Digital Design Using Module Generators. / Madsen, Jan; Stassen, Flemming.

    Proceedings of the 2nd NORSILC/NORCHIP Seminar. 1986.

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

  6. Published

    Estimation af parameterværdier i Cox-fordelinger til trafikanalyse. / Nielsen, Bo Friis.

    NTS-6. 1986. p. 1-12.

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

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

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

  9. Published

    Comments on Georgeff's Transformation and Reduction Strategies for Typed Lambda Expressions. / Nielson, Flemming; Nielson, Hanne Riis.

    In: A C M Transactions on Programming Languages and Systems, Vol. 8, No. 3, 1986, p. 406-407.

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

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

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