Department of Informatics and Mathematical Modeling

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

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

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

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

  5. Published
  6. Published

    Coxfordelinger egenskaber og anvendelser. / Nielsen, Bo Friis.

    IMSOR, 1985.

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

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

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

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

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

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