Department of Informatics and Mathematical Modeling

  1. 1988
  2. Published

    Crises in a driven Josephson junction studied by cell mapping. / Sørensen, Mads Peter; Davidson, A.; Pedersen, Niels Falsig; Pagano, S.

    In: Physical Review A (Atomic, Molecular and Optical Physics), Vol. 38, No. 10, 1988, p. 5384-5390.

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

  3. Published

    A Design Method for Embedded Software Systems. / Ravn, Anders P.; Rischel, Hans; Løvengreen, Hans Henrik.

    In: BIT, Vol. 28, No. 3, 1988, p. 427-438.

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

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

  5. Published

    Automatic Binding Time Analysis for a Typed Lambda-Calculus. / Nielson, Hanne Riis; Nielson, Flemming.

    In: Science of Computer Programming, Vol. 10, No. 2, 1988, p. 139-176.

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

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

  7. Published

    Two-Level Semantics and Code Generation. / Nielson, Flemming; Nielson, Hanne Riis.

    In: Theoretical Computer Science, Vol. 56, No. 1, 1988, p. 59-133.

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

  8. Published

    Bistability and low-frequency fluctuations in semiconductor lasers with optical feedback: a theoretical analysis. / Mørk, Jesper; Tromborg, Bjarne; Christiansen, Peter Leth.

    In: I E E E Journal of Quantum Electronics, Vol. 24, No. 2, 1988, p. 123-133.

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

  9. Published

    Modelling the Time Correlation in Hourly Observatons of Direct Radiation in Clear Skies. / Madsen, Henrik; Thyregod, Poul.

    In: Energy and Buildings, Vol. 11, 1988, p. 201-211.

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

  10. Published

    Konstruktion af programmel til formålsbundne systemer. / Løvengreen, Hans Henrik; Ravn, Anders P.; Rischel, Hans.

    In: CUBUS, No. 4, 1988.

    Publication: ResearchJournal article – Annual report year: 1988

  11. Published

    A localization property for facility location problems with arbitrary norms. / Juel, Henrik; Love, Robert F.

    In: Naval Research Logistics, Vol. 35, No. 2, 04.1988, p. 203-207.

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

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