Department of Informatics and Mathematical Modeling

  1. 1983
  2. Published

    Optimizing a Pump-Pipe System. / Vidal, Rene Victor Valqui; Ferreira, Jose S.

    In: Investigacao Operational (Portugal), Vol. 3, No. 1, 1983, p. 16-30.

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

  3. Published

    Peru, Fiskeindustri, Imperialisme (in Danish). / Vidal, Rene Victor Valqui; Petersen, Kim T.

    RUC forlag, 1983.

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

  4. Published

    Proof Systems for Computation Time. / Nielson, Hanne Riis.

    Proc. Third Conference on Foundations of Software Technology and Theoretical Computer Science. 1983.

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

  5. Published

    Strong Abstract Interpretation using Power Domains. / Mycroft, A.; Nielson, Flemming.

    Proc. ICALP'83. Springer-Verlag, 1983. p. 536-547.

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

  6. Published

    Subharmonic generation in Josephson junction fluxon oscillators biased on Fiske steps. / Sørensen, Mads Peter; Christiansen, Peter Leth; Parmentier, R. D.; Skovgaard, Ove.

    In: Applied Physics Letters, Vol. 42, No. 8, 1983, p. 739-741.

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

  7. Published

    The Discrete-Time Maximum Principle - a survey and some new results. / Vidal, Rene Victor Valqui; Ravn, Hans V.

    In: International Journal of Control, Vol. 40, No. 3, 1983, p. 135-152.

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

  8. Published

    The solution of location problems with certain existing facility structures. / Juel, Henrik; Love, Robert F.

    In: Canadian Journal of Operational Research and Information Processing, Vol. 21, No. 2, 1983, p. 145-150.

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

  9. Published

    Towards Viewing Nondeterminism as Abstract Interpretation. / Nielson, Flemming.

    Proc. Foundations of Software Technology and Theoretical Computer Science. 1983.

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

  10. Published

    Vurdering af teknologisk udvikling indenfor levnedsmiddelsektoren (8 rapporter). / Vidal, Rene Victor Valqui.

    1983.

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

  11. 1982
  12. Published

    A Denotational Framework for Data Flow Analysis. / Nielson, Flemming.

    In: Acta Informatica, Vol. 18, 1982, p. 265-287.

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

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