Semaphore primitives and starvation-free mutual exclusion. - Eugene W. Stark (J. ACM, 1982)

A Proof Technique for Rely/Guarantee Properties. - Eugene W. Stark (FSTTCS, 1985)

Reaching approximate agreement in the presence of faults. - Danny Dolev; Nancy A. Lynch; Shlomit S. Pinter; Eugene W. Stark; William E. Weihl (J. ACM, 1986)

Concurrent Transition System Semantics of Process Networks. - Eugene W. Stark (POPL, 1987)

Computations, Residuals, and the POwer of Indeterminancy. - Prakash Panangaden; Eugene W. Stark (ICALP, 1988)

Fully Distributed, AND/OR-Parallel Execution of Logic Problems. - Prabhakaran Raman; Eugene W. Stark (ICLP/SLP, 1988)

Proving Entailment Between Conceptual State Specifications. - Eugene W. Stark (Theor. Comput. Sci., 1988)

Compostional Relational Semantics for Indeterminate Dataflow Networks. - Eugene W. Stark (Category Theory and Computer Science, 1989)

Connections between a Concrete and an Abstract Model of Concurrent Systems. - Eugene W. Stark (Mathematical Foundations of Programming Semantics, 1989)

Concurrent Transition Systems. - Eugene W. Stark (Theor. Comput. Sci., 1989)

A Proof of the Kahn Principle for Input/Output Automata - Nancy A. Lynch; Eugene W. Stark (Inf. Comput., 1989)

Stability and Sequentiality in Dataflow Networks. - Prakash Panangaden; Vasant Shanbhogue; Eugene W. Stark (ICALP, 1990)

On the Relations Computable by a Class of Concurrent Automata. - Eugene W. Stark (POPL, 1990)

Dataflow Networks are Fibrations. - Eugene W. Stark (Category Theory and Computer Science, 1991)

A Calculus of Dataflow Networks (Extended Abstract) - Eugene W. Stark (LICS, 1992)

Formally Defining Debuggers: A Comparison of Three Approaches. - Karen L. Bernstein; Eugene W. Stark (AADEBUG, 1995)

Operational semantics of a focusing debugger. - Karen L. Bernstein; Eugene W. Stark (MFPS, 1995)

An Algebra of Dataflow Networks. - Eugene W. Stark (Fundam. Informaticae, 1995)

Composition and Behaviors of Probabilistic I/O Automata. - Sue-Hwey Wu; Scott A. Smolka; Eugene W. Stark (Theor. Comput. Sci., 1997)

Fibrational Semantics of Dataflow Networks. - Eugene W. Stark (CONCUR, 1998)

Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata. - Eugene W. Stark; Scott A. Smolka (LICS, 1998)

Practical Considerations in Protocol Verification: The E-2C Case Study. - Yifei Dong; Scott A. Smolka; Eugene W. Stark; Stephanie M. White (ICECCS, 1999)

Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. - Yifei Dong; Xiaoqun Du; Y. S. Ramakrishna; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Scott A. Smolka; Oleg Sokolsky; Eugene W. Stark; David Scott Warren (TACAS, 1999)

A complete axiom system for finite-state probabilistic processes. - Eugene W. Stark; Scott A. Smolka (Proof, Language, and Interaction, 2000)

Compositional Performance Analysis Using Probabilistic I/O Automata. - Eugene W. Stark (CONCUR, 2000)

A Process-Algebraic Language for Probabilistic I/O Automata. - Eugene W. Stark; Rance Cleaveland; Scott A. Smolka (CONCUR, 2003)

The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems. - Dezhuang Zhang; Rance Cleaveland; Eugene W. Stark (TACAS, 2003)

On Behaviour Equivalence for Probabilistic I/O Automata and its Relationship to Probabilistic Bisimulation. - Eugene W. Stark (J. Autom. Lang. Comb., 2003)

Formally specifying CARA in Java. - Eugene W. Stark (Int. J. Softw. Tools Technol. Transf., 2004)

Probabilistic I/O Automata: Theories of Two Equivalences. - Eugene W. Stark; Rance Cleaveland; Scott A. Smolka (CONCUR, 2006)

Category Theory with Adjunctions and Limits. - Eugene W. Stark (Arch. Formal Proofs, 2016)

Monoidal Categories. - Eugene W. Stark (Arch. Formal Proofs, 2017)

Bicategories. - Eugene W. Stark (Arch. Formal Proofs, 2020)

Residuated Transition Systems. - Eugene W. Stark (Arch. Formal Proofs, 2022)

Enriched Category Basics. - Eugene W. Stark (Arch. Formal Proofs, 2024)

Residuated Transition Systems II: Categorical Properties. - Eugene W. Stark (Arch. Formal Proofs, 2024)