Department of Informatics and Mathematical Modeling

  1. 2012
  2. Published

    A Statically Scheduled Time-Division-Multiplexed Network-on-Chip for Real-Time Systems. / Schoeberl, Martin; Brandner, Florian; Sparsø, Jens; Kasapaki, Evangelia.

    2012 Sixth IEEE/ACM International Symposium on Networks on Chip (NoCS). IEEE, 2012. p. 152-160 .

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

  3. Published

    A Succinct Approach to Static Analysis and Model Checking. / Filipiuk, Piotr; Nielson, Hanne Riis (Main supervisor); Nielson, Flemming (Supervisor).

    Kgs. Lyngby : Technical University of Denmark, 2012. 187 p. (IMM-PHD-2012; No. 278).

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

  4. Published

    A Survey of Formal Methods in Software Development. / Bjørner, Dines (Invited author).

    2012 19th Asia-Pacific Software Engineering Conference (APSEC). Vol. 2 IEEE, 2012. (Asia Pacific Software Engineering Conference. Proceedings).

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

  5. Published

    A SynoviocyteModel for Osteoarthritis and Rheumatoid Arthritis: Response to Ibuprofen, Betamethasone, and Ginger Extract—A Cross-Sectional In Vitro Study. / Ribel-Madsen, Søren; Bartels, Else Marie; Stockmarr, Anders; Borgwardt, Arne; Cornett, Claus; Danneskiold-Samsøe, Bente; Bliddal, Henning.

    In: Arthritis, Vol. 2012, 2012, p. 505842.

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

  6. Published

    A third mode of surface‐associated growth: immobilization of Salmonella enterica serovar Typhimurium modulates the RpoS‐directed transcriptional programme. / Knudsen, Gitte Maegaard; Nielsen, Maj‐Britt; Grassby, Terri; Danino‐Appleton, Vittoria; Thomsen, Line E.; Colquhoun, Ian J.; Brocklehurst, Tim F.; Olsen, John; Hinton, Jay C. D.

    In: Environmental Microbiology, Vol. 14, No. 8, 2012, p. 1855-1875.

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

  7. Published

    A Transmission-Cost-Based Model to Estimate the Amount of Market-Integrable Wind Resources. / Morales González, Juan Miguel; Pinson, Pierre; Madsen, Henrik.

    In: I E E E Transactions on Power Systems, Vol. 27, No. 2, 2012, p. 1060-1069 .

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

  8. Published

    Attention: A Machine Learning Perspective. / Hansen, Lars Kai.

    2012 3rd International Workshop on Cognitive Information Processing (CIP). IEEE, 2012.

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

  9. Published

    A Unifying Model for the Analysis of Phenotypic, Genetic and Geographic Data. / Guillot, Gilles; Rena, Sabrina; Ledevin, Ronan; Michaux, Johan; Claude, Julien.

    In: Systematic Biology, Vol. 61, No. 6, 2012, p. 897-911.

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

  10. Published

    Automated Generation of Safety Requirements from Railway Interlocking Tables. / Haxthausen, Anne Elisabeth.

    Leveraging Applications of Formal Methods, Verification andValidation: Applications and Case Studies, Part II. Springer, 2012. p. 261-275 (Lecture Notes in Computer Science, Vol. 7610).

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

  11. Published

    Automated segmentation of the skeleton in whole-body bone scans: influence of difference in atlas. / Kikuchi, Akihiro; Onoguchi, Masahisa; Horikoshi, Hiroyuki; Sjöstrand, Karl; Edenbrandt, Lars.

    In: Nuclear Medicine Communications, Vol. 33, No. 9, 2012, p. 947-953.

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

Previous 1...6 7 8 9 10 11 12 13 ...643 Next
Download list: To download, please limit the number of search results to 1,000 or less.