BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Finland
1 × Poland
1 × Switzerland
1 × United Kingdom
2 × Italy
2 × USA
Collaborated with:
S.A.Cook B.Benatallah K.Aehlig O.Maillard R.Ortner D.Ryabko A.Ada A.Chattopadhyay O.Fawzi L.Zeng A.H.H.Ngu M.Mahdavi Q.Z.Sheng L.Port B.McIver C.Wang M.Danilevsky N.Desai Y.Zhang T.Taula J.Han
Talks about:
complex (3) theori (2) system (2) prove (2) manag (2) like (2) multiparti (1) represent (1) infinitud (1) hierarchi (1)

Person: Phuong Nguyen

DBLP DBLP: Nguyen:Phuong

Contributed to:

ICML c1 20132013
KDD 20132013
ICALP (1) 20122012
CSL 20082008
CSL 20072007
LICS 20072007
LICS 20042004
CAiSE 20032003
VLDB 20012001

Wrote 10 papers:

ICML-c1-2013-MaillardNOR #bound #learning #representation
Optimal Regret Bounds for Selecting the State Representation in Reinforcement Learning (OAM, PN, RO, DR), pp. 543–551.
KDD-2013-WangDDZNTH #framework #mining #recursion #topic
A phrase mining framework for recursive construction of a topical hierarchy (CW, MD, ND, YZ, PN, TT, JH), pp. 437–445.
ICALP-v1-2012-AdaCFN #communication #complexity #multi
The NOF Multiparty Communication Complexity of Composed Functions (AA, AC, OF, PN), pp. 13–24.
CSL-2008-Nguyen #proving #using
Proving Infinitude of Prime Numbers Using Binomial Coefficients (PN), pp. 184–198.
CSL-2007-AehligCN #complexity
Relativizing Small Complexity Classes and Their Theories (KA, SAC, PN), pp. 374–388.
LICS-2007-Nguyen #proving
Separating DAG-Like and Tree-Like Proof Systems (PN), pp. 235–244.
LICS-2007-NguyenC #complexity #proving #theorem
The Complexity of Proving the Discrete Jordan Curve Theorem (PN, SAC), pp. 245–256.
LICS-2004-NguyenC #higher-order
VTC circ: A Second-Order Theory for TCcirc (PN, SAC), pp. 378–387.
CAiSE-2003-BenatallahMNSPM #adaptation #documentation
An Adaptive Document Version Management Scheme (BB, MM, PN, QZS, LP, BM), pp. 46–62.
VLDB-2001-ZengBNN #named #workflow
AgFlow: Agent-based Cross-Enterprise Workflow Management System (LZ, BB, PN, AHHN), pp. 697–698.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.