Department of Informatics and Mathematical Modeling

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

  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

    Analysis of Satellite imagery combined with geophysical and giochemical measurements. / Conradsen, Knut; Ersbøll, Bjarne Kjær; Nilsson, G.; Thyrsted, T.

    First European Workshop on Remote sensing in Mineral Exploration, Bruxelles. 1985. p. 87-107.

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

  5. Published

    A Robust Self Tuning Controller for Timevarying Dynamic Systems. / Holst, Jan; Poulsen, Niels Kjølstad.

    Identification and System Parameter Estimation, York, UK. 1985. p. 1773-1778.

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

  6. Published

    Coxfordelinger egenskaber og anvendelser. / Nielsen, Bo Friis.

    IMSOR, 1985.

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

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

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

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