Department of Informatics and Mathematical Modeling

  1. 1983
  2. Published

    The Discrete-Time Maximum Principle - a survey and some new results. / Vidal, Rene Victor Valqui; Ravn, Hans V.

    In: International Journal of Control, Vol. 40, No. 3, 1983, p. 135-152.

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

  3. Published

    The solution of location problems with certain existing facility structures. / Juel, Henrik; Love, Robert F.

    In: Canadian Journal of Operational Research and Information Processing, Vol. 21, No. 2, 1983, p. 145-150.

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

  4. Published

    Towards Viewing Nondeterminism as Abstract Interpretation. / Nielson, Flemming.

    Proc. Foundations of Software Technology and Theoretical Computer Science. 1983.

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

  5. Published

    Vurdering af teknologisk udvikling indenfor levnedsmiddelsektoren (8 rapporter). / Vidal, Rene Victor Valqui.

    1983.

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

  6. 1982
  7. Published

    A Denotational Framework for Data Flow Analysis. / Nielson, Flemming.

    In: Acta Informatica, Vol. 18, 1982, p. 265-287.

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

  8. Published

    A note on solving multifacility location problems involving Euclidean distances. / Juel, Henrik.

    In: Naval Research Logistics Quarterly, Vol. 29, No. 1, 1982, p. 179-180.

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

  9. Published

    Edb, matematiske modeller og industrille produktion. / Vidal, Rene Victor Valqui; Jespersen, P. H.

    In: Naturkampen, 1982, p. 8.

    Publication: ResearchJournal article – Annual report year: 1982

  10. Published

    Formalization of Database Models. / Bjørner, Dines; Løvengreen, Hans Henrik.

    Formal Specification and Software Development. 1982. p. 379-442.

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

  11. Published

    Formalization of Database Systems -- and a Formal Definition of {IMS}. / Bjørner, Dines; Løvengreen, Hans Henrik.

    Eigth International Conference on Very Large Data Bases. 1982. p. 334-347.

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

  12. Published

    Interchain interaction and fractionally charged solitons in a commensurate charge-density-wave system. / Jensen, Mogens Høgh; Lomdahl, P. S.

    In: Physical Review B Condensed Matter, Vol. 26, No. 2, 1982, p. 1086-1089.

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

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