Concepedia

Edward Ochmański

EO

Statistics

Publications

4

Citations

171

H-Index

4

Active since

1985

Affiliations

Institute of Computer Science(Current)

Edward Ochmański is an author at Institute of Computer Science specializing in formal methods, engineering, and formal verification.

Top concepts

EngineeringFormal MethodsFormal VerificationSystems EngineeringAutomated ReasoningComputational Complexity

Publications per year

1985–1992

4

Publications

4

Regular behaviour of concurrent systems.

Edward Ochmański · Bulletin of the European Association for Theoretical Computer Science · 1985 · 113 citations

Engineering, Concurrent Programming, Concurrency Theory +5

Concurrent systems and inevitability

Antoni Mazurkiewicz, Edward Ochmański, Wojciech Penczek · Theoretical Computer Science · 1989 · 31 citations

Engineering, Concurrency Theory, Formal Methods +5

Decidability of the Star Problem in

Paul Gastin, Edward Ochmański, Antoine Petit et al. · Information Processing Letters · 1992 · 16 citations

Computational Complexity Theory, Engineering, Automated Reasoning +4

Notes on a star mystery.

Edward Ochmański · Bulletin of the European Association for Theoretical Computer Science · 1990 · 11 citations

1–4 of 4