Department of Informatics and Mathematical Modeling

  1. Published

    Simultaneous analysis of imagery of different origin. / Conradsen, Knut; Ersbøll, Bjarne Kjær; Thyrsted, T.

    45th session of the ISI, Amsterdam. 1985. p. 187-188.

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

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

  3. Published

    Simulation studies of radiation linewidth in circular Josephson-junction fluxon oscillators. / If, F.; Christiansen, Peter Leth; Parmentier, R. D.; Skovgaard, Ove; Sørensen, Mads Peter.

    In: Physical Review B Condensed Matter, Vol. 32, No. 3, 1985, p. 1512-1518.

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

  4. Published

    Some Properties of Coxian Distributions with Applications. / Iversen, Villy Bæk; Nielsen, Bo Friis.

    International Conference Modelling Techniques and Tools for Performance Evaluation. 1985. p. 69-74.

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

  5. Published

    The facility location problem for hyper-rectilinear distances. / Juel, Henrik; Love, Robert F.

    In: IIE Transactions, Vol. 17, No. 1, 1985, p. 94-98.

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

  6. Published

    On Concurrency Formalization. / Løvengreen, Hans Henrik.

    1985. 496 p. (Uden navn; No. ID-TR:85-3).

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

  7. Published
  8. Published

    Coxfordelinger egenskaber og anvendelser. / Nielsen, Bo Friis.

    IMSOR, 1985.

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

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

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