Stark, Eugene W. - Department of Computer Science, SUNY at Stony Brook

• Linear Decision Diagrams Eugene W. Stark, Wenxin Song
• Proving Entailment Between Conceptual State Specifications
• Fibrational Semantics of Dataflow Networks ? Eugene W. Stark
• Stability and Sequentiality in Dataflow Networks Prakash Panangaden \Lambda Vasant Shanbhogue
• Reaching Approximate Agreement in the Presence of Faults
• A Simple Generalization of Kahn's Principle to Indeterminate Dataflow Networks
• A Complete Axiom System for FiniteState Probabilistic Processes
• A Proof of the Kahn Principle for Input/Output Automata Nancy A. Lynch
• Concurrent Transition Systems \Lambda Eugene W. Stark
• The Integrated CWBNC/PIOATool for Functional Verification and Performance
• Computations, Residuals, and the Power of Indeterminacy
• An Algebra of Dataflow Networks Eugene W. STARK \Lambda
• A Distributed Shared Memory Facility for FreeBSD \Lambda
• Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata \Lambda
• A BDD Representation for Positive Equational Formulas
• Probabilistic I/O Automata: Theories of Two Equivalences
• Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
• Concurrent Transition System Semantics of Process Networks
• Connections between a Concrete and an Abstract Model of Concurrent Systems
• A Proof Technique for Rely/Guarantee Properties Eugene W. Stark 1
• Proving Entailment Between Conceptual State Specifications
• Compositional Relational Semantics for Indeterminate Dataflow Networks
• On the Relations Computable by a Class of Concurrent Automata
• Composition and Behaviors of Probabilistic I/O Automata \Lambda
• Debugging Type Errors (Full version) Karen L. Bernstein and Eugene W. Stark \Lambda
• A Proof Technique for Rely/Guarantee Properties Eugene W. Stark \Lambda
• Compositional Performance
• Journal of Automata, Languages and Combinatorics u (v) w, x--y fl OttovonGuerickeUniversitat Magdeburg
• Fully Distributed, AND/OR Parallel Execution of Logic Programs
• Fighting Livelock in the iProtocol: A Comparative Study of Verification Tools ?
• UNPUBLISHED 2010 A Cartesian Bicategory of Nondeterministic
• Implementation of a Compositional Performance Analysis Algorithm for Probabilistic I/O
• Composition and Behaviors of Probabilistic I/O Automata
• A Calculus of Dataflow Networks (Extended Abstract)
• Operational Semantics of a Focusing Debugger (Full version)
• Compositional Calculation of SteadyState Probabilities ?
• Dataflow Networks are Fibrations Eugene W. Stark \Lambda
• Formally Defining Debuggers: A Comparison of Three Approaches