Phuong Nguyen

	2010
22		Phuong Nguyen, Stephen Cook: The Complexity of Proving the Discrete Jordan Curve Theorem CoRR abs/1002.2954: (2010)
	2009
21		Phuong Nguyen: The equivalence of theories that characterize ALogTime. Arch. Math. Log. 48(6): 523-549 (2009)
	2008
20		Duc A. Tran, S. R. Pamidimukkala, Phuong Nguyen: Relevance-Feedback Image Retrieval Based on Multiple-Instance Learning. ACIS-ICIS 2008: 597-602
19		Phuong Nguyen: Proving Infinitude of Prime Numbers Using Binomial Coefficients. CSL 2008: 184-198
18		Anthony J. Maeder, Jason Dowling, Anthony Nguyen, Emma Brunton, Phuong Nguyen: Assuring Authenticity of Digital Mammograms by Image Watermarking. Digital Mammography / IWDM 2008: 204-211
17		Alan Messer, Anugeetha Kunjithapatham, Phuong Nguyen, Priyang Rathod, Mithun Sheshagiri, Doreen Cheng, Simon Gibbs: SeeNSearch: A Context Directed Search Facilitator for Home Entertainment Devices. PerCom 2008: 20-29
16		Alan Messer, Anugeetha Kunjithapatham, Phuong Nguyen, Priyang Rathod, Mithun Sheshagiri, Doreen Cheng, Simon Gibbs: SeeNSearch: A context directed search facilitator for home entertainment devices. Pervasive and Mobile Computing 4(6): 871-888 (2008)
	2007
15		Klaus Aehlig, Stephen Cook, Phuong Nguyen: Relativizing Small Complexity Classes and Their Theories. CSL 2007: 374-388
14		Phuong Nguyen: Separating DAG-Like and Tree-Like Proof Systems. LICS 2007: 235-244
13		Phuong Nguyen, Stephen A. Cook: The Complexity of Proving the Discrete Jordan Curve Theorem. LICS 2007: 245-256
	2006
12		Alan Messer, Anugeetha Kunjithapatham, Mithun Sheshagiri, Henry Song, Praveen Kumar, Phuong Nguyen, Kyoung Hoon Yi: InterPlay: A Middleware for Seamless Device Integration and Task Orchestration in a Networked Home. PerCom 2006: 296-307
11		Phuong Nguyen, Stephen A. Cook: Theories for TC0 and Other Small Complexity Classes. Logical Methods in Computer Science 2(1): (2006)
10		Kun Liu, Kanishka Bhaduri, Kamalika Das, Phuong Nguyen, Hillol Kargupta: Client-side web mining for community formation in peer-to-peer environments. SIGKDD Explorations 8(2): 11-20 (2006)
	2005
9		Phuong Nguyen: Simulating User Behaviour For Improving Web Information Systems. ISTA 2005: 191-195
8		Phuong Nguyen, Sergiy Zlatkin: Towards Using Simulation for Enhancing Web Information Systems' Utility. WISE Workshops 2005: 33-42
7		Phuong Nguyen, Stephen Cook: Theories for TC0 and Other Small Complexity Classes CoRR abs/cs/0505013: (2005)
6		Phuong Nguyen: Two-Sorted Theories for L, SL, NL and P Electronic Colloquium on Computational Complexity (ECCC)(017): (2005)
	2004
5		Phuong Nguyen, Stephen A. Cook: VTC circ: A Second-Order Theory for TCcirc. LICS 2004: 378-387
	2003
4		Boualem Benatallah, Mehregan Mahdavi, Phuong Nguyen, Quan Z. Sheng, Lionel Port, Bill McIver: An Adaptive Document Version Management Scheme. CAiSE 2003: 46-62
3		Aleksandar Ignjatovic, Phuong Nguyen: Characterizing polynomial time computable functions using theories with weak set existence principles. Electr. Notes Theor. Comput. Sci. 78: (2003)
	2002
2		Eric Martin, Phuong Nguyen, Arun Sharma, Frank Stephan: Learning in Logic with RichProlog. ICLP 2002: 239-254
	2001
1		Liangzhao Zeng, Boualem Benatallah, Phuong Nguyen, Anne H. H. Ngu: AgFlow: Agent-based Cross-Enterprise Workflow Management System. VLDB 2001: 697-698

Coauthor Index

1	Klaus Aehlig	[15]
2	Boualem Benatallah	[1] [4]
3	Kanishka Bhaduri	[10]
4	Emma Brunton	[18]
5	Doreen Cheng	[16] [17]
6	Stephen Cook	[7] [15] [22]
7	Stephen A. Cook	[5] [11] [13]
8	Kamalika Das	[10]
9	Jason Dowling	[18]
10	Simon Gibbs	[16] [17]
11	Aleksandar Ignjatovic	[3]
12	Hillol Kargupta	[10]
13	Praveen Kumar	[12]
14	Anugeetha Kunjithapatham	[12] [16] [17]
15	Kun Liu	[10]
16	Anthony J. Maeder	[18]
17	Mehregan Mahdavi	[4]
18	Eric Martin	[2]
19	Bill McIver	[4]
20	Alan Messer	[12] [16] [17]
21	Anne H. H. Ngu (Anne Hee Hiong Ngu)	[1]
22	Anthony Nguyen	[18]
23	S. R. Pamidimukkala	[20]
24	Lionel Port	[4]
25	Priyang Rathod	[16] [17]
26	Arun Sharma	[2]
27	Quan Z. Sheng (Michael Sheng)	[4]
28	Mithun Sheshagiri	[12] [16] [17]
29	Henry Song	[12]
30	Frank Stephan	[2]
31	Duc A. Tran	[20]
32	Kyoung Hoon Yi	[12]
33	Liangzhao Zeng	[1]
34	Sergiy Zlatkin	[8]

Colors in the list of coauthors