2008 |
20 | EE | Duc A. Tran,
S. R. Pamidimukkala,
Phuong Nguyen:
Relevance-Feedback Image Retrieval Based on Multiple-Instance Learning.
ACIS-ICIS 2008: 597-602 |
19 | EE | Phuong Nguyen:
Proving Infinitude of Prime Numbers Using Binomial Coefficients.
CSL 2008: 184-198 |
18 | EE | 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 | EE | 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 | EE | 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 | EE | Klaus Aehlig,
Stephen Cook,
Phuong Nguyen:
Relativizing Small Complexity Classes and Their Theories.
CSL 2007: 374-388 |
14 | EE | Phuong Nguyen:
Separating DAG-Like and Tree-Like Proof Systems.
LICS 2007: 235-244 |
13 | EE | Phuong Nguyen,
Stephen A. Cook:
The Complexity of Proving the Discrete Jordan Curve Theorem.
LICS 2007: 245-256 |
2006 |
12 | EE | 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 | EE | Phuong Nguyen,
Stephen A. Cook:
Theories for TC0 and Other Small Complexity Classes.
Logical Methods in Computer Science 2(1): (2006) |
10 | EE | 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 | EE | Phuong Nguyen,
Sergiy Zlatkin:
Towards Using Simulation for Enhancing Web Information Systems' Utility.
WISE Workshops 2005: 33-42 |
7 | EE | Phuong Nguyen,
Stephen Cook:
Theories for TC0 and Other Small Complexity Classes
CoRR abs/cs/0505013: (2005) |
6 | EE | Phuong Nguyen:
Two-Sorted Theories for L, SL, NL and P
Electronic Colloquium on Computational Complexity (ECCC)(017): (2005) |
2004 |
5 | EE | Phuong Nguyen,
Stephen A. Cook:
VTC circ: A Second-Order Theory for TCcirc.
LICS 2004: 378-387 |
2003 |
4 | EE | Boualem Benatallah,
Mehregan Mahdavi,
Phuong Nguyen,
Quan Z. Sheng,
Lionel Port,
Bill McIver:
An Adaptive Document Version Management Scheme.
CAiSE 2003: 46-62 |
3 | EE | 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 | EE | Eric Martin,
Phuong Nguyen,
Arun Sharma,
Frank Stephan:
Learning in Logic with RichProlog.
ICLP 2002: 239-254 |
2001 |
1 | EE | Liangzhao Zeng,
Boualem Benatallah,
Phuong Nguyen,
Anne H. H. Ngu:
AgFlow: Agent-based Cross-Enterprise Workflow Management System.
VLDB 2001: 697-698 |