| 2006 | CONCUR | Probabilistic I/O Automata: Theories of Two Equivalences. | Eugene W. Stark, Rance Cleaveland, Scott A. Smolka |
| 2003 | CONCUR | A Process-Algebraic Language for Probabilistic I/O Automata. | Eugene W. Stark, Rance Cleaveland, Scott A. Smolka |
| 2003 | TACAS | The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems. | Dezhuang Zhang, Rance Cleaveland, Eugene W. Stark |
| 2000 | CONCUR | Compositional Performance Analysis Using Probabilistic I/O Automata. | Eugene W. Stark |
| 1999 | ICECCS | Practical Considerations in Protocol Verification: The E-2C Case Study. | Yifei Dong, Scott A. Smolka, Eugene W. Stark, Stephanie M. White |
| 1999 | TACAS | Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. | Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren |
| 1998 | CONCUR | Fibrational Semantics of Dataflow Networks. | Eugene W. Stark |
| 1998 | LICS | Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata. | Eugene W. Stark, Scott A. Smolka |
| 1994 | CONCUR | Composition and Behaviors of Probabilistic I/O Automata. | Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark |
| 1992 | LICS | A Calculus of Dataflow Networks (Extended Abstract) | Eugene W. Stark |
| 1990 | ICALP | Stability and Sequentiality in Dataflow Networks. | Prakash Panangaden, Vasant Shanbhogue, Eugene W. Stark |
| 1990 | POPL | On the Relations Computable by a Class of Concurrent Automata. | Eugene W. Stark |
| 1989 | MFPS | Connections between a Concrete and an Abstract Model of Concurrent Systems. | Eugene W. Stark |
| 1988 | ICALP | Computations, Residuals, and the POwer of Indeterminancy. | Prakash Panangaden, Eugene W. Stark |
| 1988 | ICLP | Fully Distributed, AND/OR-Parallel Execution of Logic Problems. | Prabhakaran Raman, Eugene W. Stark |
| 1987 | POPL | Concurrent Transition System Semantics of Process Networks. | Eugene W. Stark |
| 1986 | ESOP | Proving Entailment Between Conceptual State Specifications. | Eugene W. Stark |
| 1983 | SRDS | Reaching Approximate Agreement in the Presence of Faults. | Danny Dolev, Nancy A. Lynch, Shlomit S. Pinter, Eugene W. Stark, William E. Weihl |