Phan Anh Dung

  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. 2013
  4. E-pub ahead of print
  5. 2012
  6. Published

    Anatomy of Alternating Quantifier Satisfiability (Work in progress). / Dung, Phan Anh; Bjørner, Nikolaj; Monniaux, David.

    2012. Paper presented at 10th International Workshop on Satisfiability Modulo Theories (SMT 2012), Manchester, United Kingdom.

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

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

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