Department of Informatics and Mathematical Modeling

  1. 1988
  2. Published

    Strictness Analysis and Denotational Abstract Interpretation. / Nielson, Flemming.

    In: Information and Computation, Vol. 76, No. 1, 1988, p. 29-92.

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

  3. Published

    Structuring Mechanisms in Formal Specification Languages. / Haxthausen, Anne Elisabeth.

    1988.

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

  4. Published

    Teknologi og kvalifikationer, metodisk overvejelser (in Danish). / Vidal, Rene Victor Valqui; Bentsen, J.

    IMSOR, DTH, 1988.

    Publication: Research - peer-reviewBook – Annual report year: 1988

  5. Published

    Temperature effects on the Davydov soliton. / Cruzeiro, L.; Halding, J.; Christiansen, Peter Leth; Skovgaard, Ove; Scott, Alwyn C.

    In: Physical Review A (Atomic, Molecular and Optical Physics), Vol. 37, No. 3, 1988, p. 880-887.

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

  6. Published

    The exact evaluation of the {M/D/1/n. / Iversen, Villy Bæk; Kragh, Anders Laage; Nielsen, Bo Friis.

    IMSOR, 1988.

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

  7. Published

    Two-Level Semantics and Code Generation. / Nielson, Flemming; Nielson, Hanne Riis.

    In: Theoretical Computer Science, Vol. 56, No. 1, 1988, p. 59-133.

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

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

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

  11. Published

    Algebraic Optimization of Recursive Database Queries. / Hansen, Michael Reichhardt.

    Intelligence Integration. Canadian Information Processing Society, 1987. p. 223-230.

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

  12. Published

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

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

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

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