Department of Informatics and Mathematical Modeling

  1. 1988
  2. Published

    Mutually Recursive Algebraic Domain Equation. / Haxthausen, Anne Elisabeth.

    Proceedings of VDM'88. Springer-Verlag, 1988.

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

  3. Published

    Optimization of production planning models. / Vidal, Rene Victor Valqui.

    In: Investigacion Operacional (Cuba), Vol. ix, No. 3, 1988, p. 27-36.

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

  4. Published

    Service Protection by Time-in. / Nielsen, Bo Friis; Bonatti, M. (Editor).

    ITC-12 Teletraffic Sciences for New Cost Effective Systems. North-Holland, 1988.

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

  5. Published

    Simultanous Estimation of Innovations variance and States in a Dynamic System. / Poulsen, Niels Kjølstad; Holst, Jan.

    Identification and System Parameter Estimation, Beijing, China. 1988. p. 1263-1269.

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

  6. Published

    SOFTM: a software maintenance expert system in Prolog. / Pau, L.; Negret, J. M.

    Proceedings of the Conference on Software Maintenance. Scottsdale, AZ, USA : IEEE, 1988. p. 306-311.

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

  7. Published

    Stability of fluxon motion in long Josephson junctions at high bias. / Pagano, S.; Sørensen, Mads Peter; Christiansen, Peter Leth; Parmentier, R. D.

    In: Physical Review B Condensed Matter, Vol. 38, No. 7, 1988, p. 4677-4687.

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

  8. Published

    Statistisk behandling af nærinfrarøde reflektionsmålinger. / Holst, Helle.

    1988. 340 p. (IMM-PHD-1988-52).

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

  9. Published

    Strictness Analysis and Denotational Abstract Interpretation. / Nielson, Flemming.

    In: Information and Computation, Vol. 76, No. 1, 1988, p. 29-92.

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

  10. Published

    Structuring Mechanisms in Formal Specification Languages. / Haxthausen, Anne Elisabeth.

    1988.

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

  11. Published

    Teknologi og kvalifikationer, metodisk overvejelser (in Danish). / Vidal, Rene Victor Valqui; Bentsen, J.

    IMSOR, DTH, 1988.

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

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