Phuong Nguyen

19 papers A* 2A 1B 2Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2016 J jnl
Relativizing small complexity classes and their theories.
Comput. Complex.
Klaus Aehlig, Stephen A. Cook, Phuong Nguyen
2015 J jnl
The NOF Multiparty Communication Complexity of Composed Functions.
Comput. Complex.
Anil Ada, Arkadev Chattopadhyay, Omar Fawzi, Phuong Nguyen
2014 J jnl
Lifting lower bounds for tree-like proofs.
Comput. Complex.
Alexis Maciel, Phuong Nguyen, Toniann Pitassi
2012 J jnl
Relativizing Small Complexity Classes and their Theories
CoRR
Klaus Aehlig, Stephen A. Cook, Phuong Nguyen
2012 J jnl
The Complexity of Proving the Discrete Jordan Curve Theorem.
ACM Trans. Comput. Log.
Phuong Nguyen, Stephen A. Cook
2012 — conf
The NOF Multiparty Communication Complexity of Composed Functions.
ICALP (1)
Anil Ada, Arkadev Chattopadhyay, Omar Fawzi, Phuong Nguyen
2011 A conf
Computationally Limited Randomness.
ICS
Matei David, Phuong Nguyen, Periklis A. Papakonstantinou, Anastasios Sidiropoulos
2011 J jnl
Simulating non-prenex cuts in quantified propositional calculus.
Math. Log. Q.
Emil Jerábek, Phuong Nguyen
2011 J jnl
The NOF Multiparty Communication Complexity of Composed Functions.
Electron. Colloquium Comput. Complex.
Anil Ada, Arkadev Chattopadhyay, Omar Fawzi, Phuong Nguyen
2011 J jnl
The provably total NP search problems of weak second order bounded arithmetic.
Ann. Pure Appl. Log.
Leszek Aleksander Kolodziejczyk, Phuong Nguyen, Neil Thapen
2010 J jnl
The Complexity of Proving the Discrete Jordan Curve Theorem
CoRR
Phuong Nguyen, Stephen A. Cook
2009 J jnl
The equivalence of theories that characterize ALogTime.
Arch. Math. Log.
Phuong Nguyen
2008 — —
Bounded reverse mathematics.
Phuong Nguyen
2008 B conf
Proving Infinitude of Prime Numbers Using Binomial Coefficients.
CSL
Phuong Nguyen
2007 B conf
Relativizing Small Complexity Classes and Their Theories.
CSL
Klaus Aehlig, Stephen A. Cook, Phuong Nguyen
2007 A* conf
The Complexity of Proving the Discrete Jordan Curve Theorem.
LICS
Phuong Nguyen, Stephen A. Cook
2006 J jnl
Theories for TC0 and Other Small Complexity Classes.
Log. Methods Comput. Sci.
Phuong Nguyen, Stephen A. Cook
2005 J jnl
Theories for TC0 and Other Small Complexity Classes
CoRR
Phuong Nguyen, Stephen A. Cook
2004 A* conf
VTC
LICS
Phuong Nguyen, Stephen A. Cook