2008 |
13 | EE | Yan He,
Ikhlas Ajbar,
Van Nguyen,
Dmitri Perkins:
Investigating the Performance Impact of Shared Host Capacity in Ad Hoc Networks.
GLOBECOM 2008: 864-869 |
12 | EE | Van Nguyen,
David Kearney,
Gianpaolo Gioiosa:
An Algorithm for Non-deterministic Object Distribution in P Systems and Its Implementation in Hardware.
Workshop on Membrane Computing 2008: 325-354 |
2007 |
11 | EE | Van Nguyen,
David Kearney,
Gianpaolo Gioiosa:
Balancing Performance, Flexibility, and Scalability in a Parallel Computing Platform for Membrane Computing Applications.
Workshop on Membrane Computing 2007: 385-413 |
2006 |
10 | EE | Van Nguyen,
Charles U. Martel:
Designing Low Cost Networks with Short Routes and Low Congestion.
INFOCOM 2006 |
2005 |
9 | EE | Van Nguyen,
Charles U. Martel:
Analyzing and characterizing small-world graphs.
SODA 2005: 311-320 |
2004 |
8 | EE | Charles U. Martel,
Van Nguyen:
Analyzing Kleinberg's (and other) small-world Models.
PODC 2004: 179-188 |
1987 |
7 | | Brent Hailpern,
Van Nguyen:
A Model for Object-Based Inheritance.
Research Directions in Object-Oriented Programming 1987: 147-164 |
1986 |
6 | | Van Nguyen,
Kenneth J. Perry:
Knowledge, Communication, and Time.
DS-2 1986: 391-414 |
5 | | Van Nguyen,
Kenneth J. Perry:
Do We Really Know What Knowledge Is?
XP7.52 Workshop on Database Theory 1986 |
4 | | Van Nguyen,
Alan J. Demers,
David Gries,
Susan S. Owicki:
A Model and Temporal Proof System for Networks of Processes.
Distributed Computing 1(1): 7-25 (1986) |
1985 |
3 | | Van Nguyen,
Alan J. Demers,
David Gries,
Susan S. Owicki:
Behavior: A Temporal Approach to Process Modelling.
Logic of Programs 1985: 237-254 |
2 | | Van Nguyen,
David Gries,
Susan S. Owicki:
A Model and Temporal Proof System for Networks of Processes.
POPL 1985: 121-131 |
1 | | Van Nguyen:
The Incompleteness of Misra and Chandy's Proof Systems.
Inf. Process. Lett. 21(2): 93-96 (1985) |