Anh-Dung Phan

According to our database, Anh-Dung Phan authored at least 6 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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

νZ - An Optimizing SMT Solver.

Nikolaj S. Bjørner, Anh-Dung Phan, Lars Fleckenstein

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

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 - Maximal Satisfaction with Z3.

Nikolaj S. Bjørner, Anh-Dung Phan

Proceedings of the 6th International Symposium on Symbolic Computation in Software Science, 2014

EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks.

Anh-Dung Phan, Michael R. Hansen, Jan Madsen

Proceedings of the Specification, Algebra, and Software, 2014

2012

Anatomy of Alternating Quantifier Satisfiability (Work in progress).

Anh-Dung Phan, Nikolaj S. Bjørner, David Monniaux

Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012