default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Arthur J. Bernstein
@article{DBLP:journals/ijfcs/LuBL06,
author = {Shiyong Lu and
Arthur J. Bernstein and
Philip M. Lewis},
title = {Completeness and realizability: conditions for automatic generation
of workflows},
journal = {Int. J. Found. Comput. Sci.},
volume = {17},
number = {1},
pages = {223--245},
year = {2006},
url = {https://doi.org/10.1142/S0129054106003784},
doi = {10.1142/S0129054106003784},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/LuBL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LuBL06,
author = {Shiyong Lu and
Arthur J. Bernstein and
Philip M. Lewis},
title = {Automatic workflow verification and generation},
journal = {Theor. Comput. Sci.},
volume = {353},
number = {1-3},
pages = {71--92},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2005.10.035},
doi = {10.1016/J.TCS.2005.10.035},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LuBL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/LuBL04,
author = {Shiyong Lu and
Arthur J. Bernstein and
Philip M. Lewis},
title = {Correct Execution of Transactions at Different Isolation Levels},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {16},
number = {9},
pages = {1070--1081},
year = {2004},
url = {https://doi.org/10.1109/TKDE.2004.34},
doi = {10.1109/TKDE.2004.34},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/LuBL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/DuanBLL04,
author = {Ziyang Duan and
Arthur J. Bernstein and
Philip M. Lewis and
Shiyong Lu},
editor = {Marco Aiello and
Mikio Aoyama and
Francisco Curbera and
Mike P. Papazoglou},
title = {A model for abstract process specification, verification and composition},
booktitle = {Service-Oriented Computing - {ICSOC} 2004, Second International Conference,
New York, NY, USA, November 15-19, 2004, Proceedings},
pages = {232--241},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1035167.1035201},
doi = {10.1145/1035167.1035201},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoc/DuanBLL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/DuanBLL04,
author = {Ziyang Duan and
Arthur J. Bernstein and
Philip M. Lewis and
Shiyong Lu},
title = {Semantics Based Verification and Synthesis of {BPEL4WS} Abstract Processes},
booktitle = {Proceedings of the {IEEE} International Conference on Web Services
(ICWS'04), June 6-9, 2004, San Diego, California, {USA}},
pages = {734--737},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICWS.2004.1314805},
doi = {10.1109/ICWS.2004.1314805},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/DuanBLL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/aw/LewisBK01,
author = {Philip M. Lewis and
Arthur J. Bernstein and
Michael Kifer},
title = {Databases and Transaction Processing: An Application-Oriented Approach},
publisher = {Addison-Wesley},
year = {2001},
isbn = {0-201-70872-8},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/aw/LewisBK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/BernsteinLL00,
author = {Arthur J. Bernstein and
Philip M. Lewis and
Shiyong Lu},
editor = {David B. Lomet and
Gerhard Weikum},
title = {Semantic Conditions for Correctness at Different Isolation Levels},
booktitle = {Proceedings of the 16th International Conference on Data Engineering,
San Diego, California, USA, February 28 - March 3, 2000},
pages = {57--66},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICDE.2000.839387},
doi = {10.1109/ICDE.2000.839387},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/BernsteinLL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/BernsteinGL99,
author = {Arthur J. Bernstein and
David Scott Gerstl and
Philip M. Lewis},
title = {Concurrency control for step-decomposed transactions},
journal = {Inf. Syst.},
volume = {24},
number = {8},
pages = {673--698},
year = {1999},
url = {https://doi.org/10.1016/S0306-4379(00)00004-1},
doi = {10.1016/S0306-4379(00)00004-1},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/BernsteinGL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/BernsteinGLL98,
author = {Arthur J. Bernstein and
David Scott Gerstl and
Wai{-}Hong Leung and
Philip M. Lewis},
editor = {Susan Darling Urban and
Elisa Bertino},
title = {Design and Performance of an Assertional Concurrency Control System},
booktitle = {Proceedings of the Fourteenth International Conference on Data Engineering,
Orlando, Florida, USA, February 23-27, 1998},
pages = {436--445},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICDE.1998.655806},
doi = {10.1109/ICDE.1998.655806},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/BernsteinGLL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dpd/BernsteinL96,
author = {Arthur J. Bernstein and
Philip M. Lewis},
title = {Transaction Decomposition Using Transaction Semantics},
journal = {Distributed Parallel Databases},
volume = {4},
number = {1},
pages = {25--47},
year = {1996},
url = {https://doi.org/10.1007/BF00122147},
doi = {10.1007/BF00122147},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dpd/BernsteinL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/SinghB95,
author = {Gurdip Singh and
Arthur J. Bernstein},
title = {A Highly Asynchronous Minimum Spanning Tree Protocol},
journal = {Distributed Comput.},
volume = {8},
number = {3},
pages = {151--161},
year = {1995},
url = {https://doi.org/10.1007/BF02242717},
doi = {10.1007/BF02242717},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/SinghB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/KrishnakumarB94,
author = {Narayanan Krishnakumar and
Arthur J. Bernstein},
title = {Bounded Ignorance: {A} Technique for Increasing Concurrency in a Replicated
System},
journal = {{ACM} Trans. Database Syst.},
volume = {19},
number = {4},
pages = {586--625},
year = {1994},
url = {https://doi.org/10.1145/195664.195670},
doi = {10.1145/195664.195670},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/KrishnakumarB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0081844,
author = {Arthur J. Bernstein and
Philip M. Lewis},
title = {Concurrency in programming and database systems},
publisher = {Jones and Bartlett Publishers},
year = {1993},
isbn = {978-0-86720-205-2},
timestamp = {Fri, 29 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0081844.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/SinghB92,
author = {Gurdip Singh and
Arthur J. Bernstein},
editor = {Daniel Etiemble and
Jean{-}Claude Syre},
title = {A Framework for Parallel Composition of Protocols},
booktitle = {{PARLE} '92: Parallel Architectures and Languages Europe, 4th International
{PARLE} Conference, Paris, France, June 15-18, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {605},
pages = {927--942},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55599-4\_133},
doi = {10.1007/3-540-55599-4\_133},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/SinghB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/KrishnakumarB92,
author = {Narayanan Krishnakumar and
Arthur J. Bernstein},
editor = {Li{-}Yan Yuan},
title = {High Throughput Escrow Algorithms for Replicated Databases},
booktitle = {18th International Conference on Very Large Data Bases, August 23-27,
1992, Vancouver, Canada, Proceedings},
pages = {175--186},
publisher = {Morgan Kaufmann},
year = {1992},
url = {http://www.vldb.org/conf/1992/P175.PDF},
timestamp = {Wed, 29 Mar 2017 16:45:23 +0200},
biburl = {https://dblp.org/rec/conf/vldb/KrishnakumarB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/SinghB91,
author = {Gurdip Singh and
Arthur J. Bernstein},
title = {On the relative execution times of distributed protocols},
journal = {Int. J. Parallel Program.},
volume = {20},
number = {3},
pages = {203--235},
year = {1991},
url = {https://doi.org/10.1007/BF01379318},
doi = {10.1007/BF01379318},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/SinghB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/AgrawalB91,
author = {Divyakant Agrawal and
Arthur J. Bernstein},
title = {A Nonblocking Quorum Consensus Protocol for Replicated Data},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {2},
number = {2},
pages = {171--179},
year = {1991},
url = {https://doi.org/10.1109/71.89063},
doi = {10.1109/71.89063},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/AgrawalB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/KrishnakumarB91,
author = {Narayanan Krishnakumar and
Arthur J. Bernstein},
editor = {Daniel J. Rosenkrantz},
title = {Bounded Ignorance in Replicated Systems},
booktitle = {Proceedings of the Tenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on
Principles of Database Systems, May 29-31, 1991, Denver, Colorado,
{USA}},
pages = {63--74},
publisher = {{ACM} Press},
year = {1991},
url = {https://doi.org/10.1145/113413.113419},
doi = {10.1145/113413.113419},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/KrishnakumarB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/SenguptaB90,
author = {Soumitra Sengupta and
Arthur J. Bernstein},
title = {Concurrency control optimizations in a prolog database},
journal = {Int. J. Parallel Program.},
volume = {19},
number = {3},
pages = {185--211},
year = {1990},
url = {https://doi.org/10.1007/BF01407954},
doi = {10.1007/BF01407954},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/SenguptaB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/SinghB90,
author = {Gurdip Singh and
Arthur J. Bernstein},
title = {On the Relative Execution Times of Distributed Protocols},
booktitle = {10th International Conference on Distributed Computing Systems {(ICDCS}
1990), May 28 - June 1, 1990, Paris, France},
pages = {80--87},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/ICDCS.1990.89287},
doi = {10.1109/ICDCS.1990.89287},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/SinghB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/AgrawalBGS87,
author = {Divyakant Agrawal and
Arthur J. Bernstein and
Pankaj Gupta and
Soumitra Sengupta},
title = {Distributed Optimistic Concurrency Control with Reduced Rollback},
journal = {Distributed Comput.},
volume = {2},
number = {1},
pages = {45--59},
year = {1987},
url = {https://doi.org/10.1007/BF01786254},
doi = {10.1007/BF01786254},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/AgrawalBGS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Bernstein87,
author = {Arthur J. Bernstein},
title = {Predicate Transfer and Timeout in Message Passing Systems},
journal = {Inf. Process. Lett.},
volume = {24},
number = {1},
pages = {43--52},
year = {1987},
url = {https://doi.org/10.1016/0020-0190(87)90197-9},
doi = {10.1016/0020-0190(87)90197-9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Bernstein87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/WuuB86,
author = {Gene T. J. Wuu and
Arthur J. Bernstein},
title = {Efficient Solutions to the Replicated Log and Dictionary Problems},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {20},
number = {1},
pages = {57--66},
year = {1986},
url = {https://doi.org/10.1145/12485.12491},
doi = {10.1145/12485.12491},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/WuuB86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compcon/AgrawalBGS86,
author = {Divyakant Agrawal and
Arthur J. Bernstein and
Pankaj Gupta and
Soumitra Sengupta},
title = {Distributed Multi-Version Optimistic Concurrency Control for Relational
Databases},
booktitle = {Spring COMPCON'86, Digest of Papers, Thirty-First {IEEE} Computer
Society International Conference, San Francisco, California, USA,
March 3-6, 1986},
pages = {416--421},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Wed, 28 Jun 2006 09:47:20 +0200},
biburl = {https://dblp.org/rec/conf/compcon/AgrawalBGS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/FrankWB85,
author = {Ariel J. Frank and
Larry D. Wittie and
Arthur J. Bernstein},
title = {Multicast Communication on Network Computers},
journal = {{IEEE} Softw.},
volume = {2},
number = {3},
pages = {49--61},
year = {1985},
url = {https://doi.org/10.1109/MS.1985.230701},
doi = {10.1109/MS.1985.230701},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/FrankWB85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AhamadB85,
author = {Mustaque Ahamad and
Arthur J. Bernstein},
title = {An Application of Name Based Addressing to Low Level Distributed Algorithms},
journal = {{IEEE} Trans. Software Eng.},
volume = {11},
number = {1},
pages = {59--67},
year = {1985},
url = {https://doi.org/10.1109/TSE.1985.231843},
doi = {10.1109/TSE.1985.231843},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AhamadB85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Bernstein85,
author = {Arthur J. Bernstein},
title = {A Loosely Coupled Distributed System for Reliably Storing Data},
journal = {{IEEE} Trans. Software Eng.},
volume = {11},
number = {5},
pages = {446--454},
year = {1985},
url = {https://doi.org/10.1109/TSE.1985.232483},
doi = {10.1109/TSE.1985.232483},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Bernstein85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WuuB85,
author = {Gene T. J. Wuu and
Arthur J. Bernstein},
title = {False Deadlock Detection in Distributed Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {11},
number = {8},
pages = {820--821},
year = {1985},
url = {https://doi.org/10.1109/TSE.1985.232530},
doi = {10.1109/TSE.1985.232530},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WuuB85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/AhamadB85,
author = {Mustaque Ahamad and
Arthur J. Bernstein},
title = {Multicast Communication in {UNIX} 4.2BSD},
booktitle = {Proceedings of the 5th International Conference on Distributed Computing
Systems, Denver, Colorado, USA, May 13-17, 1985},
pages = {80--87},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 27 Nov 2013 16:54:35 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/AhamadB85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/FrankWB85,
author = {Ariel J. Frank and
Larry D. Wittie and
Arthur J. Bernstein},
title = {Maintaining Weakly-Consistent Replicated Data on Dynamic Groups of
Computers},
booktitle = {International Conference on Parallel Processing, ICPP'85, University
Park, PA, USA, August 1985},
pages = {155--162},
publisher = {{IEEE} Computer Society Press},
year = {1985},
timestamp = {Mon, 28 Jul 2014 17:06:01 +0200},
biburl = {https://dblp.org/rec/conf/icpp/FrankWB85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/FrankWB84,
author = {Ariel J. Frank and
Larry D. Wittie and
Arthur J. Bernstein},
title = {Group Communication on Netcomputers},
booktitle = {Proceedings of the 4th International Conference on Distributed Computing
Systems, San Francisco, California, USA, May 14-18, 1984},
pages = {326--335},
publisher = {{IEEE} Computer Society},
year = {1984},
timestamp = {Wed, 27 Nov 2013 16:54:32 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/FrankWB84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/WuuB84,
author = {Gene T. J. Wuu and
Arthur J. Bernstein},
editor = {Tiko Kameda and
Jayadev Misra and
Joseph G. Peters and
Nicola Santoro},
title = {Efficient Solutions to the Replicated Log and Dictionart Problems},
booktitle = {Proceedings of the Third Annual {ACM} Symposium on Principles of Distributed
Computing, Vancouver, B. C., Canada, August 27-29, 1984},
pages = {233--242},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800222.806750},
doi = {10.1145/800222.806750},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/WuuB84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/ArangoGBB83,
author = {Mauricio Arango and
David Gelernter and
Hussein G. Badr and
Arthur J. Bernstein},
editor = {David C. Wood and
Simon S. Lam},
title = {Staged circuit switching for network computers},
booktitle = {Proceedings of the symposium on Communications Architectures {\&}
Protocols, {SIGCOMM} 1983, Austin, Texas, USA, March 8-9, 1983},
pages = {94--100},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/1035237.1035259},
doi = {10.1145/1035237.1035259},
timestamp = {Fri, 23 Jul 2021 15:35:16 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/ArangoGBB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/GelernterB82,
author = {David Gelernter and
Arthur J. Bernstein},
editor = {Robert L. Probert and
Michael J. Fischer and
Nicola Santoro},
title = {Distributed Communication via Global Buffer},
booktitle = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
Ottawa, Canada, August 18-20, 1982},
pages = {10--18},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800220.806676},
doi = {10.1145/800220.806676},
timestamp = {Tue, 30 Jul 2024 10:34:08 +0200},
biburl = {https://dblp.org/rec/conf/podc/GelernterB82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/BernsteinE81,
author = {Arthur J. Bernstein and
J. Robert Ensor},
title = {A Modula Based Language Supporting Hierarchical Development and Verification},
journal = {Softw. Pract. Exp.},
volume = {11},
number = {3},
pages = {237--255},
year = {1981},
url = {https://doi.org/10.1002/spe.4380110304},
doi = {10.1002/SPE.4380110304},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/BernsteinE81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/BernsteinH81,
author = {Arthur J. Bernstein and
Paul K. Harter Jr.},
editor = {John Howard and
David P. Reed},
title = {Proving Real-Time Properties of Programs with Temporal Logic},
booktitle = {Proceedings of the Eighth Symposium on Operating System Principles,
{SOSP} 1981, Asilomar Conference Grounds, Pacific Grove, California,
USA, December 14-16, 1981},
pages = {1--11},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800216.806585},
doi = {10.1145/800216.806585},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/BernsteinH81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Bernstein80,
author = {Arthur J. Bernstein},
title = {Output Guards and Nondeterminism in "Communicating Sequential
Processes"},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {2},
number = {2},
pages = {234--238},
year = {1980},
url = {https://doi.org/10.1145/357094.357101},
doi = {10.1145/357094.357101},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Bernstein80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/EkanadhamB79,
author = {Kattamuri Ekanadham and
Arthur J. Bernstein},
title = {Conditional Capabilities},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {5},
pages = {458--464},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.230184},
doi = {10.1109/TSE.1979.230184},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/EkanadhamB79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/SchneiderB78,
author = {Fred B. Schneider and
Arthur J. Bernstein},
title = {Scheduling in Concurrent Pascal},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {12},
number = {2},
pages = {15--20},
year = {1978},
url = {https://doi.org/10.1145/775332.775335},
doi = {10.1145/775332.775335},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/SchneiderB78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/EkanadhamB78,
author = {Kattamuri Ekanadham and
Arthur J. Bernstein},
title = {Some New Transitions In Hierarchical Level Structures},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {12},
number = {4},
pages = {34--38},
year = {1978},
url = {https://doi.org/10.1145/775406.775408},
doi = {10.1145/775406.775408},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/EkanadhamB78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AkkoyunluBSS78,
author = {Eralp A. Akkoyunlu and
Arthur J. Bernstein and
Fred B. Schneider and
Abraham Silberschatz},
title = {Conditions for the Equivalence of Synchronous and Asynchronous Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {4},
number = {6},
pages = {507--516},
year = {1978},
url = {https://doi.org/10.1109/TSE.1978.234136},
doi = {10.1109/TSE.1978.234136},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AkkoyunluBSS78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jcit/BernsteinS78,
author = {Arthur J. Bernstein and
Fred B. Schneider},
editor = {Josef Moneta},
title = {On Language Restrictions to Ensure Deterministic Behavior in Concurrent
Systems},
booktitle = {Information Technology '78: Proceedings of the 3rd Jerusalem Conference
on Information Technology (JCIT3), Jerusalem, August 6-9, 1978},
pages = {537--541},
publisher = {North-Holland},
year = {1978},
timestamp = {Wed, 08 Feb 2017 14:05:42 +0100},
biburl = {https://dblp.org/rec/conf/jcit/BernsteinS78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SilberschatzKB77,
author = {Abraham Silberschatz and
Richard B. Kieburtz and
Arthur J. Bernstein},
title = {Extending Concurrent Pascal to Allow Dynamic Resource Management},
journal = {{IEEE} Trans. Software Eng.},
volume = {3},
number = {3},
pages = {210--217},
year = {1977},
url = {https://doi.org/10.1109/TSE.1977.231130},
doi = {10.1109/TSE.1977.231130},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SilberschatzKB77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Bernstein76,
author = {Arthur J. Bernstein},
title = {Synthesizing a Response Function with a Feedback Scheduling Algorithm},
journal = {{SIAM} J. Comput.},
volume = {5},
number = {2},
pages = {309--317},
year = {1976},
url = {https://doi.org/10.1137/0205025},
doi = {10.1137/0205025},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/Bernstein76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SilberschatzKB76,
author = {Abraham Silberschatz and
Richard B. Kieburtz and
Arthur J. Bernstein},
editor = {Raymond T. Yeh and
C. V. Ramamoorthy},
title = {Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract)},
booktitle = {Proceedings of the 2nd International Conference on Software Engineering,
San Francisco, California, USA, October 13-15, 1976},
pages = {236},
publisher = {{IEEE} Computer Society},
year = {1976},
url = {http://dl.acm.org/citation.cfm?id=807681},
timestamp = {Mon, 14 May 2012 18:17:17 +0200},
biburl = {https://dblp.org/rec/conf/icse/SilberschatzKB76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BernsteinS75,
author = {Arthur J. Bernstein and
Paul Siegel},
title = {A Computer Architecture for Level Structured Systems},
journal = {{IEEE} Trans. Computers},
volume = {24},
number = {8},
pages = {785--793},
year = {1975},
url = {https://doi.org/10.1109/T-C.1975.224310},
doi = {10.1109/T-C.1975.224310},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/BernsteinS75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/AkkoyunluBS74,
author = {Eralp A. Akkoyunlu and
Arthur J. Bernstein and
Richard E. Schantz},
title = {Interprocess communication facilities for network operating systems},
journal = {Computer},
volume = {7},
number = {6},
pages = {46--55},
year = {1974},
url = {https://doi.org/10.1109/MC.1974.6323582},
doi = {10.1109/MC.1974.6323582},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/AkkoyunluBS74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/ChuaB74,
author = {Yap Siong Chua and
Arthur J. Bernstein},
title = {Analysis of a Feedback Scheduler},
journal = {{SIAM} J. Comput.},
volume = {3},
number = {3},
pages = {159--176},
year = {1974},
url = {https://doi.org/10.1137/0203012},
doi = {10.1137/0203012},
timestamp = {Sun, 10 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/ChuaB74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BernsteinS71,
author = {Arthur J. Bernstein and
J. C. Sharp},
title = {A Policy-Driven Scheduler for a Time-Sharing System},
journal = {Commun. {ACM}},
volume = {14},
number = {2},
pages = {74--78},
year = {1971},
url = {https://doi.org/10.1145/362515.362520},
doi = {10.1145/362515.362520},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/BernsteinS71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Bernstein71,
author = {Arthur J. Bernstein},
title = {A Programmer Training Project},
journal = {Commun. {ACM}},
volume = {14},
number = {7},
pages = {449--452},
year = {1971},
url = {https://doi.org/10.1145/362619.362624},
doi = {10.1145/362619.362624},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Bernstein71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Bernstein70,
author = {Arthur J. Bernstein},
title = {Comment on the working set model for program behavior},
journal = {Commun. {ACM}},
volume = {13},
number = {11},
pages = {698--699},
year = {1970},
url = {https://doi.org/10.1145/362790.362811},
doi = {10.1145/362790.362811},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Bernstein70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/ShoshaniB69,
author = {Arie Shoshani and
Arthur J. Bernstein},
title = {Synchronization in a parallel-accessed data base},
journal = {Commun. {ACM}},
volume = {12},
number = {11},
pages = {604--607},
year = {1969},
url = {https://doi.org/10.1145/363269.363277},
doi = {10.1145/363269.363277},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/ShoshaniB69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/BernsteinDK69,
author = {Arthur J. Bernstein and
G. D. Detlefsen and
R. H. Kerr},
editor = {Peter J. Denning and
Edward G. Coffman Jr.},
title = {Process control and communication},
booktitle = {Proceedings of the Second Symposium on Operating Systems Principles,
{SOSP} 1969, Princeton, NJ, USA, October 20-22, 1969},
pages = {60--66},
publisher = {{ACM}},
year = {1969},
url = {https://doi.org/10.1145/961053.961078},
doi = {10.1145/961053.961078},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/BernsteinDK69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/RobinsonB67,
author = {John P. Robinson and
Arthur J. Bernstein},
title = {A class of binary recurrent codes with limited error propagation},
journal = {{IEEE} Trans. Inf. Theory},
volume = {13},
number = {1},
pages = {106--113},
year = {1967},
url = {https://doi.org/10.1109/TIT.1967.1053951},
doi = {10.1109/TIT.1967.1053951},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tit/RobinsonB67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Bernstein66,
author = {Arthur J. Bernstein},
title = {Analysis of Programs for Parallel Processing},
journal = {{IEEE} Trans. Electron. Comput.},
volume = {15},
number = {5},
pages = {757--763},
year = {1966},
url = {https://doi.org/10.1109/PGEC.1966.264565},
doi = {10.1109/PGEC.1966.264565},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Bernstein66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/BernsteinSH66,
author = {Arthur J. Bernstein and
Kenneth Steiglitz and
John E. Hopcroft},
title = {Encoding of analog signals for binary symmetric channels},
journal = {{IEEE} Trans. Inf. Theory},
volume = {12},
number = {4},
pages = {425--430},
year = {1966},
url = {https://doi.org/10.1109/TIT.1966.1053921},
doi = {10.1109/TIT.1966.1053921},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tit/BernsteinSH66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/HicksB64,
author = {G. L. Hicks and
Arthur J. Bernstein},
title = {On the minimum stage realization of switching functions using logic
gates with limited fan-in},
booktitle = {5th Annual Symposium on Switching Circuit Theory and Logical Design,
Princeton, New Jersey, USA, November 11-13, 1964},
pages = {149--155},
publisher = {{IEEE} Computer Society},
year = {1964},
url = {https://doi.org/10.1109/SWCT.1964.21},
doi = {10.1109/SWCT.1964.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/HicksB64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Bernstein64,
author = {Arthur J. Bernstein},
title = {Reducing variable dependency in combinational circuits},
booktitle = {5th Annual Symposium on Switching Circuit Theory and Logical Design,
Princeton, New Jersey, USA, November 11-13, 1964},
pages = {156--164},
publisher = {{IEEE} Computer Society},
year = {1964},
url = {https://doi.org/10.1109/SWCT.1964.23},
doi = {10.1109/SWCT.1964.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Bernstein64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/BernsteinK63,
author = {Arthur J. Bernstein and
Wan H. Kim},
title = {Single- and double-adjacent error-correcting codes for arithmetic
units (Corresp.)},
journal = {{IEEE} Trans. Inf. Theory},
volume = {9},
number = {3},
pages = {209--210},
year = {1963},
url = {https://doi.org/10.1109/TIT.1963.1057845},
doi = {10.1109/TIT.1963.1057845},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tit/BernsteinK63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/BernsteinK62,
author = {Arthur J. Bernstein and
Wan H. Kim},
title = {Linear codes for single error correction in symmetric and asymmetric
computational processes},
journal = {{IRE} Trans. Inf. Theory},
volume = {8},
number = {1},
pages = {29--34},
year = {1962},
url = {https://doi.org/10.1109/TIT.1962.1057668},
doi = {10.1109/TIT.1962.1057668},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tit/BernsteinK62.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-04-25 05:50 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:
