Department of Informatics and Mathematical Modeling

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

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

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

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

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

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

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

  9. Published

    Effect of gain nonlinearity in semiconductor lasers. / Jensen, Niels H.; Christiansen, Peter Leth; Skovgaard, Ove.

    In: Physical Review B Condensed Matter, Vol. 38, No. 12, 1988, p. 8219-8225.

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

  10. Published

    Algebraic Optimization of Recursive Database Queries. / Hansen, Michael Reichhardt.

    In: I N F O R Journal, Vol. 26, No. 4, 1988, p. 286-298.

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

  11. Published

    Temperature effects on the Davydov soliton. / Cruzeiro, L.; Halding, J.; Christiansen, Peter Leth; Skovgaard, Ove; Scott, Alwyn C.

    In: Physical Review A (Atomic, Molecular and Optical Physics), Vol. 37, No. 3, 1988, p. 880-887.

    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.