Department of Informatics and Mathematical Modeling

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

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

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

  5. Published

    Estimation af parameterværdier i Cox-fordelinger til trafikanalyse. / Nielsen, Bo Friis.

    NTS-6. 1986. p. 1-12.

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

  6. Published

    Digital Design Using Module Generators. / Madsen, Jan; Stassen, Flemming.

    Proceedings of the 2nd NORSILC/NORCHIP Seminar. 1986.

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

  7. Published

    LAN-DTH - A Hierarchical Local Area Network based on a High Speed Optic Token Ring. / Jensen, Mogens Nordberg; Sharp, Robin Ian; Skov, Morten; Sparsø, Jens.

    Proc.of IFIP TC6/WG6.4 International In Depth Symposium on Local Communication Systems LAN and PBX. 1986. p. 339-351.

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

  8. Published

    Adaptive Minimum Energy Control of Large Diesel Engines. / Hendricks, Elbert; Holst, Jan; Poulsen, Niels Kjølstad; Joensen, Helgi.

    IFAC Workshop on Adaptive Systems in Control and Signal Processing, Lund, Sweden. 1986. p. 231-236.

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

  9. Published

    Automated analysis of linear features based on satellite imagery compared with geological setting. / Conradsen, Knut; Ersbøll, Bjarne Kjær; Pedersen, J. L.

    Second European Workshop on remote Sensing in Mineral Exploration, Bruxelles. 1986. p. 275-292.

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

  10. Published

    Automated identification of linear features in digital imagery. / Conradsen, Knut; Ersbøll, Bjarne Kjær; Pedersen, J. L.

    Nordic Symposium in Applied Statistics, RECKU, København. 1986. p. 299-313.

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

  11. Published

    Comparison of visual and automated lineament analysis on landsat MSS image from south Greenland. / Conradsen, Knut; Ersbøll, Bjarne Kjær; Pedersen, J. L.

    Earsel 10th Annniversary Symposium, Lyngby, ESA SP-258. 1986. p. 205-211.

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

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