Danny Nguyen

Available identifiers

zbMath Open nguyen.dannyMaRDI QIDQ2227239

List of research outcomes

Publication	Date of Publication	Type
Short Presburger Arithmetic Is Hard	2022-05-03	Paper
https://portal.mardi4nfdi.de/entity/Q5155665	2021-10-08	Paper
On the number of integer points in translated and expanded polyhedra	2021-02-10	Paper
The computational complexity of integer programming with alternations	2020-05-26	Paper
The Computational Complexity of Integer Programming with Alternations	2020-04-30	Paper
VC-dimensions of short Presburger formulas	2019-11-21	Paper
COMPLEXITY OF SHORT GENERATING FUNCTIONS	2019-03-12	Paper
Presburger Arithmetic with algebraic scalar multiplications	2018-05-09	Paper
On the number of integer points in translated and expanded polyhedra	2018-05-09	Paper
Enumerating Projections of Integer Points in Unbounded Polyhedra	2018-05-02	Paper
Parametric Presburger Arithmetic: Complexity of Counting and Quantifier Elimination	2018-02-03	Paper
Tiling the integer lattice with translated sublattices	2017-09-20	Paper
Enumeration of integer points in projections of unbounded polyhedra	2017-08-31	Paper
Short Presburger arithmetic is hard	2017-08-27	Paper
Complexity of short Presburger arithmetic	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Danny Nguyen