default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Lawrence H. Landweber
@inproceedings{DBLP:conf/usenix/DuplyakinRMWDES19,
author = {Dmitry Duplyakin and
Robert Ricci and
Aleksander Maricq and
Gary Wong and
Jonathon Duerig and
Eric Eide and
Leigh Stoller and
Mike Hibler and
David Johnson and
Kirk Webb and
Aditya Akella and
Kuang{-}Ching Wang and
Glenn Ricart and
Larry Landweber and
Chip Elliott and
Michael Zink and
Emmanuel Cecchet and
Snigdhaswin Kar and
Prabodh Mishra},
editor = {Dahlia Malkhi and
Dan Tsafrir},
title = {The Design and Operation of CloudLab},
booktitle = {Proceedings of the 2019 {USENIX} Annual Technical Conference, {USENIX}
{ATC} 2019, Renton, WA, USA, July 10-12, 2019},
pages = {1--14},
publisher = {{USENIX} Association},
year = {2019},
url = {https://www.usenix.org/conference/atc19/presentation/duplyakin},
timestamp = {Tue, 16 Jul 2024 09:12:32 +0200},
biburl = {https://dblp.org/rec/conf/usenix/DuplyakinRMWDES19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/BermanCLNORRS14,
author = {Mark Berman and
Jeffrey S. Chase and
Lawrence H. Landweber and
Akihiro Nakao and
Max Ott and
Dipankar Raychaudhuri and
Robert Ricci and
Ivan Seskar},
title = {{GENI:} {A} federated testbed for innovative network experiments},
journal = {Comput. Networks},
volume = {61},
pages = {5--23},
year = {2014},
url = {https://doi.org/10.1016/j.bjp.2013.12.037},
doi = {10.1016/J.BJP.2013.12.037},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/BermanCLNORRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/BarfordL03,
author = {Paul Barford and
Lawrence H. Landweber},
title = {Bench-style network research in an Internet Instance Laboratory},
journal = {Comput. Commun. Rev.},
volume = {33},
number = {3},
pages = {21--26},
year = {2003},
url = {https://doi.org/10.1145/956993.956997},
doi = {10.1145/956993.956997},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ccr/BarfordL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/IshidaL93,
author = {Haruhisa Ishida and
Lawrence H. Landweber},
title = {Introduction to the Special Issue on Internetworking},
journal = {Commun. {ACM}},
volume = {36},
number = {8},
pages = {28--30},
year = {1993},
url = {https://doi.org/10.1145/163381.163382},
doi = {10.1145/163381.163382},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/IshidaL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/OlsenL93,
author = {Robert T. Olsen and
Lawrence H. Landweber},
title = {Design and Implementation of a Fast Virtual Channel Establishment
Method for {ATM} Networks},
booktitle = {Proceedings {IEEE} {INFOCOM} '93, The Conference on Computer Communications,
Twelfth Annual Joint Conference of the {IEEE} Computer and Communications
Societies, Networking: Foundation for the Future, San Francisco, CA,
USA, March 28 - April 1, 1993},
pages = {617--627},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/INFCOM.1993.253310},
doi = {10.1109/INFCOM.1993.253310},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/infocom/OlsenL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/Landweber92,
author = {Lawrence H. Landweber},
title = {Computer networking courses at the University of Wisconsin - Madison},
journal = {Comput. Commun. Rev.},
volume = {22},
number = {1},
pages = {52--61},
year = {1992},
url = {https://doi.org/10.1145/141790.141795},
doi = {10.1145/141790.141795},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ccr/Landweber92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcom/QuLL92,
author = {Yaoshuang Qu and
Lawrence H. Landweber and
Miron Livny},
title = {Parallelring: a token ring {LAN} with concurrent multiple transmissions
and message destination removal},
journal = {{IEEE} Trans. Commun.},
volume = {40},
number = {4},
pages = {738--745},
year = {1992},
url = {https://doi.org/10.1109/26.141429},
doi = {10.1109/26.141429},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcom/QuLL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/MukherjeeLF92,
author = {Amarnath Mukherjee and
Lawrence H. Landweber and
Theodore Faber},
title = {Dynamic Time Windows and Generalized Virtual Clock: Combined Closed-Loop/Open-Loop
Congestion Control},
booktitle = {Proceedings {IEEE} {INFOCOM} '92, The Conference on Computer Communications,
Eleventh Annual Joint Conference of the {IEEE} Computer and Communications
Societies, One World through Communications, Florence, Italy, May
4-8, 1992},
pages = {322--332},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/INFCOM.1992.263588},
doi = {10.1109/INFCOM.1992.263588},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/infocom/MukherjeeLF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/FaberLM92,
author = {Theodore Faber and
Lawrence H. Landweber and
Amarnath Mukherjee},
editor = {Deepinder P. Sidhu and
David Oran},
title = {Dynamic Time Windows: Packet Admission control with Feedback},
booktitle = {Proceedings of the Conference on Communications Architecture {\&}
Protocols, {SIGCOMM} 1992, Baltimore, Maryland, USA, August 17-20,
1992},
pages = {124--135},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/144179.144255},
doi = {10.1145/144179.144255},
timestamp = {Wed, 21 Jul 2021 16:09:54 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/FaberLM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/CargilleHHL91,
author = {C. Allan Cargille and
Robert A. Hagens and
Alf Hansen and
Lawrence H. Landweber},
title = {The Internet {X.400} Pilot Project},
journal = {Comput. Networks {ISDN} Syst.},
volume = {23},
number = {1-3},
pages = {97--100},
year = {1991},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/CargilleHHL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/LandweberTY90,
author = {Lawrence H. Landweber and
Mitchell Tasman and
Wengyik Yeong},
title = {An {ISO} {TP4-TP0} Gateway},
journal = {Comput. Commun. Rev.},
volume = {20},
number = {2},
pages = {16--21},
year = {1990},
url = {https://doi.org/10.1145/378570.378610},
doi = {10.1145/378570.378610},
timestamp = {Wed, 21 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ccr/LandweberTY90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/MukherjeeLS90,
author = {Amarnath Mukherjee and
Lawrence H. Landweber and
John C. Strikwerda},
editor = {Gary J. Nutt},
title = {Simultaneous Analysis of Flow and Error Control Strategies With Congestion-Dependent
Errors},
booktitle = {Proceedings of the 1990 {ACM} {SIGMETRICS} conference on Measurement
and modeling of computer systems, University of Colorado, Boulder,
Colorado, USA, May 22-25, 1990},
pages = {86--95},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/98457.98510},
doi = {10.1145/98457.98510},
timestamp = {Fri, 30 Jul 2021 16:13:31 +0200},
biburl = {https://dblp.org/rec/conf/sigmetrics/MukherjeeLS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/MukherjeeLS89,
author = {Amarnath Mukherjee and
Lawrence H. Landweber and
John C. Strikwerda},
editor = {Domenico Ferrari},
title = {Evaluation of Retransmission Strategies in a Local Area Network Environment},
booktitle = {Proceedings of the 1989 {ACM} {SIGMETRICS} international conference
on Measurement and modeling of computer systems, Berkeley, California,
USA, May 23-26, 1989},
pages = {98--107},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/75108.75383},
doi = {10.1145/75108.75383},
timestamp = {Fri, 30 Jul 2021 16:13:33 +0200},
biburl = {https://dblp.org/rec/conf/sigmetrics/MukherjeeLS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcomm/1989,
editor = {Lawrence H. Landweber},
title = {Proceedings of the {ACM} Symposium on Communications Architectures
{\&} Protocols, {SIGCOMM} 1989, Austin, TX, USA, September 19-22,
1989},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/75246},
doi = {10.1145/75246},
isbn = {0-89791-332-9},
timestamp = {Wed, 21 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/1989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccc/Landweber88,
author = {Lawrence H. Landweber},
editor = {Josef Raviv},
title = {{U.S} academic/research networks},
booktitle = {Computer Communication Technologies for the 90's, Proceedings of the
Ninth International Conference on Computer Communication, Tel Aviv,
Israel, October 30 - November 3, 1988},
pages = {419--423},
publisher = {International Council for Computer Communication / Elsevier},
year = {1988},
timestamp = {Fri, 22 Jul 2016 09:50:51 +0200},
biburl = {https://dblp.org/rec/conf/iccc/Landweber88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/SongL88,
author = {Cheng Song and
Lawrence H. Landweber},
editor = {Vinton G. Cerf},
title = {Optimizing bulk data transfer performance: a packet train model},
booktitle = {Proceedings of the {ACM} Symposium on Communications Architectures
and Protocols, {SIGCOMM} 1988, Stanford, CA, USA, August 16-18, 1988},
pages = {134--145},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/52324.52339},
doi = {10.1145/52324.52339},
timestamp = {Wed, 21 Jul 2021 16:09:54 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/SongL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cm/LandweberJF86,
author = {Lawrence H. Landweber and
Dennis M. Jennings and
Ira Fuchs},
title = {Research computer networks and their interconnection},
journal = {{IEEE} Commun. Mag.},
volume = {24},
number = {6},
pages = {5--17},
year = {1986},
url = {https://doi.org/10.1109/MCOM.1986.1093103},
doi = {10.1109/MCOM.1986.1093103},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cm/LandweberJF86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/AndersonL85,
author = {David P. Anderson and
Lawrence H. Landweber},
editor = {William Lidinsky and
Bart W. Stuck},
title = {A grammar-based methodology for protocol specification and implementation},
booktitle = {Proceedings of the Ninth Symposium on Data Communications, {SIGCOMM}
1985, Whistler Moutain, British Columbia, Canada, September 10-12,
1985},
pages = {63--70},
publisher = {{ACM}},
year = {1985},
url = {https://doi.org/10.1145/319056.319006},
doi = {10.1145/319056.319006},
timestamp = {Wed, 21 Jul 2021 16:09:54 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/AndersonL85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/AndersonL84,
author = {David P. Anderson and
Lawrence H. Landweber},
editor = {Yechiam Yemini and
Robert E. Strom and
Shaula Yemini},
title = {Protocol Specification by Real-Time Attribute Grammars},
booktitle = {Protocol Specification, Testing and Verification IV, Proceedings of
the {IFIP} {WG6.1} Fourth International Workshop on Protocol Specification,
Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984},
pages = {457--465},
publisher = {North-Holland},
year = {1984},
timestamp = {Tue, 25 Feb 2003 15:13:25 +0100},
biburl = {https://dblp.org/rec/conf/pstv/AndersonL84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1984,
editor = {Ken Kennedy and
Mary S. Van Deusen and
Larry Landweber},
title = {Conference Record of the Eleventh Annual {ACM} Symposium on Principles
of Programming Languages, Salt Lake City, Utah, USA, January 1984},
publisher = {{ACM} Press},
year = {1984},
url = {http://dl.acm.org/citation.cfm?id=800017},
isbn = {0-89791-125-3},
timestamp = {Mon, 21 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/1984.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/LandweberLNS83,
author = {Larry Landweber and
Michael J. Litzkow and
Donald Neuhengen and
M. Soloman},
editor = {David C. Wood and
Simon S. Lam},
title = {Architecture of the {CSNET} name server},
booktitle = {Proceedings of the symposium on Communications Architectures {\&}
Protocols, {SIGCOMM} 1983, Austin, Texas, USA, March 8-9, 1983},
pages = {146--153},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/1035237.1035268},
doi = {10.1145/1035237.1035268},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/LandweberLNS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1983,
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
publisher = {{ACM} Press},
year = {1983},
url = {http://dl.acm.org/citation.cfm?id=567067},
isbn = {0-89791-090-7},
timestamp = {Mon, 21 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/1983.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Landweber82,
author = {Lawrence H. Landweber},
title = {The Computer Science Network},
journal = {{AI} Mag.},
volume = {3},
number = {4},
pages = {40--41},
year = {1982},
url = {https://ojs.aaai.org/index.php/aimagazine/article/view/381},
timestamp = {Wed, 06 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/Landweber82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/SolomonLN82,
author = {Marvin H. Solomon and
Lawrence H. Landweber and
Donald Neuhengen},
title = {The {CSNET} Name Server},
journal = {Comput. Networks},
volume = {6},
number = {3},
pages = {161--172},
year = {1982},
url = {https://doi.org/10.1016/0376-5075(82)90095-2},
doi = {10.1016/0376-5075(82)90095-2},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/SolomonLN82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Landweber82,
author = {Lawrence H. Landweber},
title = {{CSNET:} a tool for researchers in theoretical computer science},
journal = {{SIGACT} News},
volume = {14},
number = {3},
pages = {21--22},
year = {1982},
url = {https://doi.org/10.1145/990511.990512},
doi = {10.1145/990511.990512},
timestamp = {Fri, 30 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/Landweber82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/berkeley/SolomonLN82,
author = {Marvin H. Solomon and
Lawrence H. Landweber and
Donald Neuhengen},
title = {The Design of the {CSNET} Name Server},
booktitle = {Proceedings of the Sixth Berkeley Workshop on Distributed Data Management
and Computer Networks, Asilomar, February 16-19, 1982},
pages = {311--327},
publisher = {Technical Information Department, Lawrence Berkeley Laboratory, University
of California, Berkeley {CA}},
year = {1982},
timestamp = {Sat, 03 Aug 2019 18:08:49 +0200},
biburl = {https://dblp.org/rec/conf/berkeley/SolomonLN82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compcon/LandweberS82,
author = {Lawrence H. Landweber and
Marvin H. Solomon},
title = {Use of Multiple Networks in {CSNET}},
booktitle = {COMPCON'82, Digest of Papers, Twenty-Fourth {IEEE} Computer Society
International Conference, San Francisco, California, USA, February
22-25, 1982},
pages = {398--402},
publisher = {{IEEE} Computer Society},
year = {1982},
timestamp = {Tue, 20 Jun 2006 14:09:50 +0200},
biburl = {https://dblp.org/rec/conf/compcon/LandweberS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC14,
editor = {Harry R. Lewis and
Barbara B. Simons and
Walter A. Burkhard and
Lawrence H. Landweber},
title = {Proceedings of the 14th Annual {ACM} Symposium on Theory of Computing,
May 5-7, 1982, San Francisco, California, {USA}},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800070},
doi = {10.1145/800070},
isbn = {0-89791-067-2},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/STOC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LandweberLR81,
author = {Lawrence H. Landweber and
Richard J. Lipton and
Edward L. Robertson},
title = {On the Structure of Sets in {NP} and Other Complexity Classes},
journal = {Theor. Comput. Sci.},
volume = {15},
pages = {181--200},
year = {1981},
url = {https://doi.org/10.1016/0304-3975(81)90069-4},
doi = {10.1016/0304-3975(81)90069-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LandweberLR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/Landweber79,
author = {Larry Landweber},
title = {Theory Net: An electronic mail system},
booktitle = {Proceedings of the 1979 Annual Conference, Detroit, Michigan, USA,
October 29-31, 1979},
pages = {158},
publisher = {{ACM}},
year = {1979},
url = {https://doi.org/10.1145/800177.810053},
doi = {10.1145/800177.810053},
timestamp = {Tue, 06 Nov 2018 16:58:26 +0100},
biburl = {https://dblp.org/rec/conf/acm/Landweber79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/LandweberR78,
author = {Lawrence H. Landweber and
Edward L. Robertson},
title = {Properties of Conflict-Free and Persistent Petri Nets},
journal = {J. {ACM}},
volume = {25},
number = {3},
pages = {352--364},
year = {1978},
url = {https://doi.org/10.1145/322077.322079},
doi = {10.1145/322077.322079},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/LandweberR78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BarnesDDLS77,
author = {Bruce H. Barnes and
George I. Davida and
Richard A. DeMillo and
Larry Landweber and
Harold S. Stone},
title = {Theory in the Computer Science and Engineering Curriculum: Why, What,
When, and Where},
journal = {Computer},
volume = {10},
number = {12},
pages = {106--108},
year = {1977},
url = {https://doi.org/10.1109/C-M.1977.217609},
doi = {10.1109/C-M.1977.217609},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BarnesDDLS77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JonesLL77,
author = {Neil D. Jones and
Lawrence H. Landweber and
Y. Edmund Lien},
title = {Complexity of Some Problems in Petri Nets},
journal = {Theor. Comput. Sci.},
volume = {4},
number = {3},
pages = {277--299},
year = {1977},
url = {https://doi.org/10.1016/0304-3975(77)90014-7},
doi = {10.1016/0304-3975(77)90014-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JonesLL77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/HoffmannL76,
author = {Christoph M. Hoffmann and
Lawrence H. Landweber},
title = {A Completeness Theorem for Straight-Line Programs with Structured
Variables},
journal = {J. {ACM}},
volume = {23},
number = {1},
pages = {203--220},
year = {1976},
url = {https://doi.org/10.1145/321921.321940},
doi = {10.1145/321921.321940},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/HoffmannL76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/HoffmanL74,
author = {Christoph M. Hoffmann and
Lawrence H. Landweber},
title = {Axiomatic Equivalence of Programs with Structured Variables},
booktitle = {15th Annual Symposium on Switching and Automata Theory, New Orleans,
Louisiana, USA, October 14-16, 1974},
pages = {78--83},
publisher = {{IEEE} Computer Society},
year = {1974},
url = {https://doi.org/10.1109/SWAT.1974.5},
doi = {10.1109/SWAT.1974.5},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/HoffmanL74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/LandweberR72,
author = {Lawrence H. Landweber and
Edward L. Robertson},
title = {Recursive Properties of Abstract Complexity Classes},
journal = {J. {ACM}},
volume = {19},
number = {2},
pages = {296--308},
year = {1972},
url = {https://doi.org/10.1145/321694.321702},
doi = {10.1145/321694.321702},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/LandweberR72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HoschL72,
author = {Frederick A. Hosch and
Lawrence H. Landweber},
editor = {Maurice Nivat},
title = {Finite Delay Solutions for Sequential Conditions},
booktitle = {Automata, Languages and Programming, Colloquium, Paris, France, July
3-7, 1972},
pages = {45--60},
publisher = {North-Holland, Amsterdam},
year = {1972},
timestamp = {Mon, 08 Jul 2019 10:59:18 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HoschL72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/LandweberR70,
author = {Lawrence H. Landweber and
Edward L. Robertson},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {Recursive Properties of Abstract Complexity Classes (Preliminary Version)},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {31--36},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805146},
doi = {10.1145/800161.805146},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/LandweberR70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BuchiL69,
author = {J. Richard B{\"{u}}chi and
Lawrence H. Landweber},
title = {Definability in the Monadic Second-Order Theory of Successor},
journal = {J. Symb. Log.},
volume = {34},
number = {2},
pages = {166--170},
year = {1969},
url = {https://doi.org/10.2307/2271090},
doi = {10.2307/2271090},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BuchiL69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Landweber69,
author = {Lawrence H. Landweber},
title = {Decision Problems for omega-Automata},
journal = {Math. Syst. Theory},
volume = {3},
number = {4},
pages = {376--384},
year = {1969},
url = {https://doi.org/10.1007/BF01691063},
doi = {10.1007/BF01691063},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Landweber69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Landweber68,
author = {Lawrence H. Landweber},
editor = {A. J. H. Morrel},
title = {Synthesis algorithms for sequential machines},
booktitle = {Information Processing, Proceedings of {IFIP} Congress 1968, Edinburgh,
UK, 5-10 August 1968, Volume 1 - Mathematics, Software},
pages = {300--304},
year = {1968},
timestamp = {Fri, 26 Jul 2019 15:40:04 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Landweber68.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-07-17 21:23 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:
