default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Michael O. Rabin
@article{DBLP:journals/cacm/MicaliR14,
author = {Silvio Micali and
Michael O. Rabin},
title = {Cryptography miracles, secure auctions, matching problem verification},
journal = {Commun. {ACM}},
volume = {57},
number = {2},
pages = {85--93},
year = {2014},
url = {https://doi.org/10.1145/2574871},
doi = {10.1145/2574871},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/MicaliR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/RabinMMY12,
author = {Michael O. Rabin and
Yishay Mansour and
S. Muthukrishnan and
Moti Yung},
editor = {Artur Czumaj and
Kurt Mehlhorn and
Andrew M. Pitts and
Roger Wattenhofer},
title = {Strictly-Black-Box Zero-Knowledge and Efficient Validation of Financial
Transactions},
booktitle = {Automata, Languages, and Programming - 39th International Colloquium,
{ICALP} 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7391},
pages = {738--749},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31594-7\_62},
doi = {10.1007/978-3-642-31594-7\_62},
timestamp = {Mon, 10 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/RabinMMY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/Rabin12,
author = {Michael O. Rabin},
editor = {Tami Lapidot and
Judith Gal{-}Ezer and
Michael E. Caspersen and
Orit Hazzan},
title = {Never too early to begin: computer science for high-school students},
booktitle = {Annual Conference on Innovation and Technology in Computer Science
Education, ITiCSE '12, Haifa, Israel, July 3-5, 2012},
pages = {1},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2325296.2325298},
doi = {10.1145/2325296.2325298},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/iticse/Rabin12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/ParkesRT09,
author = {David C. Parkes and
Michael O. Rabin and
Christopher Thorpe},
editor = {Roger Dingledine and
Philippe Golle},
title = {Cryptographic Combinatorial Clock-Proxy Auctions},
booktitle = {Financial Cryptography and Data Security, 13th International Conference,
{FC} 2009, Accra Beach, Barbados, February 23-26, 2009. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5628},
pages = {305--324},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03549-4\_19},
doi = {10.1007/978-3-642-03549-4\_19},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/fc/ParkesRT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ecra/ParkesRST08,
author = {David C. Parkes and
Michael O. Rabin and
Stuart M. Shieber and
Christopher Thorpe},
title = {Practical secrecy-preserving, verifiably correct and trustworthy auctions},
journal = {Electron. Commer. Res. Appl.},
volume = {7},
number = {3},
pages = {294--312},
year = {2008},
url = {https://doi.org/10.1016/j.elerap.2008.04.006},
doi = {10.1016/J.ELERAP.2008.04.006},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ecra/ParkesRST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/RabinST07,
author = {Michael O. Rabin and
Rocco A. Servedio and
Christopher Thorpe},
title = {Highly Efficient Secrecy-Preserving Proofs of Correctness of Computations
and Applications},
booktitle = {22nd {IEEE} Symposium on Logic in Computer Science {(LICS} 2007),
10-12 July 2007, Wroclaw, Poland, Proceedings},
pages = {63--76},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/LICS.2007.24},
doi = {10.1109/LICS.2007.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/RabinST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/Rabin07,
author = {Michael O. Rabin},
editor = {Andrzej Pelc},
title = {{DISC} 20th Anniversary: Invited Talk Provably Unbreakable Hyper-Encryption
Using Distributed Systems},
booktitle = {Distributed Computing, 21st International Symposium, {DISC} 2007,
Lemesos, Cyprus, September 24-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4731},
pages = {506--508},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75142-7\_48},
doi = {10.1007/978-3-540-75142-7\_48},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/Rabin07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMicec/ParkesRST06,
author = {David C. Parkes and
Michael O. Rabin and
Stuart M. Shieber and
Christopher Thorpe},
editor = {Mark S. Fox and
Bruce Spencer},
title = {Practical secrecy-preserving, verifiably correct and trustworthy auctions},
booktitle = {Proceedings of the 8th International Conference on Electronic Commerce:
The new e-commerce - Innovations for Conquering Current Barriers,
Obstacles and Limitations to Conducting Successful Business on the
Internet, 2006, Fredericton, New Brunswick, Canada, August 13-16,
2006},
series = {{ACM} International Conference Proceeding Series},
volume = {156},
pages = {70--81},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1151454.1151478},
doi = {10.1145/1151454.1151478},
timestamp = {Tue, 06 Apr 2021 12:12:56 +0200},
biburl = {https://dblp.org/rec/conf/ACMicec/ParkesRST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icits/Rabin05,
author = {Michael O. Rabin},
title = {Provably unbreakable hyper-encryption in the limited access model},
booktitle = {{IEEE} Information Theory Workshop on Theory and Practice in Information-Theoretic
Security, {ICITS} 2005, Awaji Island, Japan, October 16-19, 2005},
pages = {34--37},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/ITWTPI.2005.1543953},
doi = {10.1109/ITWTPI.2005.1543953},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/icits/Rabin05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/Rabin05,
author = {Michael O. Rabin},
title = {How To Exchange Secrets with Oblivious Transfer},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {187},
year = {2005},
url = {http://eprint.iacr.org/2005/187},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/Rabin05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scn/KatzOR04,
author = {Jonathan Katz and
Rafail Ostrovsky and
Michael O. Rabin},
editor = {Carlo Blundo and
Stelvio Cimato},
title = {Identity-Based Zero Knowledge},
booktitle = {Security in Communication Networks, 4th International Conference,
{SCN} 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3352},
pages = {180--192},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30598-9\_13},
doi = {10.1007/978-3-540-30598-9\_13},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/scn/KatzOR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ciac/Rabin03,
author = {Michael O. Rabin},
editor = {Rossella Petreschi and
Giuseppe Persiano and
Riccardo Silvestri},
title = {Hyper Encryption and Everlasting Secrets},
booktitle = {Algorithms and Complexity, 5th Italian Conference, {CIAC} 2003, Rome,
Italy, May 28-30, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2653},
pages = {7--10},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44849-7\_7},
doi = {10.1007/3-540-44849-7\_7},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ciac/Rabin03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/MicaliRK03,
author = {Silvio Micali and
Michael O. Rabin and
Joe Kilian},
title = {Zero-Knowledge Sets},
booktitle = {44th Symposium on Foundations of Computer Science {(FOCS} 2003), 11-14
October 2003, Cambridge, MA, USA, Proceedings},
pages = {80--91},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SFCS.2003.1238183},
doi = {10.1109/SFCS.2003.1238183},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/MicaliRK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BenderR02,
author = {Michael A. Bender and
Michael O. Rabin},
title = {Online Scheduling of Parallel Programs on Heterogeneous Systems with
Applications to Cilk},
journal = {Theory Comput. Syst.},
volume = {35},
number = {3},
pages = {289--304},
year = {2002},
url = {https://doi.org/10.1007/s00224-002-1055-5},
doi = {10.1007/S00224-002-1055-5},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/BenderR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/AumannDR02,
author = {Yonatan Aumann and
Yan Zong Ding and
Michael O. Rabin},
title = {Everlasting security in the bounded storage model},
journal = {{IEEE} Trans. Inf. Theory},
volume = {48},
number = {6},
pages = {1668--1680},
year = {2002},
url = {https://doi.org/10.1109/TIT.2002.1003845},
doi = {10.1109/TIT.2002.1003845},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tit/AumannDR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DingR02,
author = {Yan Zong Ding and
Michael O. Rabin},
editor = {Helmut Alt and
Afonso Ferreira},
title = {Hyper-Encryption and Everlasting Security},
booktitle = {{STACS} 2002, 19th Annual Symposium on Theoretical Aspects of Computer
Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2285},
pages = {1--26},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45841-7\_1},
doi = {10.1007/3-540-45841-7\_1},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/DingR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AumannHRS01,
author = {Yonatan Aumann and
Johan H{\aa}stad and
Michael O. Rabin and
Madhu Sudan},
title = {Linear-Consistency Testing},
journal = {J. Comput. Syst. Sci.},
volume = {62},
number = {4},
pages = {589--607},
year = {2001},
url = {https://doi.org/10.1006/jcss.2001.1747},
doi = {10.1006/JCSS.2001.1747},
timestamp = {Tue, 14 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/AumannHRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/BenderR00,
author = {Michael A. Bender and
Michael O. Rabin},
editor = {Gary L. Miller and
Shang{-}Hua Teng},
title = {Scheduling Cilk multithreaded parallel programs on processors of different
speeds},
booktitle = {Proceedings of the Twelfth annual {ACM} Symposium on Parallel Algorithms
and Architectures, {SPAA} 2000, Bar Harbor, Maine, USA, July 9-13,
2000},
pages = {13--21},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/341800.341803},
doi = {10.1145/341800.341803},
timestamp = {Wed, 21 Nov 2018 12:27:44 +0100},
biburl = {https://dblp.org/rec/conf/spaa/BenderR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/AumannR99,
author = {Yonatan Aumann and
Michael O. Rabin},
editor = {Michael J. Wiener},
title = {Information Theoretically Secure Communication in the Limited Storage
Space Model},
booktitle = {Advances in Cryptology - {CRYPTO} '99, 19th Annual International Cryptology
Conference, Santa Barbara, California, USA, August 15-19, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1666},
pages = {65--79},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48405-1\_5},
doi = {10.1007/3-540-48405-1\_5},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/crypto/AumannR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/MicaliRV99,
author = {Silvio Micali and
Michael O. Rabin and
Salil P. Vadhan},
title = {Verifiable Random Functions},
booktitle = {40th Annual Symposium on Foundations of Computer Science, {FOCS} '99,
17-18 October, 1999, New York, NY, {USA}},
pages = {120--130},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/SFFCS.1999.814584},
doi = {10.1109/SFFCS.1999.814584},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/MicaliRV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/random/AumannHRS99,
author = {Yonatan Aumann and
Johan H{\aa}stad and
Michael O. Rabin and
Madhu Sudan},
editor = {Dorit S. Hochbaum and
Klaus Jansen and
Jos{\'{e}} D. P. Rolim and
Alistair Sinclair},
title = {Linear Consistency Testing},
booktitle = {Randomization, Approximation, and Combinatorial Algorithms and Techniques,
Third International Workshop on Randomization and Approximation Techniques
in Computer Science, and Second International Workshop on Approximation
Algorithms for Combinatorial Optimization Problems RANDOM-APPROX'99,
Berkeley, CA, USA, August 8-11, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1671},
pages = {109--120},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-540-48413-4\_11},
doi = {10.1007/978-3-540-48413-4\_11},
timestamp = {Tue, 14 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/random/AumannHRS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR99-025,
author = {Yonatan Aumann and
Johan H{\aa}stad and
Michael O. Rabin and
Madhu Sudan},
title = {Linear Consistency Testing},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR99-025}},
year = {1999},
url = {https://eccc.weizmann.ac.il/eccc-reports/1999/TR99-025/index.html},
eprinttype = {ECCC},
eprint = {TR99-025},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR99-025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/KushilevitzMRZ98,
author = {Eyal Kushilevitz and
Yishay Mansour and
Michael O. Rabin and
David Zuckerman},
title = {Lower Bounds for Randomized Mutual Exclusion},
journal = {{SIAM} J. Comput.},
volume = {27},
number = {6},
pages = {1550--1563},
year = {1998},
url = {https://doi.org/10.1137/S009753979426513X},
doi = {10.1137/S009753979426513X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/KushilevitzMRZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/AumannR98,
author = {Yonatan Aumann and
Michael O. Rabin},
editor = {Hugo Krawczyk},
title = {Authentication, Enhanced Security and Error Correcting Codes (Extended
Abstract)},
booktitle = {Advances in Cryptology - {CRYPTO} '98, 18th Annual International Cryptology
Conference, Santa Barbara, California, USA, August 23-27, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1462},
pages = {299--303},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055736},
doi = {10.1007/BFB0055736},
timestamp = {Tue, 01 Jun 2021 15:21:29 +0200},
biburl = {https://dblp.org/rec/conf/crypto/AumannR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/GennaroRR98,
author = {Rosario Gennaro and
Michael O. Rabin and
Tal Rabin},
editor = {Brian A. Coan and
Yehuda Afek},
title = {Simplified {VSS} and Fast-Track Multiparty Computations with Applications
to Threshold Cryptography},
booktitle = {Proceedings of the Seventeenth Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} '98, Puerto Vallarta, Mexico, June
28 - July 2, 1998},
pages = {101--111},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277697.277716},
doi = {10.1145/277697.277716},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/GennaroRR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Rabin97,
author = {Michael O. Rabin},
editor = {R. K. Shyamasundar and
Kazunori Ueda},
title = {Correctness of Programs and Protocols through Randomization (Extended
Abstract)},
booktitle = {Advances in Computing Science - {ASIAN} '97, Third Asian Computing
Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1345},
pages = {1--3},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63875-X\_38},
doi = {10.1007/3-540-63875-X\_38},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/Rabin97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/LandweberLR97,
author = {Laura F. Landweber and
Richard J. Lipton and
Michael O. Rabin},
editor = {Harvey Rubin and
David Harlan Wood},
title = {DNA\({}^{\mbox{2}}\)DNA computations: {A} potential "killer app?"},
booktitle = {{DNA} Based Computers, Proceedings of a {DIMACS} Workshop, Philadelphia,
Pennsylvania, USA, June 23-25, 1997},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {48},
pages = {161--172},
publisher = {{DIMACS/AMS}},
year = {1997},
url = {https://doi.org/10.1090/dimacs/048/12},
doi = {10.1090/DIMACS/048/12},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/LandweberLR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sequences/Rabin97,
author = {Michael O. Rabin},
editor = {Bruno Carpentieri and
Alfredo De Santis and
Ugo Vaccaro and
James A. Storer},
title = {Hashing on strings, cryptography, and protection of privacy},
booktitle = {Compression and Complexity of {SEQUENCES} 1997, Positano, Amalfitan
Coast, Salerno, Italy, June 11-13, 1997, Proceedings},
publisher = {{IEEE}},
year = {1997},
url = {https://doi.org/10.1109/SEQUEN.1997.666898},
doi = {10.1109/SEQUEN.1997.666898},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/sequences/Rabin97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Rabin96,
author = {Michael O. Rabin},
title = {Computationally Hard Algebraic Problems (extended abstract)},
booktitle = {37th Annual Symposium on Foundations of Computer Science, {FOCS} '96,
Burlington, Vermont, USA, 14-16 October, 1996},
pages = {284--289},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/SFCS.1996.548487},
doi = {10.1109/SFCS.1996.548487},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Rabin96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/KushilevitzMR95,
author = {Eyal Kushilevitz and
Yishay Mansour and
Michael O. Rabin},
title = {On Lotteries with Unique Winners},
journal = {{SIAM} J. Discret. Math.},
volume = {8},
number = {1},
pages = {93--98},
year = {1995},
url = {https://doi.org/10.1137/S0895480194262795},
doi = {10.1137/S0895480194262795},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamdm/KushilevitzMR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/DasguptaKR95,
author = {Partha Dasgupta and
Zvi M. Kedem and
Michael O. Rabin},
title = {Parallel Processing on Networks of Workstations: {A} Fault-Tolerant,
High Performance Approach},
booktitle = {Proceedings of the 15th International Conference on Distributed Computing
Systems, Vancouver, British Columbia, Canada, May 30 - June 2, 1995},
pages = {467--474},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICDCS.1995.500052},
doi = {10.1109/ICDCS.1995.500052},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/DasguptaKR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AumannR94,
author = {Yonatan Aumann and
Michael O. Rabin},
title = {Clock Construction in Fully Asynchronous Parallel Systems and {PRAM}
Simulation},
journal = {Theor. Comput. Sci.},
volume = {128},
number = {1{\&}2},
pages = {3--30},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90162-7},
doi = {10.1016/0304-3975(94)90162-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AumannR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/AumannKPR93,
author = {Yonatan Aumann and
Zvi M. Kedem and
Krishna V. Palem and
Michael O. Rabin},
title = {Highly Efficient Asynchronous Execution of Large-Grained Parallel
Programs},
booktitle = {34th Annual Symposium on Foundations of Computer Science, Palo Alto,
California, USA, 3-5 November 1993},
pages = {271--280},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/SFCS.1993.366860},
doi = {10.1109/SFCS.1993.366860},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/AumannKPR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/KushilevitzMRZ93,
author = {Eyal Kushilevitz and
Yishay Mansour and
Michael O. Rabin and
David Zuckerman},
editor = {S. Rao Kosaraju and
David S. Johnson and
Alok Aggarwal},
title = {Lower bounds for randomized mutual exclusion},
booktitle = {Proceedings of the Twenty-Fifth Annual {ACM} Symposium on Theory of
Computing, May 16-18, 1993, San Diego, CA, {USA}},
pages = {154--163},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/167088.167139},
doi = {10.1145/167088.167139},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/KushilevitzMRZ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/AumannR92,
author = {Yonatan Aumann and
Michael O. Rabin},
title = {Clock Construction in Fully Asynchronous Parallel Systems and {PRAM}
Simulation (Extended Abstract)},
booktitle = {33rd Annual Symposium on Foundations of Computer Science, Pittsburgh,
Pennsylvania, USA, 24-27 October 1992},
pages = {147--156},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/SFCS.1992.267777},
doi = {10.1109/SFCS.1992.267777},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/AumannR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inria/Rabin92,
author = {Michael O. Rabin},
editor = {Alain Bensoussan and
Jean{-}Pierre Verjus},
title = {Dependable Parallel Computing by Randomization (Abstract)},
booktitle = {Future Tendencies in Computer Science, Control and Applied Mathematics:
International Conference on the Occasion of the 25th Anniversary of
INRIA, Paris, France, December 8-11, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {653},
pages = {19--20},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56320-2\_50},
doi = {10.1007/3-540-56320-2\_50},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/inria/Rabin92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/KushilevitzR92,
author = {Eyal Kushilevitz and
Michael O. Rabin},
editor = {Norman C. Hutchinson},
title = {Randomized Mutual Exclusion Algorithms Revisited},
booktitle = {Proceedings of the Eleventh Annual {ACM} Symposium on Principles of
Distributed Computing, Vancouver, British Columbia, Canada, August
10-12, 1992},
pages = {275--283},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/135419.135468},
doi = {10.1145/135419.135468},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/KushilevitzR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/KedemPRR92,
author = {Zvi M. Kedem and
Krishna V. Palem and
Michael O. Rabin and
A. Raghunathan},
editor = {S. Rao Kosaraju and
Mike Fellows and
Avi Wigderson and
John A. Ellis},
title = {Efficient Program Transformations for Resilient Parallel Computation
via Randomization (Preliminary Version)},
booktitle = {Proceedings of the 24th Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1992, Victoria, British Columbia, Canada},
pages = {306--317},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/129712.129742},
doi = {10.1145/129712.129742},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/KedemPRR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/gc/AlonKLMRS91,
author = {Noga Alon and
Daniel J. Kleitman and
Richard J. Lipton and
Roy Meshulam and
Michael O. Rabin and
Joel H. Spencer},
title = {Set systems with no union of cardinality 0 modulo\emph{m}},
journal = {Graphs Comb.},
volume = {7},
number = {2},
pages = {97--99},
year = {1991},
url = {https://doi.org/10.1007/BF01788135},
doi = {10.1007/BF01788135},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/gc/AlonKLMRS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acr/AlonR89,
author = {Noga Alon and
Michael O. Rabin},
title = {Biased Coins and Randomized Algorithms},
journal = {Adv. Comput. Res.},
volume = {5},
pages = {499--507},
year = {1989},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acr/AlonR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Rabin89,
author = {Michael O. Rabin},
title = {Efficient dispersal of information for security, load balancing, and
fault tolerance},
journal = {J. {ACM}},
volume = {36},
number = {2},
pages = {335--348},
year = {1989},
url = {https://doi.org/10.1145/62044.62050},
doi = {10.1145/62044.62050},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Rabin89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/RabinV89,
author = {Michael O. Rabin and
Vijay V. Vazirani},
title = {Maximum Matchings in General Graphs Through Randomization},
journal = {J. Algorithms},
volume = {10},
number = {4},
pages = {557--567},
year = {1989},
url = {https://doi.org/10.1016/0196-6774(89)90005-9},
doi = {10.1016/0196-6774(89)90005-9},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jal/RabinV89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fodo/RabinT89,
author = {Michael O. Rabin and
J. D. Tygar},
editor = {Witold Litwin and
Hans{-}J{\"{o}}rg Schek},
title = {{ITOSS:} An Integrated Toolkit For Operating System Security},
booktitle = {Foundations of Data Organization and Algorithms, 3rd International
Conference, {FODO} 1989, Paris, France, June 21-23, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {367},
pages = {1--15},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51295-0\_115},
doi = {10.1007/3-540-51295-0\_115},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/fodo/RabinT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/HalpernR87,
author = {Joseph Y. Halpern and
Michael O. Rabin},
title = {A Logic to Reason about Likelihood},
journal = {Artif. Intell.},
volume = {32},
number = {3},
pages = {379--405},
year = {1987},
url = {https://doi.org/10.1016/0004-3702(87)90093-2},
doi = {10.1016/0004-3702(87)90093-2},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/HalpernR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/KarpR87,
author = {Richard M. Karp and
Michael O. Rabin},
title = {Efficient Randomized Pattern-Matching Algorithms},
journal = {{IBM} J. Res. Dev.},
volume = {31},
number = {2},
pages = {249--260},
year = {1987},
url = {https://doi.org/10.1147/rd.312.0249},
doi = {10.1147/RD.312.0249},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ibmrd/KarpR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/ChorR87,
author = {Benny Chor and
Michael O. Rabin},
editor = {Fred B. Schneider},
title = {Achieving Independence in Logarithmic Number of Rounds},
booktitle = {Proceedings of the Sixth Annual {ACM} Symposium on Principles of Distributed
Computing, Vancouver, British Columbia, Canada, August 10-12, 1987},
pages = {260--268},
publisher = {{ACM}},
year = {1987},
url = {https://doi.org/10.1145/41840.41862},
doi = {10.1145/41840.41862},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/ChorR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Rabin83,
author = {Michael O. Rabin},
title = {Transaction Protection by Beacons},
journal = {J. Comput. Syst. Sci.},
volume = {27},
number = {2},
pages = {256--267},
year = {1983},
url = {https://doi.org/10.1016/0022-0000(83)90042-9},
doi = {10.1016/0022-0000(83)90042-9},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Rabin83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Rabin83,
author = {Michael O. Rabin},
title = {Randomized Byzantine Generals},
booktitle = {24th Annual Symposium on Foundations of Computer Science, Tucson,
Arizona, USA, 7-9 November 1983},
pages = {403--409},
publisher = {{IEEE} Computer Society},
year = {1983},
url = {https://doi.org/10.1109/SFCS.1983.48},
doi = {10.1109/SFCS.1983.48},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Rabin83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/HalpernR83,
author = {Joseph Y. Halpern and
Michael O. Rabin},
editor = {David S. Johnson and
Ronald Fagin and
Michael L. Fredman and
David Harel and
Richard M. Karp and
Nancy A. Lynch and
Christos H. Papadimitriou and
Ronald L. Rivest and
Walter L. Ruzzo and
Joel I. Seiferas},
title = {A Logic to Reason about Likelihood},
booktitle = {Proceedings of the 15th Annual {ACM} Symposium on Theory of Computing,
25-27 April, 1983, Boston, Massachusetts, {USA}},
pages = {310--319},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/800061.808760},
doi = {10.1145/800061.808760},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/HalpernR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Rabin82,
author = {Michael O. Rabin},
title = {The Choice Coordination Problem},
journal = {Acta Informatica},
volume = {17},
pages = {121--134},
year = {1982},
url = {https://doi.org/10.1007/BF00288965},
doi = {10.1007/BF00288965},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Rabin82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Rabin82,
author = {Michael O. Rabin},
title = {N-Process Mutual Exclusion with Bounded Waiting by 4 Log{\_}2 N-Valued
Shared Variable},
journal = {J. Comput. Syst. Sci.},
volume = {25},
number = {1},
pages = {66--75},
year = {1982},
url = {https://doi.org/10.1016/0022-0000(82)90010-1},
doi = {10.1016/0022-0000(82)90010-1},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Rabin82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LehmannR81,
author = {Daniel Lehmann and
Michael O. Rabin},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {On the Advantages of Free Choice: {A} Symmetric and Fully Distributed
Solution to the Dining Philosophers Problem},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {133--138},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567547},
doi = {10.1145/567532.567547},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/LehmannR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Rabin80,
author = {Michael O. Rabin},
title = {Probabilistic Algorithms in Finite Fields},
journal = {{SIAM} J. Comput.},
volume = {9},
number = {2},
pages = {273--280},
year = {1980},
url = {https://doi.org/10.1137/0209024},
doi = {10.1137/0209024},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/Rabin80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Rabin80,
author = {Michael O. Rabin},
title = {N-Process Synchronization by 4 log {\_}2 N-Valued Shared Variables},
booktitle = {21st Annual Symposium on Foundations of Computer Science, Syracuse,
New York, USA, 13-15 October 1980},
pages = {407--410},
publisher = {{IEEE} Computer Society},
year = {1980},
url = {https://doi.org/10.1109/SFCS.1980.26},
doi = {10.1109/SFCS.1980.26},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Rabin80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Rabin77,
author = {Michael O. Rabin},
title = {Complexity of Computations},
journal = {Commun. {ACM}},
volume = {20},
number = {9},
pages = {625--633},
year = {1977},
url = {https://doi.org/10.1145/359810.359816},
doi = {10.1145/359810.359816},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Rabin77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Rabin74,
author = {Michael O. Rabin},
editor = {Jack L. Rosenfeld},
title = {Theoretical Impediments to Artificial Intelligence},
booktitle = {Information Processing, Proceedings of the 6th {IFIP} Congress 1974,
Stockholm, Sweden, August 5-10, 1974},
pages = {615--619},
publisher = {North-Holland},
year = {1974},
timestamp = {Fri, 26 Jul 2019 22:58:40 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Rabin74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/PrattRS74,
author = {Vaughan R. Pratt and
Michael O. Rabin and
Larry J. Stockmeyer},
editor = {Robert L. Constable and
Robert W. Ritchie and
Jack W. Carlyle and
Michael A. Harrison},
title = {A Characterization of the Power of Vector Machines},
booktitle = {Proceedings of the 6th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1974, Seattle, Washington, {USA}},
pages = {122--134},
publisher = {{ACM}},
year = {1974},
url = {https://doi.org/10.1145/800119.803892},
doi = {10.1145/800119.803892},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/PrattRS74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Rabin72,
author = {Michael O. Rabin},
title = {Proving Simultaneous Positivity of Linear Forms},
journal = {J. Comput. Syst. Sci.},
volume = {6},
number = {6},
pages = {639--650},
year = {1972},
url = {https://doi.org/10.1016/S0022-0000(72)80034-5},
doi = {10.1016/S0022-0000(72)80034-5},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/Rabin72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/Rabin72,
author = {Michael O. Rabin},
editor = {Raymond E. Miller and
James W. Thatcher},
title = {Solving Linear Equations by Means of Scalar Products},
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 = {11--20},
publisher = {Plenum Press, New York},
year = {1972},
url = {https://doi.org/10.1007/978-1-4684-2001-2\_2},
doi = {10.1007/978-1-4684-2001-2\_2},
timestamp = {Sat, 04 Sep 2021 20:59:47 +0200},
biburl = {https://dblp.org/rec/conf/coco/Rabin72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/RabinM71,
author = {Michael O. Rabin and
Michael D. Morley},
title = {Meeting of the Association for Symbolic Logic},
journal = {J. Symb. Log.},
volume = {36},
number = {4},
pages = {696--710},
year = {1971},
url = {https://doi.org/10.2307/2272534},
doi = {10.2307/2272534},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/RabinM71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ElgotR66,
author = {Calvin C. Elgot and
Michael O. Rabin},
title = {Decidability and Undecidability of Extensions of Second (First) Order
Theory of (Generalized) Successor},
journal = {J. Symb. Log.},
volume = {31},
number = {2},
pages = {169--181},
year = {1966},
url = {https://doi.org/10.2307/2269808},
doi = {10.2307/2269808},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ElgotR66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Rabin63,
author = {Michael O. Rabin},
title = {Probabilistic Automata},
journal = {Inf. Control.},
volume = {6},
number = {3},
pages = {230--245},
year = {1963},
url = {https://doi.org/10.1016/S0019-9958(63)90290-0},
doi = {10.1016/S0019-9958(63)90290-0},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Rabin63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/RabinW63,
author = {Michael O. Rabin and
Hao Wang},
title = {Words in the History of a Turing Machine with a Fixed Input},
journal = {J. {ACM}},
volume = {10},
number = {4},
pages = {526--527},
year = {1963},
url = {https://doi.org/10.1145/321186.321195},
doi = {10.1145/321186.321195},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/RabinW63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/PerlesRS63,
author = {Micha A. Perles and
Michael O. Rabin and
Eliahu Shamir},
title = {The Theory of Definite Automata},
journal = {{IEEE} Trans. Electron. Comput.},
volume = {12},
number = {3},
pages = {233--243},
year = {1963},
url = {https://doi.org/10.1109/PGEC.1963.263534},
doi = {10.1109/PGEC.1963.263534},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/PerlesRS63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/RabinS59,
author = {Michael O. Rabin and
Dana S. Scott},
title = {Finite Automata and Their Decision Problems},
journal = {{IBM} J. Res. Dev.},
volume = {3},
number = {2},
pages = {114--125},
year = {1959},
url = {https://doi.org/10.1147/rd.32.0114},
doi = {10.1147/RD.32.0114},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ibmrd/RabinS59.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/PetersonR59,
author = {W. Wesley Peterson and
Michael O. Rabin},
title = {On Codes for Checking Logical Operations},
journal = {{IBM} J. Res. Dev.},
volume = {3},
number = {2},
pages = {163--168},
year = {1959},
url = {https://doi.org/10.1147/rd.32.0163},
doi = {10.1147/RD.32.0163},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ibmrd/PetersonR59.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Rabin58,
author = {Michael O. Rabin},
title = {On Recursively Enumerable and Arithmetic Models of Set Theory},
journal = {J. Symb. Log.},
volume = {23},
number = {4},
pages = {408--416},
year = {1958},
url = {https://doi.org/10.2307/2964015},
doi = {10.2307/2964015},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Rabin58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-05-02 20:58 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:
