• PhD Thesis: Bounded Reverse Mathematics [.ps file]. [.pdf file].
  • Proving Infinitude of Prime Numbers Using Binomial Coefficients. April 2008. Full version (22 pages): [.pdf file]   [.ps file].
  • Relativizing Small Complexity Classes and their Theories. Revised May 2007. Computer Science in Logic 2007 (LNCS 4646) pp 374--388. Full version (18 pages): [.pdf file]   [.ps file].
    Klaus Aehlig, Stephen Cook and Phuong Nguyen.
  • The Equivalence of Theories that Characterize ALogTime. pp 1--27. Revised October 2007. Accepted to Archive in Mathematical Logic. [.pdf file]   [.ps file].
    Phuong Nguyen.
  • The Complexity of Proving the Discrete Jordan Curve Theorem. Revised April 2007. 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), pp 245--254. Full version (24 pages): [.pdf file]   [.ps file].
    Phuong Nguyen and Stephen Cook.
  • Separating DAG-Like and Tree-Like Proof Systems. Revised April 2007. 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), pp 235--244. Full version (23 pages): [.pdf file]   [.ps file].
    Phuong Nguyen.
  • Theories for TC0 and other Small Complexity Classes [.ps file]
    Phuong Nguyen and Stephen Cook.
    LMCS 2,1 (2006) (Logical Methods in Computer Science) Special issue: Selected papers of LICS 2004.
  • Characterizing polynomial time computable functions using theories with weak set existence principles [.ps file].
    Aleksandar Ignjatovic and Phuong Nguyen.
    Computing: The Australasian Theory Symposium (CATS), Electronic Notes in Theoretical Computer Science, Volume 78, 2003.
  • Learning in Logic with RichProlog [.pdf file].
    Eric Martin, Phuong Nguyen, Arun Sharma, Frank Stephan.
    The International Conference on Logic Programming (ICLP), 2002 pp 239 - 254.
  • CardS4: Modal Theorem Proving on Java Smartcards [.ps file].
    Rajeev Goré and Phuong The Nguyen.
    Journal of Telecommunications and Information Technology (4): 68-80, 2002.
    (Preliminary version in International Conference on Research in Smart Cards (E--Smart 2001) pp 111--123.)
  • Pertinence-centric Document Version Management Scheme.
    B. Benatallah, M. Mehdavi, P. Nguyen, L. Port, Q. Sheng, B. McIver
    15th International Conference on Advanced Information Systems Engineering (CAiSE'03) pp 46--62.
  • AgFlow: Agent-based Cross Enterprise Workflow Management System.
    Zeng L., Benatallah B., Nguyen P., Ngu A.
    27th Int. Conference on Very Large Databases (VLDB 2001) pp 697--698.
  • M.Sc. Thesis
    VTC0: A Second-Order Theory for TC0 [.ps file] [Also available from ECCC archive].
    Supervisors: Professor Stephen Cook and Professor Alasdair Urquhart.
    University of Toronto, 2004.
  • Honour Thesis
    Inductive Logic Programming with RichProlog [.ps file] .
    Supervisors: Professor Arun Sharma and Dr. Eric Martin. Assessor: Dr. John Shepherd.
    University of New South Wales, 2001.

    Notes

  • Propositional Translation for VTC0. (Work in progress) [.pdf file]  [.ps file]
  • Two-Sorted Theories for L, SL, NL and P. [.pdf file]  [.ps file]    ECCC Report [TR05-017]
    April 2004. Revised Jan 2005.
    For a more general discussion see "Theories for TC0 and other Small Complexity Classes" with Steve Cook.
  • Proving that VNC1 is Finitely Axiomatizable. [.ps file]
    See Book In Progress.
last modified by Phuong Nguyen, January 4, 2008