Department of Informatics and Mathematical Modeling

  1. Published

    The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. / Armando, Alessandro; Arsac, Wihem; Avanesov, Tigran; Barletta, Michele; Calvi, Alberto; Cappai, Alessandro; Carbone, Roberto; Chevalier, Yannick; Compagna, Luca; Cuéllar, Jorge; Erzse, Gabriel; Frau, Simone; Minea, Marius; Mödersheim, Sebastian Alexander; Von Oheimb, David; Pellegrino, Giancarlo; Ponta, Serena Elisa; Rocchetto, Marco; Rusinowitch, Michael; Torabi Dashti, Mohammad; Turuani, Mathieu; Viganò, Luca.

    Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Springer, 2012. p. 267-282 (Lecture Notes in Computer Science, Vol. 7214).

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

  2. Published

    Theory of Randomized Search Heuristics. / Auger, Anne; Witt, Carsten.

    In: Algorithmica, Vol. 64, No. 4, 2012, p. 621-622.

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

  3. Published

    Load Forecasting for Households. / Bacher, Peder (Editor); Madsen, Henrik (Editor); Nielsen, Henrik Aalborg (Editor); Perers, Bengt (Editor).

    iPower Consortium, 2012.

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

  4. Published

    Models for efficient integration of solar energy. / Bacher, Peder; Madsen, Henrik (Main supervisor); Nielsen, Henrik Aalborg (Supervisor).

    Kgs. Lyngby, Denmark : Technical University of Denmark, 2012. 188 p. (IMM-PhD-2012; No. 272).

    Publication: ResearchPh.D. thesis – Annual report year: 2012

  5. Published

    Converting skeletal structures to quad dominant meshes. / Bærentzen, Jakob Andreas; Misztal, Marek Krzysztof; Welnicka, Katarzyna.

    In: Computers & Graphics, Vol. 36, No. 5, 2012, p. 555-561.

    Publication: Research - peer-reviewConference article – Annual report year: 2012

  6. Published
  7. Published

    HemaExplorer: a Web server for easy and fast visualization of gene expression in normal and malignant hematopoiesis. / Bagger, Frederik Otzen; Rapin, Nicolas; Theilgaard-Mönch, Kim; Kaczkowski, Bogumil; Jendholm, Johan; Winther, Ole; Porse, Bo.

    In: Blood, Vol. 119, No. 26, 2012, p. 6394-6395.

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

  8. Published

    Business Process Management : 10th International Conference, BPM 2012 Proceedings. / Barros, Alistair (Editor); Gal, Avigdor (Editor); Kindler, Ekkart (Editor).

    Springer, 2012. (Lecture Notes in Computer Science, Vol. 7481).

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

  9. Published

    Artificial Neural Network Based State Estimators Integrated into Kalmtool. / Bayramoglu, Enis; Ravn, Ole; Poulsen, Niels Kjølstad.

    System Identification. Vol. 16 International Federation of Automatic Control, 2012. p. 1547-1552 (IFAC Proceedings Volumes (IFAC-PapersOnline) ).

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

  10. Published

    Analysis of Queues with Rational Arrival Process Components - A General Approach. / Bean, Nigel G.; Nielsen, Bo Friis.

    In: S I G M E T R I C S Performance Evaluation Review, Vol. 39, No. 4, 2012, p. 31.

    Publication: Research - peer-reviewConference abstract in journal – Annual report year: 2012

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