Anh-Dung Phan

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Functional Programming

Quantifier Elimination

Linear Time Temporal Logic

Decision Procedures

Top Venues

Ann. Math. Artif. Intell.

J. Log. Algebraic Methods Program.

Publications

Anh-Dung Phan, Michael R. Hansen
An approach to multicore parallelism using functional programming: A case study based on Presburger Arithmetic. J. Log. Algebraic Methods Program. 84 (1) (2015)
Nikolaj Bjørner, Anh-Dung Phan, Lars Fleckenstein
νZ - An Optimizing SMT Solver. TACAS (2015)
Anh-Dung Phan, Michael R. Hansen, Jan Madsen
EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks. Specification, Algebra, and Software (2014)
Nikolaj Bjørner, Anh-Dung Phan
νZ - Maximal Satisfaction with Z3. SCSS (2014)
Michael R. Hansen, Anh-Dung Phan, Aske Wiid Brekling
A practical approach to model checking Duration Calculus using Presburger Arithmetic. Ann. Math. Artif. Intell. 71 (1-3) (2014)
Anh-Dung Phan, Nikolaj Bjørner, David Monniaux
Anatomy of Alternating Quantifier Satisfiability (Work in progress). SMT@IJCAR (2012)