Anh-Dung Phan
According to our database1,
Anh-Dung Phan
authored at least 6 papers
between 2012 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
2012
2013
2014
2015
0
1
2
3
4
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
An approach to multicore parallelism using functional programming: A case study based on Presburger Arithmetic.
J. Log. Algebraic Methods Program., 2015
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.
Ann. Math. Artif. Intell., 2014
Proceedings of the 6th International Symposium on Symbolic Computation in Software Science, 2014
Proceedings of the Specification, Algebra, and Software, 2014
2012
Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012