Department of Informatics and Mathematical Modeling

  1. Published
  2. Published

    Coxfordelinger egenskaber og anvendelser. / Nielsen, Bo Friis.

    IMSOR, 1985.

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

  3. Published

    A Hoare-like Proof System for Total Correctness of Nested Recursive Procedures. / Nielson, Hanne Riis.

    Proc. Fourth Hungarian Computer Science Conference. 1985.

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

  4. Published

    Program Transformations in a Denotational Setting. / Nielson, Flemming.

    In: ACM Transactions on Programming Languages and Systems, Vol. 7, No. 3, 1985, p. 359-379.

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

  5. Published

    Tensor Products Generalize the Relational Data Flow Analysis Method. / Nielson, Flemming.

    Proc. Fourth Hungarian Computer Science Conference. 1985. p. 211-225.

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

  6. Published

    Robust Self Tuning Controllers. / Poulsen, Niels Kjølstad; Holst, Jan (Supervisor).

    1985. 237 p. (Ph.D Thesis 44).

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

  7. Published

    A graphical method for economic selection of quality of manufactured product. / Vidal, Rene Victor Valqui.

    IMSOR, DTH, 1985.

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

  8. Published

    On the connection between mathematical programming and discrete optimal control - a survey amd some new results. / Vidal, Rene Victor Valqui; Ravn, Hans V.; Nahorski, Z.

    IMSOT, DTH, 1985.

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

  9. Published

    On the equivalence of two simple allocation problems. / Vidal, Rene Victor Valqui.

    IMSOR, DTH, 1985.

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

  10. Published

    OR og Produktionsstyring. / Vidal, Rene Victor Valqui.

    IMSOR, DTH, 1985.

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

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