Danny Nguyen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Short Presburger arithmetic is hard	2025-08-06	Paper
Short Presburger Arithmetic Is Hard SIAM Journal on Computing	2022-05-03	Paper
Presburger arithmetic with algebraic scalar multiplications	2021-10-08	Paper
Presburger arithmetic with algebraic scalar multiplications (available as arXiv preprint)	2021-10-08	Paper
On the number of integer points in translated and expanded polyhedra Discrete & Computational Geometry	2021-02-10	Paper
The computational complexity of integer programming with alternations (available as arXiv preprint)	2020-05-26	Paper
The computational complexity of integer programming with alternations Mathematics of Operations Research	2020-04-30	Paper
VC-dimensions of short Presburger formulas Combinatorica	2019-11-21	Paper
Complexity of short generating functions Forum of Mathematics, Sigma	2019-03-12	Paper
Presburger Arithmetic with algebraic scalar multiplications (available as arXiv preprint)	2018-05-09	Paper
On the number of integer points in translated and expanded polyhedra (available as arXiv preprint)	2018-05-09	Paper
Enumerating projections of integer points in unbounded polyhedra SIAM Journal on Discrete Mathematics	2018-05-02	Paper
Parametric Presburger Arithmetic: Complexity of Counting and Quantifier Elimination (available as arXiv preprint)	2018-02-03	Paper
Tiling the integer lattice with translated sublattices Moscow Journal of Combinatorics and Number Theory	2017-09-20	Paper
Tiling the integer lattice with translated sublattices Moscow Journal of Combinatorics and Number Theory	2017-09-20	Paper
Enumeration of integer points in projections of unbounded polyhedra	2017-08-31	Paper
Short Presburger arithmetic is hard (available as arXiv preprint)	2017-08-27	Paper
Complexity of short Presburger arithmetic Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing	2017-08-17	Paper
The inverse moment problem for convex polytopes: implementation aspects	2014-09-10	Paper
Solid angles associated to Minkowski reduced bases	2012-06-20	Paper

Research outcomes over time

This page was built for person: Danny Nguyen