Department of Informatics and Mathematical Modeling

  1. Published

    Using SystemC to Model Asynchronous Communication at Different Levels of Abstraction. / Mahadevan, Shankar; Bjerregaard, Tobias; Sparsø, Jens; Madsen, Jan.

    Third ACiD-WG Workshop, Heraklion, Crete, Greece. 2003.

    Publication: ResearchArticle in proceedings – Annual report year: 2003

  2. Published

    Using the generalized Radon transform for detection of curves in noisy images. / Toft, Peter Aundal.

    Conference Proceedings. 1996 IEEE International Conference on Acoustics, Speech, and Signal Processing. Vol. Volume 4 IEEE, 1996. p. 2221-2225.

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

  3. Published

    Using Transformations in the Implementation of Higher-order Functions. / Nielson, Hanne Riis; Nielson, Flemming.

    In: Journal of Functional Programming, Vol. 1, No. 4, 1991, p. 459-494.

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

  4. Published

    Using Trust for Secure Collaboration in Uncertain Environments. / Cahill, Vinny; Gray, Elizabeth; Seigneur, Jean-Marc; Jensen, Christian D.; Chen, Yong; Shand, Brian; Dimmock, Nathan; Twigg, Andy; Bacon, Jean; English, Colin; Wagealla, Waleed; Terzis, Sotirios; Nixon, Paddy; Serugendo, Giovanna di Marzo; Bryce, Ciaran; Carbone, Marco; Krukow, Karl; Nielsen, Mogens.

    In: Pervasive Computing, IEEE, Vol. 2, No. 3, 2003, p. 52-61.

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

  5. Published

    UTV Expansion Pack: Special-Purpose Rank-Revealing Algorithms. / Fierro, Ricardo D.; Hansen, Per Christian.

    In: Numerical Algorithms, Vol. 40, No. 1, 2005, p. 47-66.

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

  6. Published

    UTV Expansion Pack - Special-Purpose Rank Revealing Algorithms (version 1.0 for Matlab 6.5). / Fierro, Ricardo D.; Hansen, Per Christian.

    Lyngby : Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2004.

    Publication: ResearchReport – Annual report year: 2004

  7. Published

    UTV Tools : Matlab Templates for Rank-Revealing UTV Decompositions, version 1.0 for Matlab 5.2. / Fierro, Ricardo D.; Hansen, Per Christian; Hansen, Peter Søren Kirk.

    Lyngby : Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1999. 97 p.

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

  8. Published

    UTV Tools : Matlab Templates for Rank-Revealing UTV Decompositions. / Fierro, Ricardo D.; Hansen, Per Christian; Hansen, Peter Søren Kirk.

    In: Numerical Algorithms, Vol. 20, No. 2-3, 1999, p. 165-194.

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

  9. Published

    Validating Firewalls in Mobile Ambients. / Nielson, Flemming; Nielson, Hanne Riis; Hansen, René Rydhof; Jensen, J. G.

    Proc. CONCUR'99. Springer-Verlag, 1999. p. 463-477.

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

  10. Published

    Validating Firewalls using Flow Logics. / Nielson, Flemming; Nielson, Hanne Riis; Hansen, René Rydhof.

    In: Theoretical Computer Science, Vol. 283, No. 2, 2002, p. 381-418.

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

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