Concepedia

Eike Best

EB

Statistics

Publications

31

Citations

1.1K

H-Index

18

Active since

1977

Affiliations

Carl von Ossietzky Universität Oldenburg(Current)

Newcastle University

Université Libre de Bruxelles

University of Hildesheim

Gesellschaft Fur Mathematik Und Datenverarbeitung

Eike Best is an author at Carl von Ossietzky Universität Oldenburg specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringProgram AnalysisProcess ControlMechanism DesignSoftware Analysis

Publications per year

1977–2017

31

Publications

31

Sequential and concurrent behaviour in Petri net theory

Eike Best, Raymond Devillers · Theoretical Computer Science · 1987 · 259 citations

Petri Net, Engineering, Automated Reasoning +5

Concurrent bisimulations in Petri nets

Eike Best, Raymond Devillers, Astrid Kiehn et al. · Acta Informatica · 1991 · 118 citations

Petri Net, Engineering, Concurrency Theory +7

A formal model of atomicity in asynchronous systems

Eike Best, Brian Randell · Acta Informatica · 1981 · 69 citations

Engineering, Synchronization Protocol, Concurrency Theory +8

Petri net semantics of priority systems

Eike Best, Maciej Koutny · Theoretical Computer Science · 1992 · 69 citations

Petri Net, Engineering, Automated Reasoning +6

Fairness and conspiracies

Eike Best · Information Processing Letters · 1984 · 56 citations

Algorithmic Bias, Bias, Algorithmic Fairness +4

1–5 of 31