Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Michael J. Fischer
@inproceedings{DBLP:conf/sss/FischerHB21,
author = {Michael J. Fischer and
Jonathan E. Hochman and
Daniel Boffa},
editor = {Colette Johnen and
Elad Michael Schiller and
Stefan Schmid},
title = {Privacy-Preserving Data Sharing for Medical Research},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 23rd
International Symposium, {SSS} 2021, Virtual Event, November 17-20,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13046},
pages = {78--89},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91081-5\_6},
doi = {10.1007/978-3-030-91081-5\_6},
timestamp = {Wed, 10 Nov 2021 16:15:58 +0100},
biburl = {https://dblp.org/rec/conf/sss/FischerHB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uemcom/KetsdeverF19,
author = {Shea Ketsdever and
Michael J. Fischer},
title = {Incentives Don't Solve Blockchain's Problems},
booktitle = {10th {IEEE} Annual Ubiquitous Computing, Electronics {\&} Mobile
Communication Conference, {UEMCON} 2019, New York City, NY, USA, October
10-12, 2019},
pages = {873--876},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/UEMCON47517.2019.8992984},
doi = {10.1109/UEMCON47517.2019.8992984},
timestamp = {Mon, 09 Mar 2020 12:54:54 +0100},
biburl = {https://dblp.org/rec/conf/uemcom/KetsdeverF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-04792,
author = {Shea Ketsdever and
Michael J. Fischer},
title = {Incentives Don't Solve Blockchain's Problems},
journal = {CoRR},
volume = {abs/1905.04792},
year = {2019},
url = {http://arxiv.org/abs/1905.04792},
eprinttype = {arXiv},
eprint = {1905.04792},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-04792.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/SytaJKGGKFF17,
author = {Ewa Syta and
Philipp Jovanovic and
Eleftherios Kokoris{-}Kogias and
Nicolas Gailly and
Linus Gasser and
Ismail Khoffi and
Michael J. Fischer and
Bryan Ford},
title = {Scalable Bias-Resistant Distributed Randomness},
booktitle = {2017 {IEEE} Symposium on Security and Privacy, {SP} 2017, San Jose,
CA, USA, May 22-26, 2017},
pages = {444--460},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SP.2017.45},
doi = {10.1109/SP.2017.45},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/SytaJKGGKFF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/SytaJKGGKFF16,
author = {Ewa Syta and
Philipp Jovanovic and
Eleftherios Kokoris{-}Kogias and
Nicolas Gailly and
Linus Gasser and
Ismail Khoffi and
Michael J. Fischer and
Bryan Ford},
title = {Scalable Bias-Resistant Distributed Randomness},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1067},
year = {2016},
url = {http://eprint.iacr.org/2016/1067},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/SytaJKGGKFF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/SytaFWSGF15,
author = {Ewa Syta and
Michael J. Fischer and
David Wolinsky and
Abraham Silberschatz and
Gina Gallegos{-}Garc{\'{\i}}a and
Bryan Ford},
editor = {Mohammad S. Obaidat and
Pascal Lorenz and
Pierangela Samarati},
title = {Private Eyes: Secure Remote Biometric Authentication},
booktitle = {{SECRYPT} 2015 - Proceedings of the 12th International Conference
on Security and Cryptography, Colmar, Alsace, France, 20-22 July,
2015},
pages = {243--250},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005539602430250},
doi = {10.5220/0005539602430250},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/secrypt/SytaFWSGF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mcm/MontenegroFLP13,
author = {Jos{\'{e}} A. Montenegro and
Michael J. Fischer and
Javier L{\'{o}}pez and
Ren{\'{e}} Peralta},
title = {Secure sealed-bid online auctions using discreet cryptographic proofs},
journal = {Math. Comput. Model.},
volume = {57},
number = {11-12},
pages = {2583--2595},
year = {2013},
url = {https://doi.org/10.1016/j.mcm.2011.07.027},
doi = {10.1016/J.MCM.2011.07.027},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mcm/MontenegroFLP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/FischerIP11,
author = {Michael J. Fischer and
Michaela Iorga and
Ren{\'{e}} Peralta},
editor = {Javier L{\'{o}}pez and
Pierangela Samarati},
title = {A Public Randomness Service},
booktitle = {{SECRYPT} 2011 - Proceedings of the International Conference on Security
and Cryptography, Seville, Spain, 18 - 21 July, 2011, {SECRYPT} is
part of {ICETE} - The International Joint Conference on e-Business
and Telecommunications},
pages = {434--438},
publisher = {SciTePress},
year = {2011},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/secrypt/FischerIP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/FischerSY10,
author = {Michael J. Fischer and
Xueyuan Su and
Yitong Yin},
editor = {Friedhelm Meyer auf der Heide and
Cynthia A. Phillips},
title = {Assigning tasks for efficiency in Hadoop: extended abstract},
booktitle = {{SPAA} 2010: Proceedings of the 22nd Annual {ACM} Symposium on Parallelism
in Algorithms and Architectures, Thira, Santorini, Greece, June 13-15,
2010},
pages = {30--39},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1810479.1810484},
doi = {10.1145/1810479.1810484},
timestamp = {Wed, 21 Nov 2018 11:15:55 +0100},
biburl = {https://dblp.org/rec/conf/spaa/FischerSY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sss/2010,
editor = {Shlomi Dolev and
Jorge Arturo Cobb and
Michael J. Fischer and
Moti Yung},
title = {Stabilization, Safety, and Security of Distributed Systems - 12th
International Symposium, {SSS} 2010, New York, NY, USA, September
20-22, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6366},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16023-3},
doi = {10.1007/978-3-642-16023-3},
isbn = {978-3-642-16022-6},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/AngluinAFJ08,
author = {Dana Angluin and
James Aspnes and
Michael J. Fischer and
Hong Jiang},
title = {Self-stabilizing population protocols},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {3},
number = {4},
pages = {13:1--13:28},
year = {2008},
url = {https://doi.org/10.1145/1452001.1452003},
doi = {10.1145/1452001.1452003},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taas/AngluinAFJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Fischer08,
author = {Michael J. Fischer},
editor = {Rida A. Bazzi and
Boaz Patt{-}Shamir},
title = {Evolution of distributed computing theory: from concurrency to networks
and beyond},
booktitle = {Proceedings of the Twenty-Seventh Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2008, Toronto, Canada, August 18-21,
2008},
pages = {460},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1400751.1400858},
doi = {10.1145/1400751.1400858},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/Fischer08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/AngluinADFP06,
author = {Dana Angluin and
James Aspnes and
Zo{\"{e}} Diamadi and
Michael J. Fischer and
Ren{\'{e}} Peralta},
title = {Computation in networks of passively mobile finite-state sensors},
journal = {Distributed Comput.},
volume = {18},
number = {4},
pages = {235--253},
year = {2006},
url = {https://doi.org/10.1007/s00446-005-0138-3},
doi = {10.1007/S00446-005-0138-3},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/AngluinADFP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcoss/AngluinFJ06,
author = {Dana Angluin and
Michael J. Fischer and
Hong Jiang},
editor = {Phillip B. Gibbons and
Tarek F. Abdelzaher and
James Aspnes and
Ramesh R. Rao},
title = {Stabilizing Consensus in Mobile Networks},
booktitle = {Distributed Computing in Sensor Systems, Second {IEEE} International
Conference, {DCOSS} 2006, San Francisco, CA, USA, June 18-20, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4026},
pages = {37--50},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11776178\_3},
doi = {10.1007/11776178\_3},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/dcoss/AngluinFJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/FischerJ06,
author = {Michael J. Fischer and
Hong Jiang},
editor = {Alexander A. Shvartsman},
title = {Self-stabilizing Leader Election in Networks of Finite-State Anonymous
Agents},
booktitle = {Principles of Distributed Systems, 10th International Conference,
{OPODIS} 2006, Bordeaux, France, December 12-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4305},
pages = {395--409},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11945529\_28},
doi = {10.1007/11945529\_28},
timestamp = {Mon, 03 Jan 2022 22:35:20 +0100},
biburl = {https://dblp.org/rec/conf/opodis/FischerJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcoss/AngluinACFJP05,
author = {Dana Angluin and
James Aspnes and
Melody Chan and
Michael J. Fischer and
Hong Jiang and
Ren{\'{e}} Peralta},
editor = {Viktor K. Prasanna and
S. Sitharama Iyengar and
Paul G. Spirakis and
Matt Welsh},
title = {Stably Computable Properties of Network Graphs},
booktitle = {Distributed Computing in Sensor Systems, First {IEEE} International
Conference, {DCOSS} 2005, Marina del Rey, CA, USA, June 30 - July
1, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3560},
pages = {63--74},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11502593\_8},
doi = {10.1007/11502593\_8},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dcoss/AngluinACFJP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/AngluinAFJ05,
author = {Dana Angluin and
James Aspnes and
Michael J. Fischer and
Hong Jiang},
editor = {James H. Anderson and
Giuseppe Prencipe and
Roger Wattenhofer},
title = {Self-stabilizing Population Protocols},
booktitle = {Principles of Distributed Systems, 9th International Conference, {OPODIS}
2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3974},
pages = {103--117},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11795490\_10},
doi = {10.1007/11795490\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/opodis/AngluinAFJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/AngluinADFP04,
author = {Dana Angluin and
James Aspnes and
Zo{\"{e}} Diamadi and
Michael J. Fischer and
Ren{\'{e}} Peralta},
editor = {Soma Chaudhuri and
Shay Kutten},
title = {Computation in networks of passively mobile finite-state sensors},
booktitle = {Proceedings of the Twenty-Third Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2004, St. John's, Newfoundland, Canada,
July 25-28, 2004},
pages = {290--299},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1011767.1011810},
doi = {10.1145/1011767.1011810},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/AngluinADFP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/FischerM03,
author = {Michael J. Fischer and
Michael Merritt},
title = {Appraising two decades of distributed computing theory research},
journal = {Distributed Comput.},
volume = {16},
number = {2-3},
pages = {239--247},
year = {2003},
url = {https://doi.org/10.1007/s00446-003-0096-6},
doi = {10.1007/S00446-003-0096-6},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/FischerM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Fischer03,
author = {Michael J. Fischer},
title = {{JACM} 1983-1986},
journal = {J. {ACM}},
volume = {50},
number = {1},
pages = {17},
year = {2003},
url = {https://doi.org/10.1145/602382.602391},
doi = {10.1145/602382.602391},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Fischer03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/AspnesFFKK01,
author = {James Aspnes and
David F. Fischer and
Michael J. Fischer and
Ming{-}Yang Kao and
Alok Kumar},
editor = {S. Rao Kosaraju},
title = {Towards understanding the predictability of stock markets from the
perspective of computational complexity},
booktitle = {Proceedings of the Twelfth Annual Symposium on Discrete Algorithms,
January 7-9, 2001, Washington, DC, {USA}},
pages = {745--754},
publisher = {{ACM/SIAM}},
year = {2001},
url = {http://dl.acm.org/citation.cfm?id=365411.365769},
timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
biburl = {https://dblp.org/rec/conf/soda/AspnesFFKK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CE-0010021,
author = {James Aspnes and
David F. Fischer and
Michael J. Fischer and
Ming{-}Yang Kao and
Alok Kumar},
title = {Towards Understanding the Predictability of Stock Markets from the
Perspective of Computational Complexity},
journal = {CoRR},
volume = {cs.CE/0010021},
year = {2000},
url = {https://arxiv.org/abs/cs/0010021},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CE-0010021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/FischerP99,
author = {Michael J. Fischer and
Mike Paterson},
title = {Optimal Layout of Edge-weighted Forests},
journal = {Discret. Appl. Math.},
volume = {90},
number = {1-3},
pages = {135--159},
year = {1999},
url = {https://doi.org/10.1016/S0166-218X(98)00088-2},
doi = {10.1016/S0166-218X(98)00088-2},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/FischerP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/Fischer98,
author = {Michael J. Fischer},
editor = {Wen{-}Lian Hsu and
Ming{-}Yang Kao},
title = {Estimating Parameters of Monotone Boolean Functions (Abstract)},
booktitle = {Computing and Combinatorics, 4th Annual International Conference,
{COCOON} '98, Taipei, Taiwan, R.o.C., August 12-14, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1449},
pages = {3},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-68535-9\_3},
doi = {10.1007/3-540-68535-9\_3},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/Fischer98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joc/FischerW96,
author = {Michael J. Fischer and
Rebecca N. Wright},
title = {Bounds on Secret Key Exchange Using a Random Deal of Cards},
journal = {J. Cryptol.},
volume = {9},
number = {2},
pages = {71--99},
year = {1996},
url = {https://doi.org/10.1007/BF00190803},
doi = {10.1007/BF00190803},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joc/FischerW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joc/FischerMR96,
author = {Michael J. Fischer and
Silvio Micali and
Charles Rackoff},
title = {A Secure Protocol for the Oblivious Transfer (Extended Abstract)},
journal = {J. Cryptol.},
volume = {9},
number = {3},
pages = {191--195},
year = {1996},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joc/FischerMR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/FischerMRT96,
author = {Michael J. Fischer and
Shlomo Moran and
Steven Rudich and
Gadi Taubenfeld},
title = {The Wakeup Problem},
journal = {{SIAM} J. Comput.},
volume = {25},
number = {6},
pages = {1331--1332},
year = {1996},
url = {https://doi.org/10.1137/S0097539793254959},
doi = {10.1137/S0097539793254959},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/FischerMRT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/FischerP94,
author = {Michael J. Fischer and
Mike Paterson},
title = {Fishspear: {A} Priority Queue Algorithm},
journal = {J. {ACM}},
volume = {41},
number = {1},
pages = {3--30},
year = {1994},
url = {https://doi.org/10.1145/174644.174645},
doi = {10.1145/174644.174645},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/FischerP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AfekAFFLMWZ94,
author = {Yehuda Afek and
Hagit Attiya and
Alan D. Fekete and
Michael J. Fischer and
Nancy A. Lynch and
Yishay Mansour and
Da{-}Wei Wang and
Lenore D. Zuck},
title = {Reliable Communication Over Unreliable Channels},
journal = {J. {ACM}},
volume = {41},
number = {6},
pages = {1267--1297},
year = {1994},
url = {https://doi.org/10.1145/195613.195651},
doi = {10.1145/195613.195651},
timestamp = {Tue, 17 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/AfekAFFLMWZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/FischerMT93,
author = {Michael J. Fischer and
Shlomo Moran and
Gadi Taubenfeld},
title = {Space-Efficient Asynchronous Consensus Without Shared Memory Initialization},
journal = {Inf. Process. Lett.},
volume = {45},
number = {2},
pages = {101--105},
year = {1993},
url = {https://doi.org/10.1016/0020-0190(93)90223-V},
doi = {10.1016/0020-0190(93)90223-V},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/FischerMT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Fischer93,
author = {Michael J. Fischer},
title = {Lambda-Calculus Schemata},
journal = {{LISP} Symb. Comput.},
volume = {6},
number = {3-4},
pages = {259--288},
year = {1993},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/Fischer93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/FischerW93,
author = {Michael J. Fischer and
Rebecca N. Wright},
editor = {Vijaya Ramachandran},
title = {An Efficient Protocol for Unconditionally Secure Secret Key Exchange},
booktitle = {Proceedings of the Fourth Annual {ACM/SIGACT-SIAM} Symposium on Discrete
Algorithms, 25-27 January 1993, Austin, Texas, {USA}},
pages = {475--483},
publisher = {{ACM/SIAM}},
year = {1993},
url = {http://dl.acm.org/citation.cfm?id=313559.313862},
timestamp = {Thu, 05 Jul 2018 07:29:11 +0200},
biburl = {https://dblp.org/rec/conf/soda/FischerW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FischerGGL92,
author = {Michael J. Fischer and
Nancy D. Griffeth and
Leonidas J. Guibas and
Nancy A. Lynch},
title = {Optimal Placement of Identical Resources in a Tree},
journal = {Inf. Comput.},
volume = {96},
number = {1},
pages = {1--54},
year = {1992},
url = {https://doi.org/10.1016/0890-5401(92)90053-I},
doi = {10.1016/0890-5401(92)90053-I},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FischerGGL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/92/FischerP92,
author = {Michael J. Fischer and
Sophia A. Paleologou},
editor = {Johannes Buchmann and
Harald Ganzinger and
Wolfgang J. Paul},
title = {Decision Making in the Presence of Noise},
booktitle = {Informatik, Festschrift zum 60. Geburtstag von G{\"{u}}nter Hotz},
series = {Teubner-Texte zur Informatik},
volume = {1},
pages = {145--168},
publisher = {Teubner / Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-322-95233-2\_9},
doi = {10.1007/978-3-322-95233-2\_9},
timestamp = {Tue, 16 Jul 2019 08:16:16 +0200},
biburl = {https://dblp.org/rec/books/sp/92/FischerP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/FischerW91,
author = {Michael J. Fischer and
Rebecca N. Wright},
editor = {Joan Feigenbaum},
title = {Multiparty Secret Key Exchange Using a Random Deal of Cards},
booktitle = {Advances in Cryptology - {CRYPTO} '91, 11th Annual International Cryptology
Conference, Santa Barbara, California, USA, August 11-15, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {576},
pages = {141--155},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-46766-1\_10},
doi = {10.1007/3-540-46766-1\_10},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/crypto/FischerW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/FischerW90,
author = {Michael J. Fischer and
Rebecca N. Wright},
editor = {Jin{-}Yi Cai},
title = {An Application of Game-Theoretic Techniques to Cryptography},
booktitle = {Advances In Computational Complexity Theory, Proceedings of a {DIMACS}
Workshop, New Jersey, USA, December 3-7, 1990},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {13},
pages = {99--118},
publisher = {{DIMACS/AMS}},
year = {1990},
url = {https://doi.org/10.1090/dimacs/013/06},
doi = {10.1090/DIMACS/013/06},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/FischerW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/FischerMRT90,
author = {Michael J. Fischer and
Shlomo Moran and
Steven Rudich and
Gadi Taubenfeld},
editor = {Harriet Ortiz},
title = {The Wakeup Problem (Extended Abstract)},
booktitle = {Proceedings of the 22nd Annual {ACM} Symposium on Theory of Computing,
May 13-17, 1990, Baltimore, Maryland, {USA}},
pages = {106--116},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/100216.100228},
doi = {10.1145/100216.100228},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/FischerMRT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/FischerFB89,
author = {Michael J. Fischer and
Robert P. Fischer and
Richard Beigel},
title = {Primitive recursion without implicit predecessor},
journal = {{SIGACT} News},
volume = {20},
number = {4},
pages = {87--91},
year = {1989},
url = {https://doi.org/10.1145/74074.74089},
doi = {10.1145/74074.74089},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/FischerFB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/FischerLBB89,
author = {Michael J. Fischer and
Nancy A. Lynch and
James E. Burns and
Allan Borodin},
title = {Distributed {FIFO} Allocation of Identical Resources Using Small Shared
Space},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {1},
pages = {90--114},
year = {1989},
url = {https://doi.org/10.1145/59287.59292},
doi = {10.1145/59287.59292},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/FischerLBB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/FischerPR89,
author = {Michael J. Fischer and
Michael S. Paterson and
Charles Rackoff},
editor = {Joan Feigenbaum and
Michael Merritt},
title = {Secret Bit Transmission Using a Random Deal of Cards},
booktitle = {Distributed Computing And Cryptography, Proceedings of a {DIMACS}
Workshop, Princeton, New Jersey, USA, October 4-6, 1989},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {2},
pages = {173--182},
publisher = {{DIMACS/AMS}},
year = {1989},
url = {https://doi.org/10.1090/dimacs/002/11},
doi = {10.1090/DIMACS/002/11},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/FischerPR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/FischerZ88,
author = {Michael J. Fischer and
Lenore D. Zuck},
editor = {Mathai Joseph},
title = {Reasoning about Uncertainty in Fault-tolerant Distributed Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
of a Symposium, Warwick, UK, September 22-23, 1988},
series = {Lecture Notes in Computer Science},
volume = {331},
pages = {142--158},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50302-1\_11},
doi = {10.1007/3-540-50302-1\_11},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/FischerZ88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BroderDFS87,
author = {Andrei Z. Broder and
Danny Dolev and
Michael J. Fischer and
Barbara Simons},
title = {Efficient Fault-Tolerant Routings in Networks},
journal = {Inf. Comput.},
volume = {75},
number = {1},
pages = {52--64},
year = {1987},
url = {https://doi.org/10.1016/0890-5401(87)90063-0},
doi = {10.1016/0890-5401(87)90063-0},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BroderDFS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/FischerI87,
author = {Michael J. Fischer and
Neil Immerman},
title = {Interpreting Logics of Knowledge in Propositional Dynamic Logic with
Converse},
journal = {Inf. Process. Lett.},
volume = {25},
number = {3},
pages = {175--181},
year = {1987},
url = {https://doi.org/10.1016/0020-0190(87)90129-3},
doi = {10.1016/0020-0190(87)90129-3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/FischerI87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/FischerLM86,
author = {Michael J. Fischer and
Nancy A. Lynch and
Michael Merritt},
title = {Easy Impossibility Proofs for Distributed Consensus Problems},
journal = {Distributed Comput.},
volume = {1},
number = {1},
pages = {26--39},
year = {1986},
url = {https://doi.org/10.1007/BF01843568},
doi = {10.1007/BF01843568},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/FischerLM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LynchGFG86,
author = {Nancy A. Lynch and
Nancy D. Griffeth and
Michael J. Fischer and
Leonidas J. Guibas},
title = {Probabilistic Analysis of a Network Resource Allocation Algorithm},
journal = {Inf. Control.},
volume = {68},
number = {1-3},
pages = {47--85},
year = {1986},
url = {https://doi.org/10.1016/S0019-9958(86)80028-6},
doi = {10.1016/S0019-9958(86)80028-6},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LynchGFG86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftdc/Fischer86,
author = {Michael J. Fischer},
editor = {Barbara B. Simons and
Alfred Z. Spector},
title = {A Theoretician's View of Fault Tolerant Distributed Computing},
booktitle = {Fault-Tolerant Distributed Computing [Asilomar Workshop 1986]},
series = {Lecture Notes in Computer Science},
volume = {448},
pages = {1--9},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0042321},
doi = {10.1007/BFB0042321},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ftdc/Fischer86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftdc/FischerLM86,
author = {Michael J. Fischer and
Nancy A. Lynch and
Michael Merritt},
editor = {Barbara B. Simons and
Alfred Z. Spector},
title = {Easy Impossibility Proofs for Distributed Consensus Problems},
booktitle = {Fault-Tolerant Distributed Computing [Asilomar Workshop 1986]},
series = {Lecture Notes in Computer Science},
volume = {448},
pages = {147--170},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0042333},
doi = {10.1007/BFB0042333},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftdc/FischerLM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/FischerI86,
author = {Michael J. Fischer and
Neil Immerman},
editor = {Joseph Y. Halpern},
title = {Foundations of Knowledge for Distributed Systems},
booktitle = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
about Knowledge, Monterey, CA, USA, March 1986},
pages = {171--185},
publisher = {Morgan Kaufmann},
year = {1986},
timestamp = {Thu, 21 Jun 2018 07:50:24 +0200},
biburl = {https://dblp.org/rec/conf/tark/FischerI86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/FischerLP85,
author = {Michael J. Fischer and
Nancy A. Lynch and
Mike Paterson},
title = {Impossibility of Distributed Consensus with One Faulty Process},
journal = {J. {ACM}},
volume = {32},
number = {2},
pages = {374--382},
year = {1985},
url = {https://doi.org/10.1145/3149.214121},
doi = {10.1145/3149.214121},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/FischerLP85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/FischerP85,
author = {Michael J. Fischer and
Mike Paterson},
title = {Dynamic Monotone Priorities on Planar Sets (Extended Abstract)},
booktitle = {26th Annual Symposium on Foundations of Computer Science, Portland,
Oregon, USA, 21-23 October 1985},
pages = {289--292},
publisher = {{IEEE} Computer Society},
year = {1985},
url = {https://doi.org/10.1109/SFCS.1985.21},
doi = {10.1109/SFCS.1985.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/FischerP85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/CohenF85,
author = {Josh D. Cohen and
Michael J. Fischer},
title = {A Robust and Verifiable Cryptographically Secure Election Scheme (Extended
Abstract)},
booktitle = {26th Annual Symposium on Foundations of Computer Science, Portland,
Oregon, USA, 21-23 October 1985},
pages = {372--382},
publisher = {{IEEE} Computer Society},
year = {1985},
url = {https://doi.org/10.1109/SFCS.1985.2},
doi = {10.1109/SFCS.1985.2},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/CohenF85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/FischerLM85,
author = {Michael J. Fischer and
Nancy A. Lynch and
Michael Merritt},
editor = {Michael A. Malcolm and
H. Raymond Strong},
title = {Easy Impossibility Proofs for Distributed Consensus Problems},
booktitle = {Proceedings of the Fourth Annual {ACM} Symposium on Principles of
Distributed Computing, Minaki, Ontario, Canada, August 5-7, 1985},
pages = {59--70},
publisher = {{ACM}},
year = {1985},
url = {https://doi.org/10.1145/323596.323602},
doi = {10.1145/323596.323602},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/FischerLM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/FischerP84,
author = {Michael J. Fischer and
Mike Paterson},
title = {Fishspear: {A} Priority Queue Algorithm (Extended Abstract)},
booktitle = {25th Annual Symposium on Foundations of Computer Science, West Palm
Beach, Florida, USA, 24-26 October 1984},
pages = {375--386},
publisher = {{IEEE} Computer Society},
year = {1984},
url = {https://doi.org/10.1109/SFCS.1984.715938},
doi = {10.1109/SFCS.1984.715938},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/FischerP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BroderDFS84,
author = {Andrei Z. Broder and
Danny Dolev and
Michael J. Fischer and
Barbara Simons},
editor = {Richard A. DeMillo},
title = {Efficient Fault Tolerant Routings in Networks},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {536--541},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808724},
doi = {10.1145/800057.808724},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BroderDFS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/FischerP83,
author = {Michael J. Fischer and
Mike Paterson},
title = {Storage Requirements for Fair Scheduling},
journal = {Inf. Process. Lett.},
volume = {17},
number = {5},
pages = {249--250},
year = {1983},
url = {https://doi.org/10.1016/0020-0190(83)90107-2},
doi = {10.1016/0020-0190(83)90107-2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/FischerP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/ArjomandiFL83,
author = {Eshrat Arjomandi and
Michael J. Fischer and
Nancy A. Lynch},
title = {Efficiency of Synchronous Versus Asynchronous Distributed Systems},
journal = {J. {ACM}},
volume = {30},
number = {3},
pages = {449--456},
year = {1983},
url = {https://doi.org/10.1145/2402.322387},
doi = {10.1145/2402.322387},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/ArjomandiFL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LynchF83,
author = {Nancy A. Lynch and
Michael J. Fischer},
title = {A Technique for Decomposing Algorithms Which Use a Single Shared Variable},
journal = {J. Comput. Syst. Sci.},
volume = {27},
number = {3},
pages = {350--377},
year = {1983},
url = {https://doi.org/10.1016/0022-0000(83)90047-8},
doi = {10.1016/0022-0000(83)90047-8},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/LynchF83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Fischer83,
author = {Michael J. Fischer},
editor = {Marek Karpinski},
title = {The Consensus Problem in Unreliable Distributed Systems {(A} Brief
Survey)},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1983 International
FCT-Conference, Borgholm, Sweden, August 21-27, 1983},
series = {Lecture Notes in Computer Science},
volume = {158},
pages = {127--140},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12689-9\_99},
doi = {10.1007/3-540-12689-9\_99},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/Fischer83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FischerLP83,
author = {Michael J. Fischer and
Nancy A. Lynch and
Mike Paterson},
editor = {Ronald Fagin and
Philip A. Bernstein},
title = {Impossibility of Distributed Consensus with One Faulty Process},
booktitle = {Proceedings of the Second {ACM} {SIGACT-SIGMOD} Symposium on Principles
of Database Systems, March 21-23, 1983, Colony Square Hotel, Atlanta,
Georgia, {USA}},
pages = {1--7},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/588058.588060},
doi = {10.1145/588058.588060},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/FischerLP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DolevFFLS82,
author = {Danny Dolev and
Michael J. Fischer and
Robert J. Fowler and
Nancy A. Lynch and
H. Raymond Strong},
title = {An Efficient Algorithm for Byzantine Agreement without Authentication},
journal = {Inf. Control.},
volume = {52},
number = {3},
pages = {257--274},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)90776-8},
doi = {10.1016/S0019-9958(82)90776-8},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/DolevFFLS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/FischerL82,
author = {Michael J. Fischer and
Nancy A. Lynch},
title = {A Lower Bound for the Time to Assure Interactive Consistency},
journal = {Inf. Process. Lett.},
volume = {14},
number = {4},
pages = {183--186},
year = {1982},
url = {https://doi.org/10.1016/0020-0190(82)90033-3},
doi = {10.1016/0020-0190(82)90033-3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/FischerL82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BurnsJLFP82,
author = {James E. Burns and
Paul Jackson and
Nancy A. Lynch and
Michael J. Fischer and
Gary L. Peterson},
title = {Data Requirements for Implementation of N-Process Mutual Exclusion
Using a Single Shared Variable},
journal = {J. {ACM}},
volume = {29},
number = {1},
pages = {183--205},
year = {1982},
url = {https://doi.org/10.1145/322290.322302},
doi = {10.1145/322290.322302},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BurnsJLFP82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/FischerMP82,
author = {Michael J. Fischer and
Albert R. Meyer and
Mike Paterson},
title = {Omega(n log n) Lower Bounds on Length of Boolean Formulas},
journal = {{SIAM} J. Comput.},
volume = {11},
number = {3},
pages = {416--427},
year = {1982},
url = {https://doi.org/10.1137/0211033},
doi = {10.1137/0211033},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/FischerMP82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FischerGL82,
author = {Michael J. Fischer and
Nancy D. Griffeth and
Nancy A. Lynch},
title = {Global States of a Distributed System},
journal = {{IEEE} Trans. Software Eng.},
volume = {8},
number = {3},
pages = {198--202},
year = {1982},
url = {https://doi.org/10.1109/TSE.1982.235418},
doi = {10.1109/TSE.1982.235418},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/FischerGL82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/GreenbergF82,
author = {Albert G. Greenberg and
Michael J. Fischer},
title = {On computing weak transitive closure on O(log {N)} expected random
parallel time},
booktitle = {International Conference on Parallel Processing, ICPP'82, August 24-27,
1982, Bellaire, Michigan, {USA}},
pages = {199--204},
publisher = {{IEEE} Computer Society},
year = {1982},
timestamp = {Sat, 06 Sep 2008 15:25:30 +0200},
biburl = {https://dblp.org/rec/conf/icpp/GreenbergF82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FischerM82,
author = {Michael J. Fischer and
Alan Michael},
editor = {Jeffrey D. Ullman and
Alfred V. Aho},
title = {Sacrificing Serializability to Attain High Availability of Data},
booktitle = {Proceedings of the {ACM} Symposium on Principles of Database Systems,
March 29-31, 1982, Los Angeles, California, {USA}},
pages = {70--75},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/588111.588124},
doi = {10.1145/588111.588124},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/FischerM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/podc/1982,
editor = {Robert L. Probert and
Michael J. Fischer and
Nicola Santoro},
title = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
Ottawa, CanadaAugust 18-20, 1982},
publisher = {{ACM}},
year = {1982},
url = {http://dl.acm.org/citation.cfm?id=800220},
isbn = {0-89791-081-8},
timestamp = {Wed, 23 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/1982.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BorodinFKLT81,
author = {Allan Borodin and
Michael J. Fischer and
David G. Kirkpatrick and
Nancy A. Lynch and
Martin Tompa},
title = {A Time-Space Tradeoff for Sorting on Non-Oblivious Machines},
journal = {J. Comput. Syst. Sci.},
volume = {22},
number = {3},
pages = {351--364},
year = {1981},
url = {https://doi.org/10.1016/0022-0000(81)90037-4},
doi = {10.1016/0022-0000(81)90037-4},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BorodinFKLT81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LynchF81,
author = {Nancy A. Lynch and
Michael J. Fischer},
title = {On Describing the Behavior and Implementation of Distributed Systems},
journal = {Theor. Comput. Sci.},
volume = {13},
pages = {17--43},
year = {1981},
url = {https://doi.org/10.1016/0304-3975(81)90109-2},
doi = {10.1016/0304-3975(81)90109-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LynchF81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/FischerGGL81,
author = {Michael J. Fischer and
Leonidas J. Guibas and
Nancy D. Griffeth and
Nancy A. Lynch},
title = {Optimal Placement of Identical Resources in a Distributed Network},
booktitle = {Proceedings of the 2nd International Conference on Distributed Computing
Systems, Paris, France, 1981},
pages = {324--336},
publisher = {{IEEE} Computer Society},
year = {1981},
timestamp = {Thu, 22 Sep 2005 10:45:08 +0200},
biburl = {https://dblp.org/rec/conf/icdcs/FischerGGL81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/LazowskaLAFFV81,
author = {Edward D. Lazowska and
Henry M. Levy and
Guy T. Almes and
Michael J. Fischer and
Robert J. Fowler and
Stephen C. Vestal},
editor = {John Howard and
David P. Reed},
title = {The Architecture of the Eden System},
booktitle = {Proceedings of the Eighth Symposium on Operating System Principles,
{SOSP} 1981, Asilomar Conference Grounds, Pacific Grove, California,
USA, December 14-16, 1981},
pages = {148--159},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800216.806603},
doi = {10.1145/800216.806603},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/LazowskaLAFFV81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ArjomandiFL81,
author = {Eshrat Arjomandi and
Michael J. Fischer and
Nancy A. Lynch},
title = {A Difference in Efficiency between Synchronous and Asynchronous Systems},
booktitle = {Proceedings of the 13th Annual {ACM} Symposium on Theory of Computing,
May 11-13, 1981, Milwaukee, Wisconsin, {USA}},
pages = {128--132},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800076.802466},
doi = {10.1145/800076.802466},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/ArjomandiFL81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/LadnerF80,
author = {Richard E. Ladner and
Michael J. Fischer},
title = {Parallel Prefix Computation},
journal = {J. {ACM}},
volume = {27},
number = {4},
pages = {831--838},
year = {1980},
url = {https://doi.org/10.1145/322217.322232},
doi = {10.1145/322217.322232},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/LadnerF80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/FischerP80,
author = {Michael J. Fischer and
Mike Paterson},
editor = {Raymond E. Miller and
Seymour Ginsburg and
Walter A. Burkhard and
Richard J. Lipton},
title = {Optimal Tree Layout (Preliminary Version)},
booktitle = {Proceedings of the 12th Annual {ACM} Symposium on Theory of Computing,
April 28-30, 1980, Los Angeles, California, {USA}},
pages = {177--189},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800141.804665},
doi = {10.1145/800141.804665},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/FischerP80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/PippengerF79,
author = {Nicholas Pippenger and
Michael J. Fischer},
title = {Relations Among Complexity Measures},
journal = {J. {ACM}},
volume = {26},
number = {2},
pages = {361--381},
year = {1979},
url = {https://doi.org/10.1145/322123.322138},
doi = {10.1145/322123.322138},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/PippengerF79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FischerL79,
author = {Michael J. Fischer and
Richard E. Ladner},
title = {Propositional Dynamic Logic of Regular Programs},
journal = {J. Comput. Syst. Sci.},
volume = {18},
number = {2},
pages = {194--211},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90046-1},
doi = {10.1016/0022-0000(79)90046-1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/FischerL79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/BorodinFKLT79,
author = {Allan Borodin and
Michael J. Fischer and
David G. Kirkpatrick and
Nancy A. Lynch and
Martin Tompa},
title = {A time-space tradeoff for sorting and related non-oblivious computations},
journal = {{SIGACT} News},
volume = {11},
number = {2},
pages = {24},
year = {1979},
url = {https://doi.org/10.1145/1008620.1008621},
doi = {10.1145/1008620.1008621},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/BorodinFKLT79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/FischerLBB79,
author = {Michael J. Fischer and
Nancy A. Lynch and
James E. Burns and
Allan Borodin},
title = {Resource Allocation with Immunity to Limited Process Failure (Preliminary
Report)},
booktitle = {20th Annual Symposium on Foundations of Computer Science, San Juan,
Puerto Rico, 29-31 October 1979},
pages = {234--254},
publisher = {{IEEE} Computer Society},
year = {1979},
url = {https://doi.org/10.1109/SFCS.1979.37},
doi = {10.1109/SFCS.1979.37},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/FischerLBB79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BorodinFKLT79,
author = {Allan Borodin and
Michael J. Fischer and
David G. Kirkpatrick and
Nancy A. Lynch and
Martin Tompa},
title = {A Time-Space Tradeoff for Sorting on Non-Oblivious Machines},
booktitle = {20th Annual Symposium on Foundations of Computer Science, San Juan,
Puerto Rico, 29-31 October 1979},
pages = {319--327},
publisher = {{IEEE} Computer Society},
year = {1979},
url = {https://doi.org/10.1109/SFCS.1979.4},
doi = {10.1109/SFCS.1979.4},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/BorodinFKLT79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scc/LynchF79,
author = {Nancy A. Lynch and
Michael J. Fischer},
editor = {Gilles Kahn},
title = {On Describing the Behavior and Implementation of Distributed Systems},
booktitle = {Semantics of Concurrent Computation, Proceedings of the International
Symposium, Evian, France, July 2-4, 1979},
series = {Lecture Notes in Computer Science},
volume = {70},
pages = {147--172},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/BFb0022468},
doi = {10.1007/BFB0022468},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/scc/LynchF79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC11,
editor = {Michael J. Fischer and
Richard A. DeMillo and
Nancy A. Lynch and
Walter A. Burkhard and
Alfred V. Aho},
title = {Proceedings of the 11h Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1979, Atlanta, Georgia, {USA}},
publisher = {{ACM}},
year = {1979},
timestamp = {Mon, 17 Oct 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/STOC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/SeiferasFM78,
author = {Joel I. Seiferas and
Michael J. Fischer and
Albert R. Meyer},
title = {Separating Nondeterministic Time Complexity Classes},
journal = {J. {ACM}},
volume = {25},
number = {1},
pages = {146--167},
year = {1978},
url = {https://doi.org/10.1145/322047.322061},
doi = {10.1145/322047.322061},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/SeiferasFM78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/PetersonF77,
author = {Gary L. Peterson and
Michael J. Fischer},
editor = {John E. Hopcroft and
Emily P. Friedman and
Michael A. Harrison},
title = {Economical Solutions for the Critical Section Problem in a Distributed
System (Extended Abstract)},
booktitle = {Proceedings of the 9th Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1977, Boulder, Colorado, {USA}},
pages = {91--97},
publisher = {{ACM}},
year = {1977},
url = {https://doi.org/10.1145/800105.803398},
doi = {10.1145/800105.803398},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/PetersonF77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/FischerL77,
author = {Michael J. Fischer and
Richard E. Ladner},
editor = {John E. Hopcroft and
Emily P. Friedman and
Michael A. Harrison},
title = {Propositional Modal Logic of Programs (Extended Abstract)},
booktitle = {Proceedings of the 9th Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1977, Boulder, Colorado, {USA}},
pages = {286--294},
publisher = {{ACM}},
year = {1977},
url = {https://doi.org/10.1145/800105.803418},
doi = {10.1145/800105.803418},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/FischerL77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BloniarzFM76,
author = {Peter A. Bloniarz and
Michael J. Fischer and
Albert R. Meyer},
editor = {S. Michaelson and
Robin Milner},
title = {A Note on the Average Time to Compute Transitive Closures},
booktitle = {Third International Colloquium on Automata, Languages and Programming,
University of Edinburgh, UK, July 20-23, 1976},
pages = {425--434},
publisher = {Edinburgh University Press},
year = {1976},
timestamp = {Mon, 08 Jul 2019 10:58:24 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BloniarzFM76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Fischer75,
author = {Michael J. Fischer},
editor = {H. Barkhage},
title = {Hauptvortrag: The complexity of negation-limited networks - {A} brief
survey},
booktitle = {Automata Theory and Formal Languages, 2nd {GI} Conference, Kaiserslautern,
May 20-23, 1975},
series = {Lecture Notes in Computer Science},
volume = {33},
pages = {71--82},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07407-4\_9},
doi = {10.1007/3-540-07407-4\_9},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/automata/Fischer75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/FischerMP75,
author = {Michael J. Fischer and
Albert R. Meyer and
Mike Paterson},
editor = {William C. Rounds and
Nancy Martin and
Jack W. Carlyle and
Michael A. Harrison},
title = {Lower Bounds on the Size of Boolean Formulas: Preliminary Report},
booktitle = {Proceedings of the 7th Annual {ACM} Symposium on Theory of Computing,
May 5-7, 1975, Albuquerque, New Mexico, {USA}},
pages = {37--44},
publisher = {{ACM}},
year = {1975},
url = {https://doi.org/10.1145/800116.803751},
doi = {10.1145/800116.803751},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/FischerMP75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/WagnerF74,
author = {Robert A. Wagner and
Michael J. Fischer},
title = {The String-to-String Correction Problem},
journal = {J. {ACM}},
volume = {21},
number = {1},
pages = {168--173},
year = {1974},
url = {https://doi.org/10.1145/321796.321811},
doi = {10.1145/321796.321811},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/WagnerF74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FischerS74,
author = {Michael J. Fischer and
Larry J. Stockmeyer},
title = {Fast On-Line Integer Multiplication},
journal = {J. Comput. Syst. Sci.},
volume = {9},
number = {3},
pages = {317--331},
year = {1974},
url = {https://doi.org/10.1016/S0022-0000(74)80047-4},
doi = {10.1016/S0022-0000(74)80047-4},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/FischerS74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/BauerBFMP73,
author = {M. Bauer and
D. Brand and
Michael J. Fischer and
Albert R. Meyer and
Mike Paterson},
title = {A note on disjunctive form tautologies},
journal = {{SIGACT} News},
volume = {5},
number = {2},
pages = {17--20},
year = {1973},
url = {https://doi.org/10.1145/1811123.1811124},
doi = {10.1145/1811123.1811124},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/BauerBFMP73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/SeiferasFM73,
author = {Joel I. Seiferas and
Michael J. Fischer and
Albert R. Meyer},
title = {Refinements of the Nondeterministic Time and Space Hierarchies},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {130--137},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.25},
doi = {10.1109/SWAT.1973.25},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/SeiferasFM73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FischerF73,
author = {Alice E. Fischer and
Michael J. Fischer},
editor = {Patrick C. Fischer and
Jeffrey D. Ullman},
title = {Mode Modules as Representations of Domains},
booktitle = {Conference Record of the {ACM} Symposium on Principles of Programming
Languages, Boston, Massachusetts, USA, October 1973},
pages = {139--143},
publisher = {{ACM} Press},
year = {1973},
url = {https://doi.org/10.1145/512927.512940},
doi = {10.1145/512927.512940},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/FischerF73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/FischerS73,
author = {Michael J. Fischer and
Larry J. Stockmeyer},
editor = {Alfred V. Aho and
Allan Borodin and
Robert L. Constable and
Robert W. Floyd and
Michael A. Harrison and
Richard M. Karp and
H. Raymond Strong},
title = {Fast On-Line Integer Multiplication},
booktitle = {Proceedings of the 5th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1973, Austin, Texas, {USA}},
pages = {67--72},
publisher = {{ACM}},
year = {1973},
url = {https://doi.org/10.1145/800125.804037},
doi = {10.1145/800125.804037},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/FischerS73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/LynchMF73,
author = {Nancy A. Lynch and
Albert R. Meyer and
Michael J. Fischer},
editor = {Alfred V. Aho and
Allan Borodin and
Robert L. Constable and
Robert W. Floyd and
Michael A. Harrison and
Richard M. Karp and
H. Raymond Strong},
title = {Sets that Don't Help},
booktitle = {Proceedings of the 5th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1973, Austin, Texas, {USA}},
pages = {130--134},
publisher = {{ACM}},
year = {1973},
url = {https://doi.org/10.1145/800125.804043},
doi = {10.1145/800125.804043},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/LynchMF73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/Fischer72,
author = {Michael J. Fischer},
editor = {Raymond E. Miller and
James W. Thatcher},
title = {Efficiency of Equivalence Algorithms},
booktitle = {Proceedings of a symposium on the Complexity of Computer Computations,
held March 20-22, 1972, at the {IBM} Thomas J. Watson Research Center,
Yorktown Heights, New York, {USA}},
series = {The {IBM} Research Symposia Series},
pages = {153--167},
publisher = {Plenum Press, New York},
year = {1972},
url = {https://doi.org/10.1007/978-1-4684-2001-2\_14},
doi = {10.1007/978-1-4684-2001-2\_14},
timestamp = {Sat, 04 Sep 2021 20:59:47 +0200},
biburl = {https://dblp.org/rec/conf/coco/Fischer72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/praapr/Fischer72,
author = {Michael J. Fischer},
title = {Lambda calculus schemata},
booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs,
Las Cruces, New Mexico, USA, January 6-7, 1972},
pages = {104--109},
publisher = {{ACM}},
year = {1972},
url = {https://doi.org/10.1145/800235.807077},
doi = {10.1145/800235.807077},
timestamp = {Thu, 24 Feb 2022 14:21:36 +0100},
biburl = {https://dblp.org/rec/conf/praapr/Fischer72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/FischerM71,
author = {Michael J. Fischer and
Albert R. Meyer},
title = {Boolean Matrix Multiplication and Transitive Closure},
booktitle = {12th Annual Symposium on Switching and Automata Theory, East Lansing,
Michigan, USA, October 13-15, 1971},
pages = {129--131},
publisher = {{IEEE} Computer Society},
year = {1971},
url = {https://doi.org/10.1109/SWAT.1971.4},
doi = {10.1109/SWAT.1971.4},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/FischerM71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/MeyerF71,
author = {Albert R. Meyer and
Michael J. Fischer},
title = {Economy of Description by Automata, Grammars, and Formal Systems},
booktitle = {12th Annual Symposium on Switching and Automata Theory, East Lansing,
Michigan, USA, October 13-15, 1971},
pages = {188--191},
publisher = {{IEEE} Computer Society},
year = {1971},
url = {https://doi.org/10.1109/SWAT.1971.11},
doi = {10.1109/SWAT.1971.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/MeyerF71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Fischer69,
author = {Michael J. Fischer},
title = {Two Characterizations of the Context-Sensitive Languages},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {149--156},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.29},
doi = {10.1109/SWAT.1969.29},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Fischer69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Fischer69,
author = {Michael J. Fischer},
editor = {Patrick C. Fischer and
Seymour Ginsburg and
Michael A. Harrison},
title = {Some Properties of Precedence Languages},
booktitle = {Proceedings of the 1st Annual {ACM} Symposium on Theory of Computing,
May 5-7, 1969, Marina del Rey, CA, {USA}},
pages = {181--190},
publisher = {{ACM}},
year = {1969},
url = {https://doi.org/10.1145/800169.805432},
doi = {10.1145/800169.805432},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Fischer69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/FischerR68,
author = {Michael J. Fischer and
Arnold L. Rosenberg},
title = {Real-Time Solutions of the Origin-Crossing Problem},
journal = {Math. Syst. Theory},
volume = {2},
number = {3},
pages = {257--263},
year = {1968},
url = {https://doi.org/10.1007/BF01694010},
doi = {10.1007/BF01694010},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/FischerR68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Fischer68,
author = {Michael J. Fischer},
title = {Grammars with Macro-Like Productions},
booktitle = {9th Annual Symposium on Switching and Automata Theory, Schenectady,
New York, USA, October 15-18, 1968},
pages = {131--142},
publisher = {{IEEE} Computer Society},
year = {1968},
url = {https://doi.org/10.1109/SWAT.1968.12},
doi = {10.1109/SWAT.1968.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Fischer68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/FischerR68,
author = {Michael J. Fischer and
Arnold L. Rosenberg},
title = {Limited Random Access Turing Machines},
booktitle = {9th Annual Symposium on Switching and Automata Theory, Schenectady,
New York, USA, October 15-18, 1968},
pages = {356--367},
publisher = {{IEEE} Computer Society},
year = {1968},
url = {https://doi.org/10.1109/SWAT.1968.15},
doi = {10.1109/SWAT.1968.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/FischerR68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/GallerF65,
author = {Bernard A. Galler and
Michael J. Fischer},
title = {The iteration element},
journal = {Commun. {ACM}},
volume = {8},
number = {6},
pages = {349},
year = {1965},
url = {https://doi.org/10.1145/364955.364958},
doi = {10.1145/364955.364958},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/GallerF65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/GallerF64,
author = {Bernard A. Galler and
Michael J. Fischer},
title = {An improved equivalence algorithm},
journal = {Commun. {ACM}},
volume = {7},
number = {5},
pages = {301--303},
year = {1964},
url = {https://doi.org/10.1145/364099.364331},
doi = {10.1145/364099.364331},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/GallerF64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/GallerF64a,
author = {Bernard A. Galler and
Michael J. Fischer},
title = {In defense of the equivalence algorithm},
journal = {Commun. {ACM}},
volume = {7},
number = {8},
pages = {506},
year = {1964},
url = {https://doi.org/10.1145/355586.364830},
doi = {10.1145/355586.364830},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/GallerF64a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
