Danny Nguyen

Orcid: 0000-0002-1695-4242

According to our database1, Danny Nguyen authored at least 12 papers between 2017 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Adaptive Sequence Learning: Contextual Multi-armed Bandit Approach.
Proceedings of the IEEE Intl Conf on Dependable, 2023

2022
Short Presburger Arithmetic Is Hard.
SIAM J. Comput., 2022

2021
Presburger Arithmetic with algebraic scalar multiplications.
Log. Methods Comput. Sci., 2021

On the Number of Integer Points in Translated and Expanded Polyhedra.
Discret. Comput. Geom., 2021

2020
The Computational Complexity of Integer Programming with Alternations.
Math. Oper. Res., 2020

2019
Parametric Presburger arithmetic: complexity of counting and quantifier elimination.
Math. Log. Q., 2019

VC-Dimensions of Short Presburger Formulas.
Comb., 2019

2018
Enumerating Projections of Integer Points in Unbounded Polyhedra.
SIAM J. Discret. Math., 2018

2017
VC-dimension of short Presburger formulas.
CoRR, 2017

Complexity of short generating functions.
CoRR, 2017

Complexity of short Presburger arithmetic.
Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, 2017

Enumeration of Integer Points in Projections of Unbounded Polyhedra.
Proceedings of the Integer Programming and Combinatorial Optimization, 2017


  Loading...