Concepedia

Peter Bishop

PB

Statistics

Publications

28

Citations

1.8K

H-Index

20

Active since

1973

Affiliations

Adelard(Current)

City, University of London

Central Electricity Generating Board

Institute for the Future

United Kingdom Atomic Energy Authority

Peter Bishop is an author at Adelard specializing in computer science, computing, and software reliability.

Publications per year

1973–2019

28

Publications

28

A universal modular ACTOR formalism for artificial intelligence

Carl Hewitt, Peter Bishop, Richard de Steiger · International Joint Conference on Artificial Intelligence · 1973 · 895 citations

Computing, Computer Science, Artificial Intelligence +7

PODS — A project on diverse software

Peter Bishop, D.G. Esp, Mel Barnes et al. · IEEE Transactions on Software Engineering · 1986 · 108 citations

Computing, Computer Science, Fault Tolerance +13

The variation of software survival time for different operational input profiles (or why you can wait a long time for a big bug to fail)

Peter Bishop · 2002 · 92 citations

Computing, Computer Engineering, Computer Science +12

Actor induction and meta-evaluation

Carl Hewitt, Peter Bishop, Irene Greif et al. · 1973 · 50 citations

Computing, Computer Science, Artificial Intelligence +14

Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems

Peter Bishop, Robin Bloomfield, Bev Littlewood et al. · IEEE Transactions on Software Engineering · 2010 · 49 citations

Computing, Computer Systems, Systems Engineering +15

1–5 of 28