Department of Informatics and Mathematical Modeling

  1. Published

    Expected Forms of Data Flow Analysis. / Nielson, Flemming.

    Programs as Data Objects. Springer-Verlag, 1986. p. 172-191.

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

  2. Published

    Pragmatic Aspects of Two-Level Denotational Meta-Languages. / Nielson, Hanne Riis; Nielson, Flemming.

    Proc. ESOP'86. Springer-Verlag, 1986. p. 133-143.

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

  3. Published

    Semantics Directed Compiling for Functional Languages. / Nielson, Hanne Riis; Nielson, Flemming.

    Proc. ACM Conference on LISP and Functional Programming. 1986. p. 249-257.

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

  4. Published
  5. Published

    A POLYNET to VME-bus Interface Unit - Block diagram and principles of oparation. / Sparsø, Jens.

    Department of Computer Science, Technical University of Denmark, 1986.

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

  6. Published

    Hardware Architecture of a Node for the LAN-DTH High Speed Token Ring. / Sparsø, Jens.

    1986.

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

  7. Published
  8. Published

    The use of remote sensing in mapping of oxidized zones and lineaments in Greenland. / Thyrsted, T.; Conradsen, Knut; Ersbøll, Bjarne Kjær; Nilsson, G.

    First European Workshop in Remote Sensing in Mineral Exploration, Bruxelles. 1986. p. 111-125.

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

  9. Published

    The Analysis of Insulation Breakdown Probabilities by the Up-And-Down Method. / Vibholm (fratrådt), Svend; Thyregod, Poul.

    In: IEEE Transactions on Electrical Insulation, Vol. EI-21, No. 2, 1986, p. 133-136.

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

  10. Published

    A Global Maximum Principle for Discrete-Time Control Problems. / Vidal, Rene Victor Valqui.

    In: Engineering Optimization, Vol. 10, No. 2, 1986, p. 150-162.

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

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