Eugene W. Stark - Concepedia

Author

Eugene W. Stark

Also Known As

Eugene Stark, Eugene W. Stark, Stark, Eugene W.

Publications

1.4K

Citations

H-Index

Concepts

All Affiliations

Eugene W. Stark is an author at Stony Brook University specializing in engineering, formal methods, and automated reasoning.

#	Concept	H-Index	Publications	Citations
1	Engineering	6	6	898
2	Computer Science	4	4	760
3	Systems Engineering	2	2	622
4	Asynchronous Systems	2	2	535
5	Mathematical Foundations	1	1	16

Eugene W. Stark

Publications

935

Citations

H-Index

Page 1

	Year	Citations
Reaching approximate agreement in the presence of faults Danny Dolev, Nancy Lynch, Shlomit S. Pinter, Journal of the ACM Blockchain Consensus ProtocolEngineeringVerificationComputational ComplexityByzantine Generals Problem	1986	519
Composition and behaviors of probabilistic I/O automata Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark Theoretical Computer Science Logical AutomatonEngineeringAutomated ReasoningFormal MethodsAutomaton Network	1997	122
A proof of the Kahn principle for input/output automata Nancy Lynch, Eugene W. Stark Information and Computation EngineeringAutomated ReasoningFormal MethodsAutomaton NetworkAutomaton Operation	1989	107
Concurrent transition systems Eugene W. Stark Theoretical Computer Science EngineeringConcurrency TheoryConcurrent Transition SystemsFormal MethodsSystems Engineering	1989	103
Proving entailment between conceptual state specifications Eugene W. Stark Theoretical Computer Science Formal SemanticsConceptual State SpecificationsEngineeringAutomated ReasoningPropositional Logic	1988	31
Semaphore primitives and starvation-free mutual exclusion Eugene W. Stark Journal of the ACM	1982	23
On the relations computable by a class of concurrent automata Eugene W. Stark EngineeringDeterminate AutomataVerificationConcurrent SystemFormal Verification	1990	16
Operational Semantics of a Focusing Debugger Karen L. Bernstein, Eugene W. Stark Electronic Notes in Theoretical Computer Science	1995	14

Page 1