Department of Informatics and Mathematical Modeling

  1. Published
  2. Published

    Using Dafny, an Automatic Program Verifier. / Herbert, Luke Thomas; Leino, K. Rustan M.; Carvalho Quaresma, Jose Nuno.

    2011. Paper presented at 8th LASER Summer School on Software Engineering, Elba Island, Italy.

    Publication: Research - peer-reviewPaper – Annual report year: 2012

  3. Published

    Using Estimated Values of Capability Indices for Batch Acceptance. / Thyregod, Poul; Bucher, Ditlef; Madsen, Camilla.

    Fourt Annual Meeting of ENBIS. 2004.

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

  4. Published

    Using example driven databases for classification. / Hansen, Michael Adsetts Edberg.

    2002. Poster session presented at Medical Vision Day, Technical University of Denmark, Kgs. Lyngby, .

    Publication: ResearchPoster – Annual report year: 2002

  5. Published

    Using heuristics to solve the dedicated aircraft recovery problem. / Løve, Michael; Sørensen, Kim Riis; Larsen, Jesper; Clausen, Jens.

    2001.

    Publication: ResearchReport – Annual report year: 2001

  6. Published

    Using Heuristics to Solve the Dedicated Aircraft Recovery Problem. / Løve, Michael; Sørensen, Kim Riis; Larsen, Jesper; Clausen, Jens.

    In: Central European Journal of Operations Research, Vol. 13, No. 2, 2005, p. 189-207.

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

  7. Published

    Using Image Analysis On Standardised Full-Thickness Wounds In Scattered Mirror Carp (Cyprinus Carpio) As A Model For Wound Healing. / Schmidt, Jacob; Dissing, Bjørn Skovlund; Ljungqvist, Martin Georg; Ersbøll, Bjarne Kjær; Nielsen, Michael Engelbrecht.

    2011. Abstract from 15th International Conference on Diseases of Fish and Shellfish, Split, Croatia.

    Publication: ResearchConference abstract for conference – Annual report year: 2011

  8. Published

    Using Interval Logic and Isabelle/HOL for Analyzing Real-TimeProperties of Security Protocols. / Pilegaard, Henrik; Hansen, Michael Pilegaard; Sharp, Robin; Vain et al., J. (Editor).

    The 14th Nordic Workshop on Programming Theory, Institute of Cybernetics, Tallinn Technical University. 2002. p. 84-86.

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

  9. Published

    Using Interval Logics for Temporal Analysis of Security Protocols. / Hansen, Michael Reichhardt; Sharp, Robin; Backes et a., Michael (Editor).

    First ACM Workshop on Formal Methods in Security Engineering (FMSE'03). ACM Press, 2003. p. 24-31.

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

  10. Published

    Using Kalmtool in Navigation of Mobile Robots. / Mogensen, Lars Valdemar; Andersen, Nils Axel; Ravn, Ole; Poulsen, Niels Kjølstad.

    Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2007. 20 p.

    Publication: ResearchReport – Annual report year: 2007

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