Department of Informatics and Mathematical Modeling

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

  3. Published

    Strictness Analysis and Denotational Abstract Interpretation (Extended Abstract). / Nielson, Flemming.

    ACM Conference on Principles of Programming Languages POPL'87. 1987. p. 120-131.

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

  4. Published

    Teknologivurderings organisering i DK - et historisk rids. / Vidal, Rene Victor Valqui.

    IMSOR, DTH, 1987.

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

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

  6. Published

    Textural features useful i classification of digital images. / Conradsen, Knut; Ersbøll, Bjarne Kjær.

    The Second International Conference in Statistics, Tampere. 1987. p. 143-159.

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

  7. Published

    Towards a Denotational Theory of Abstract Interpretation. / Nielson, Flemming.

    Abstract Interpretation of Declarative Languages. 1987. p. 219-245.

    Publication: Research - peer-reviewBook chapter – Annual report year: 1987

  8. Published

    Vurdering af teknologisk udvikling inden for levnedsmiddelsektoren. / Vidal, Rene Victor Valqui.

    IMSOR, DTH, 1987.

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

  9. Published

    What is a DSS?. / Vidal, Rene Victor Valqui.

    IMSOR, DTH, 1987.

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

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

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

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