#### Filter Results:

- Full text PDF available (68)

#### Publication Year

1964

2018

- This year (4)
- Last 5 years (39)
- Last 10 years (81)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Brain Region

#### Organism

Learn More

- Michael J. Fischer, Nancy A. Lynch, Mike Paterson
- J. ACM
- 1983

The consensus problem involves an asynchronous system of processes, some of which may be unreliable. The problem is for the reliable processes to agree on a binary value. In this paper, it is shownâ€¦ (More)

- Michael J. Fischer, Richard E. Ladner
- J. Comput. Syst. Sci.
- 1979

We introduce a fundamental propositional logical system based on modal logic for describing correctness, termination and equivalence of programs. We define a formal syntax and semantics for theâ€¦ (More)

- Robert A. Wagner, Michael J. Fischer
- J. ACM
- 1974

The <italic>string-to-string correction problem</italic> is to determine the distance between two strings as measured by the minimum cost sequence of “edit operations” needed to changeâ€¦ (More)

- Richard E. Ladner, Michael J. Fischer
- J. ACM
- 1980

The prefix problem is to compute all the products x t o x2 . . . . o xk for i ~ k .~ n, where o is an associative operation A recurstve construction IS used to obtain a product circuit for solvingâ€¦ (More)

- Dana Angluin, James Aspnes, ZoÃ« Diamadi, Michael J. Fischer, RenÃ© Peralta
- Distributed Computing
- 2004

We explore the computational power of networks of small resource-limited mobile agents. We define two new models of computation based on pairwise interactions of finite-state agents in populations ofâ€¦ (More)

- Michael J. Fischer, Nancy A. Lynch
- Inf. Process. Lett.
- 1982

fConttnua on ravaraa alda It nacaaaary and Idantity by block numbar)<lb>The problem of "assuring interactive consistency" is defined in [PSL].<lb>20 It is assumed that there are n isolatedâ€¦ (More)

- Michael J. Fischer
- SWAT
- 1968

- Michael J. Fischer, Hong Jiang
- OPODIS
- 2006

This paper considers the self-stabilizing leader-election problem in a model of interacting anonymous finite-state agents. Leader election is a fundamental problem in distributed systems; manyâ€¦ (More)

- Josh Benaloh, Michael J. Fischer
- 26th Annual Symposium on Foundations of Computerâ€¦
- 1985

Cryptographic techniques are becoming important for a wide variety of distributed computing tasks where the processing agents are either unreliable or untrustworthy. (Cf. [DiHe76], [DLM82], [Rab83],â€¦ (More)

- Dana Angluin, James Aspnes, Michael J. Fischer, Hong Jiang
- TAAS
- 2005

This article studies self-stabilization in networks of anonymous, asynchronously interacting nodes where the size of the network is unknown. Constant-space protocols are given for Dijkstra-styleâ€¦ (More)