Department of Informatics and Mathematical Modeling

  1. 1988
  2. Published

    Determination of material properties by means of the GOP 300. / Conradsen, Knut; Ersbøll, Bjarne Kjær.

    In: Materialenyt, 1988, p. 73-88.

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

  3. 1987
  4. 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

  5. Published

    A Service Protection Model. / Nielsen, Bo Friis.

    NTS-7. 1987.

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

  6. Published

    A localization property for facility location problems with arbitrary norms. / Juel, Henrik.

    4th International Symposium on Locational Decisions. 1987.

    Publication: ResearchArticle in proceedings – Annual report year: 1987

  7. Published

    Hardware Architecture of a Node for the LAN-DTH High Speed Token Ring. / Jensen, Mogens Nordberg; Skov, Morten; Sparsø, Jens.

    Proc. of EFOC/LAN'87 - Fifth Annual European Fibre Optic Communications and Local Aera Networks Conference. 1987. p. 214-219.

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

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

  9. Published

    Respective roles of PTH and substrate for the l-hydroxylation of vitamin D in primary hyperparathyroidism PHP. / Frølich, Anne; Transbøl, Ib; Nielsen, Bo Friis.

    XX European Symposium on Calcifies Tissues. 1987.

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

  10. Published

    Rigorous Development of a Distributed Calendar System. / Dawids, Ulla Gamwell; Løvengreen, Hans Henrik; de Bakker, J.W. (Editor); Nijman, A.J. (Editor); Treleaven, P.C. (Editor).

    Parallel Architectures and Languages Europe: Parallel Languages on PARLE. Vol. II London, UK : Springer-Verlag, 1987. p. 188-205.

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

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

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

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