| 2008 |
| 85 | EE | Michael J. Fischer:
Evolution of distributed computing theory: from concurrency to networks and beyond.
PODC 2008: 460 |
| 84 | EE | Dana Angluin,
James Aspnes,
Michael J. Fischer,
Hong Jiang:
Self-stabilizing population protocols.
TAAS 3(4): (2008) |
| 2006 |
| 83 | EE | Dana Angluin,
Michael J. Fischer,
Hong Jiang:
Stabilizing Consensus in Mobile Networks.
DCOSS 2006: 37-50 |
| 82 | EE | Dana Angluin,
James Aspnes,
Zoë Diamadi,
Michael J. Fischer,
René Peralta:
Computation in networks of passively mobile finite-state sensors.
Distributed Computing 18(4): 235-253 (2006) |
| 2005 |
| 81 | EE | Dana Angluin,
James Aspnes,
Melody Chan,
Michael J. Fischer,
Hong Jiang,
René Peralta:
Stably Computable Properties of Network Graphs.
DCOSS 2005: 63-74 |
| 80 | EE | Dana Angluin,
James Aspnes,
Michael J. Fischer,
Hong Jiang:
Self-stabilizing Population Protocols.
OPODIS 2005: 103-117 |
| 2004 |
| 79 | EE | Dana Angluin,
James Aspnes,
Zoë Diamadi,
Michael J. Fischer,
René Peralta:
Computation in networks of passively mobile finite-state sensors.
PODC 2004: 290-299 |
| 2003 |
| 78 | EE | Michael J. Fischer,
Michael Merritt:
Appraising two decades of distributed computing theory research.
Distributed Computing 16(2-3): 239-247 (2003) |
| 77 | EE | Michael J. Fischer:
JACM 1983-1986.
J. ACM 50(1): 17 (2003) |
| 2001 |
| 76 | EE | James Aspnes,
David F. Fischer,
Michael J. Fischer,
Ming-Yang Kao,
Alok Kumar:
Towards understanding the predictability of stock markets from the perspective of computational complexity.
SODA 2001: 745-754 |
| 2000 |
| 75 | EE | James Aspnes,
David F. Fischer,
Michael J. Fischer,
Ming-Yang Kao,
Alok Kumar:
Towards Understanding the Predictability of Stock Markets from the Perspective of Computational Complexity
CoRR cs.CE/0010021: (2000) |
| 1999 |
| 74 | EE | Michael J. Fischer,
Mike Paterson:
Optimal Layout of Edge-weighted Forests.
Discrete Applied Mathematics 90(1-3): 135-159 (1999) |
| 1998 |
| 73 | EE | Michael J. Fischer:
Estimating Parameters of Monotone Boolean Functions (Abstract).
COCOON 1998: 3 |
| 1996 |
| 72 | | Michael J. Fischer,
Rebecca N. Wright:
Bounds on Secret Key Exchange Using a Random Deal of Cards.
J. Cryptology 9(2): 71-99 (1996) |
| 71 | | Michael J. Fischer,
Silvio Micali,
Charles Rackoff:
A Secure Protocol for the Oblivious Transfer (Extended Abstract).
J. Cryptology 9(3): 191-195 (1996) |
| 70 | | Michael J. Fischer,
Shlomo Moran,
Steven Rudich,
Gadi Taubenfeld:
The Wakeup Problem.
SIAM J. Comput. 25(6): 1331-1332 (1996) |
| 1994 |
| 69 | EE | Michael J. Fischer,
Mike Paterson:
Fishspear: A Priority Queue Algorithm.
J. ACM 41(1): 3-30 (1994) |
| 68 | EE | Yehuda Afek,
Hagit Attiya,
Alan Fekete,
Michael J. Fischer,
Nancy A. Lynch,
Yishay Mansour,
Da-Wei Wang,
Lenore D. Zuck:
Reliable Communication Over Unreliable Channels.
J. ACM 41(6): 1267-1297 (1994) |
| 1993 |
| 67 | | Michael J. Fischer,
Rebecca N. Wright:
An Efficient Protocol for Unconditionally Secure Secret Key Exchange.
SODA 1993: 475-483 |
| 66 | | Michael J. Fischer,
Shlomo Moran,
Gadi Taubenfeld:
Space-Efficient Asynchronous Consensus Without Shared Memory Initialization.
Inf. Process. Lett. 45(2): 101-105 (1993) |
| 65 | | Michael J. Fischer:
Lambda-Calculus Schemata.
Lisp and Symbolic Computation 6(3-4): 259-288 (1993) |
| 1992 |
| 64 | | Michael J. Fischer,
Nancy D. Griffeth,
Leonidas J. Guibas,
Nancy A. Lynch:
Optimal Placement of Identical Resources in a Tree
Inf. Comput. 96(1): 1-54 (1992) |
| 1991 |
| 63 | EE | Michael J. Fischer,
Rebecca N. Wright:
Multiparty Secret Key Exchange Using a Random Deal of Cards.
CRYPTO 1991: 141-155 |
| 1990 |
| 62 | | Michael J. Fischer,
Shlomo Moran,
Steven Rudich,
Gadi Taubenfeld:
The Wakeup Problem (Extended Abstract)
STOC 1990: 106-116 |
| 1989 |
| 61 | EE | Michael J. Fischer,
Nancy A. Lynch,
James E. Burns,
Allan Borodin:
Distributed FIFO Allocation of Identical Resources Using Small Shared Space.
ACM Trans. Program. Lang. Syst. 11(1): 90-114 (1989) |
| 1988 |
| 60 | | Michael J. Fischer,
Lenore D. Zuck:
Reasoning about Uncertainty in Fault-tolerant Distributed Systems.
FTRTFT 1988: 142-158 |
| 1987 |
| 59 | | Andrei Z. Broder,
Danny Dolev,
Michael J. Fischer,
Barbara Simons:
Efficient Fault-Tolerant Routings in Networks
Inf. Comput. 75(1): 52-64 (1987) |
| 58 | | Michael J. Fischer,
Neil Immerman:
Interpreting Logics of Knowledge in Propositional Dynamic Logic with Converse.
Inf. Process. Lett. 25(3): 175-181 (1987) |
| 1986 |
| 57 | | Michael J. Fischer:
A Theoretician's View of Fault Tolerant Distributed Computing.
Fault-Tolerant Distributed Computing 1986: 1-9 |
| 56 | | Michael J. Fischer,
Nancy A. Lynch,
Michael Merritt:
Easy Impossibility Proofs for Distributed Consensus Problems.
Fault-Tolerant Distributed Computing 1986: 147-170 |
| 55 | | Michael J. Fischer,
Neil Immerman:
Foundations of Knowledge for Distributed Systems.
TARK 1986: 171-185 |
| 54 | | Michael J. Fischer,
Nancy A. Lynch,
Michael Merritt:
Easy Impossibility Proofs for Distributed Consensus Problems.
Distributed Computing 1(1): 26-39 (1986) |
| 53 | | Nancy A. Lynch,
Nancy D. Griffeth,
Michael J. Fischer,
Leonidas J. Guibas:
Probabilistic Analysis of a Network Resource Allocation Algorithm
Information and Control 68(1-3): 47-85 (1986) |
| 1985 |
| 52 | | Michael J. Fischer,
Mike Paterson:
Dynamic Monotone Priorities on Planar Sets (Extended Abstract)
FOCS 1985: 289-292 |
| 51 | | Josh D. Cohen,
Michael J. Fischer:
A Robust and Verifiable Cryptographically Secure Election Scheme (Extended Abstract)
FOCS 1985: 372-382 |
| 50 | | Michael J. Fischer,
Nancy A. Lynch,
Michael Merritt:
Easy Impossibility Proofs for Distributed Consensus Problems.
PODC 1985: 59-70 |
| 49 | EE | Michael J. Fischer,
Nancy A. Lynch,
Mike Paterson:
Impossibility of Distributed Consensus with One Faulty Process
J. ACM 32(2): 374-382 (1985) |
| 1984 |
| 48 | | Michael J. Fischer,
Mike Paterson:
Fishspear: A Priority Queue Algorithm (Extended Abstract)
FOCS 1984: 375-386 |
| 47 | | Andrei Z. Broder,
Danny Dolev,
Michael J. Fischer,
Barbara Simons:
Efficient Fault Tolerant Routings in Networks
STOC 1984: 536-541 |
| 1983 |
| 46 | | Michael J. Fischer:
The Consensus Problem in Unreliable Distributed Systems (A Brief Survey).
FCT 1983: 127-140 |
| 45 | EE | Michael J. Fischer,
Nancy A. Lynch,
Mike Paterson:
Impossibility of Distributed Consensus with One Faulty Process.
PODS 1983: 1-7 |
| 44 | | Michael J. Fischer,
Mike Paterson:
Storage Requirements for Fair Scheduling.
Inf. Process. Lett. 17(5): 249-250 (1983) |
| 43 | EE | Eshrat Arjomandi,
Michael J. Fischer,
Nancy A. Lynch:
Efficiency of Synchronous Versus Asynchronous Distributed Systems
J. ACM 30(3): 449-456 (1983) |
| 42 | | Nancy A. Lynch,
Michael J. Fischer:
A Technique for Decomposing Algorithms Which Use a Single Shared Variable.
J. Comput. Syst. Sci. 27(3): 350-377 (1983) |
| 1982 |
| 41 | | Albert G. Greenberg,
Michael J. Fischer:
On computing weak transitive closure on O(log N) expected random parallel time.
ICPP 1982: 199-204 |
| 40 | EE | Michael J. Fischer,
A. Michael:
Sacrificing Serializability to Attain High Availability of Data.
PODS 1982: 70-75 |
| 39 | | Michael J. Fischer,
Nancy D. Griffeth,
Nancy A. Lynch:
Global States of a Distributed System.
IEEE Trans. Software Eng. 8(3): 198-202 (1982) |
| 38 | | Michael J. Fischer,
Nancy A. Lynch:
A Lower Bound for the Time to Assure Interactive Consistency.
Inf. Process. Lett. 14(4): 183-186 (1982) |
| 37 | | Danny Dolev,
Michael J. Fischer,
Robert J. Fowler,
Nancy A. Lynch,
H. Raymond Strong:
An Efficient Algorithm for Byzantine Agreement without Authentication
Information and Control 52(3): 257-274 (1982) |
| 36 | EE | James E. Burns,
Paul Jackson,
Nancy A. Lynch,
Michael J. Fischer,
Gary L. Peterson:
Data Requirements for Implementation of N-Process Mutual Exclusion Using a Single Shared Variable.
J. ACM 29(1): 183-205 (1982) |
| 35 | | Michael J. Fischer,
Albert R. Meyer,
Mike Paterson:
Omega(n log n) Lower Bounds on Length of Boolean Formulas.
SIAM J. Comput. 11(3): 416-427 (1982) |
| 1981 |
| 34 | | Michael J. Fischer,
Leonidas J. Guibas,
Nancy D. Griffeth,
Nancy A. Lynch:
Optimal Placement of Identical Resources in a Distributed Network.
ICDCS 1981: 324-336 |
| 33 | | Edward D. Lazowska,
Henry M. Levy,
Guy T. Almes,
Michael J. Fischer,
Robert J. Fowler,
Stephen C. Vestal:
The Architecture of the Eden System.
SOSP 1981: 148-159 |
| 32 | | Eshrat Arjomandi,
Michael J. Fischer,
Nancy A. Lynch:
A Difference in Efficiency between Synchronous and Asynchronous Systems
STOC 1981: 128-132 |
| 31 | | Allan Borodin,
Michael J. Fischer,
David G. Kirkpatrick,
Nancy A. Lynch,
Martin Tompa:
A Time-Space Tradeoff for Sorting on Non-Oblivious Machines.
J. Comput. Syst. Sci. 22(3): 351-364 (1981) |
| 30 | | Nancy A. Lynch,
Michael J. Fischer:
On Describing the Behavior and Implementation of Distributed Systems.
Theor. Comput. Sci. 13: 17-43 (1981) |
| 1980 |
| 29 | | Michael J. Fischer,
Mike Paterson:
Optimal Tree Layout (Preliminary Version)
STOC 1980: 177-189 |
| 28 | EE | Richard E. Ladner,
Michael J. Fischer:
Parallel Prefix Computation.
J. ACM 27(4): 831-838 (1980) |
| 1979 |
| 27 | | Michael J. Fischer,
Nancy A. Lynch,
James E. Burns,
Allan Borodin:
Resource Allocation with Immunity to Limited Process Failure (Preliminary Report)
FOCS 1979: 234-254 |
| 26 | | Allan Borodin,
Michael J. Fischer,
David G. Kirkpatrick,
Nancy A. Lynch,
Martin Tompa:
A Time-Space Tradeoff for Sorting on Non-Oblivious Machines
FOCS 1979: 319-327 |
| 25 | | Nancy A. Lynch,
Michael J. Fischer:
On Describing the Behavior and Implementation of Distributed Systems.
Semantics of Concurrent Computation 1979: 147-172 |
| 24 | EE | Nicholas Pippenger,
Michael J. Fischer:
Relations Among Complexity Measures.
J. ACM 26(2): 361-381 (1979) |
| 23 | | Michael J. Fischer,
Richard E. Ladner:
Propositional Dynamic Logic of Regular Programs.
J. Comput. Syst. Sci. 18(2): 194-211 (1979) |
| 1978 |
| 22 | EE | Joel I. Seiferas,
Michael J. Fischer,
Albert R. Meyer:
Separating Nondeterministic Time Complexity Classes.
J. ACM 25(1): 146-167 (1978) |
| 1977 |
| 21 | | Michael J. Fischer,
Richard E. Ladner:
Propositional Modal Logic of Programs (Extended Abstract)
STOC 1977: 286-294 |
| 20 | | Gary L. Peterson,
Michael J. Fischer:
Economical Solutions for the Critical Section Problem in a Distributed System (Extended Abstract)
STOC 1977: 91-97 |
| 1976 |
| 19 | | Peter A. Bloniarz,
Michael J. Fischer,
Albert R. Meyer:
A Note on the Average Time to Compute Transitive Closures.
ICALP 1976: 425-434 |
| 1975 |
| 18 | | Michael J. Fischer:
Hauptvortrag: The complexity of negation-limited networks - A brief survey.
Automata Theory and Formal Languages 1975: 71-82 |
| 17 | | Michael J. Fischer,
Albert R. Meyer,
Mike Paterson:
Lower Bounds on the Size of Boolean Formulas: Preliminary Report
STOC 1975: 37-44 |
| 1974 |
| 16 | EE | Robert A. Wagner,
Michael J. Fischer:
The String-to-String Correction Problem.
J. ACM 21(1): 168-173 (1974) |
| 15 | | Michael J. Fischer,
Larry J. Stockmeyer:
Fast On-Line Integer Multiplication.
J. Comput. Syst. Sci. 9(3): 317-331 (1974) |
| 1973 |
| 14 | | Joel I. Seiferas,
Michael J. Fischer,
Albert R. Meyer:
Refinements of the Nondeterministic Time and Space Hierarchies
FOCS 1973: 130-137 |
| 13 | | Alice E. Fischer,
Michael J. Fischer:
Mode Modules as Representations of Domains.
POPL 1973: 139-143 |
| 12 | | Nancy A. Lynch,
Albert R. Meyer,
Michael J. Fischer:
Sets that Don't Help
STOC 1973: 130-134 |
| 11 | | Michael J. Fischer,
Larry J. Stockmeyer:
Fast On-Line Integer Multiplication
STOC 1973: 67-72 |
| 1971 |
| 10 | | Michael J. Fischer,
Albert R. Meyer:
Boolean Matrix Multiplication and Transitive Closure
FOCS 1971: 129-131 |
| 9 | | Albert R. Meyer,
Michael J. Fischer:
Economy of Description by Automata, Grammars, and Formal Systems
FOCS 1971: 188-191 |
| 1969 |
| 8 | | Michael J. Fischer:
Two Characterizations of the Context-Sensitive Languages
FOCS 1969: 149-156 |
| 7 | | Michael J. Fischer:
Some Properties of Precedence Languages
STOC 1969: 181-190 |
| 1968 |
| 6 | | Michael J. Fischer:
Grammars with Macro-Like Productions
FOCS 1968: 131-142 |
| 5 | | Michael J. Fischer,
Arnold L. Rosenberg:
Limited Random Access Turing Machines
FOCS 1968: 356-367 |
| 4 | | Michael J. Fischer,
Arnold L. Rosenberg:
Real-Time Solutions of the Origin-Crossing Problem.
Mathematical Systems Theory 2(3): 257-263 (1968) |
| 1965 |
| 3 | EE | Bernard A. Galler,
Michael J. Fischer:
The iteration element.
Commun. ACM 8(6): 349 (1965) |
| 1964 |
| 2 | EE | Bernard A. Galler,
Michael J. Fischer:
An improved equivalence algorithm.
Commun. ACM 7(5): 301-303 (1964) |
| 1 | EE | Bernard A. Galler,
Michael J. Fischer:
In defense of the equivalence algorithm.
Commun. ACM 7(8): 506 (1964) |