Michael Reichhardt Hansen

  1. 2014
  2. Published

    EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks. / Dung, Phan Anh; Hansen, Michael Reichhardt; Madsen, Jan.

    Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi. Springer, 2014. p. 520-540 (Lecture Notes in Computer Science, Vol. 8373).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2014

  3. Published

    Specification, Verification and Optimisation of Business Processes : A Unified Framework. / Herbert, Luke Thomas; Sharp, Robin (Main supervisor); Hansen, Michael Reichhardt (Supervisor).

    Kgs. Lyngby : Technical University of Denmark, 2014. 285 p. (DTU Compute PHD-2014; No. 303).

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

  4. 2013
  5. E-pub ahead of print
  6. Published

    Formal methods for design and simulation of embedded systems. / Jakobsen, Mikkel Koefoed; Madsen, Jan (Main supervisor); Hansen, Michael Reichhardt (Supervisor).

    Kgs. Lyngby : Technical University of Denmark, 2013. 190 p. (PHD-2013; No. 289).

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

  7. Published

    Functional Programming Using F#. / Hansen, Michael Reichhardt; Rischel, Hans.

    Cambridge University Press, 2013. 371 p.

    Publication: ResearchBook – Annual report year: 2013

  8. 2012
  9. Published

    Guest Editor’s foreword. / Hansen, Michael Reichhardt.

    In: Journal of Logic and Algebraic Programming, Vol. 81, No. 4, 2012, p. 355.

    Publication: ResearchEditorial – Annual report year: 2012

  10. 2011
  11. Published

    From functional programming to multicore parallelism: A case study based on Presburger Arithmetic. / Dung, Phan Anh; Hansen, Michael Reichhardt.

    Proceedings of the 23rd Nordic Workshop Programming Theory. 2011.

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

  12. Published

    Modelling of Energy Harvesting Aware Wireless Sensor Networks. / Hansen, Michael Reichhardt; Jakobsen, Mikkel Koefoed; Madsen, Jan.

    Sustainable Energy Harvesting Technologies - Past, Present and Future. ed. / Yen Kheng Tan. InTech, 2011.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2011

  13. Published

    On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic. / Hansen, Michael Reichhardt; Brekling, Aske Wiid.

    2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME). IEEE, 2011. p. 115-122 (Uden navn).

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

  14. 2010
  15. Published

    Analysis for Embedded Systems: Experiments with Priced Timed Automata. / Ovatman, Tolga; Brekling, Aske Wiid; Hansen, Michael Reichhardt.

    In: Electronic Notes in Theoretical Computer Science, Vol. 238, No. 6, 2010, p. 81-95.

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

Previous 1 2 3 4 5 6 7 8 9 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word