Department of Informatics and Mathematical Modeling

  1. Published

    Using random walk in models specified by stochastic differential equations to determine the best expression for the bacterial growth rate. / Philipsen, Kirsten Riber (Author); Christiansen, Lasse Engbo (Author); Madsen, Henrik (Author).

    2008. International Biometic Conference, Dublin, Ireland, 01/01/08.

    Publication: ResearchSound/Visual production (digital) – Annual report year: 2008

  2. Published

    Using Service Oriented Architecture in a Generic Virtual Power Plant. / Andersen, Peter Bach; Poulsen, Bjarne; Træholt, Chresten; Østergaard, Jacob.

    Sixth International Conference on Information Technology: New Generations, 2009. ITNG '09.. IEEE Computer Society Press, 2009. p. 184.

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

  3. Published

    Using Soft OR in a small company- The case of Kirby. / Sørensen, Lene; Vidal, Rene Victor Valqui; E., Engstrom.

    In: European Journal of Operational Research, Vol. 152, No. 3, 2004, p. 555-570.

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

  4. Published

    Using static analysis to validate the SAML Single Sign-on Protocol. / Hansen, Steffen Michael; Skriver, Jakob; Nielson, Hanne Riis.

    WITS. 2005.

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

  5. Published

    Using Stochastic Differential Equations for PK/PD Model Development. / Kristensen, Niels Rode; Madsen, Henrik; Ingwersen, S. H.

    In: Journal of Pharmacokinetics and Pharmacodynamics, Vol. 32, No. 1, 2005, p. 109-141.

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

  6. Published

    Using Stochastic Model Checking to Provision Complex Business Services. / Herbert, Luke Thomas; Sharp, Robin.

    2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE). IEEE, 2012. p. 98-105 (I E E E International Symposium on High-Assurance Systems Engineering).

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

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

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

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

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

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