Anatomy of Alternating Quantifier Satisfiability (Work in progress). - Anh-Dung Phan; Nikolaj S. Bjørner; David Monniaux (SMT@IJCAR, 2012)

EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks. - Anh-Dung Phan; Michael R. Hansen; Jan Madsen (Specification, Algebra, and Software, 2014)

νZ - Maximal Satisfaction with Z3. - Nikolaj S. Bjørner; Anh-Dung Phan (SCSS, 2014)

A practical approach to model checking Duration Calculus using Presburger Arithmetic. - Michael R. Hansen; Anh-Dung Phan; Aske Wiid Brekling (Ann. Math. Artif. Intell., 2014)

νZ - An Optimizing SMT Solver. - Nikolaj S. Bjørner; Anh-Dung Phan; Lars Fleckenstein (TACAS, 2015)

An approach to multicore parallelism using functional programming: A case study based on Presburger Arithmetic. - Anh-Dung Phan; Michael R. Hansen (J. Log. Algebraic Methods Program., 2015)