Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stephen J. Garland
@article{DBLP:journals/sttt/WinEGKL04,
author = {Toh Ne Win and
Michael D. Ernst and
Stephen J. Garland and
Dilsun Kirli Kaynar and
Nancy A. Lynch},
title = {Using simulated execution in verifying distributed algorithms},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {1},
pages = {67--76},
year = {2004},
url = {https://doi.org/10.1007/s10009-003-0126-5},
doi = {10.1007/S10009-003-0126-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/WinEGKL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/WinEGKL03,
author = {Toh Ne Win and
Michael D. Ernst and
Stephen J. Garland and
Dilsun Kirli Kaynar and
Nancy A. Lynch},
editor = {Lenore D. Zuck and
Paul C. Attie and
Agostino Cortesi and
Supratik Mukhopadhyay},
title = {Using Simulated Execution in Verifying Distributed Algorithms},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 4th International
Conference, {VMCAI} 2003, New York, NY, USA, January 9-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2575},
pages = {283--297},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36384-X\_23},
doi = {10.1007/3-540-36384-X\_23},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/WinEGKL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BogdanovGL02,
author = {Andrej Bogdanov and
Stephen J. Garland and
Nancy A. Lynch},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {Mechanical Translation of {I/O} Automaton Specifications into First-Order
Logic},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {364--368},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_24},
doi = {10.1007/3-540-36135-9\_24},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/BogdanovGL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/LehmanGT98,
author = {Li{-}Wei H. Lehman and
Stephen J. Garland and
David L. Tennenhouse},
title = {Active Reliable Multicast},
booktitle = {Proceedings {IEEE} {INFOCOM} '98, The Conference on Computer Communications,
Seventeenth Annual Joint Conference of the {IEEE} Computer and Communications
Societies, Gateway to the 21st Century, San Francisco, CA, USA, March
29 - April 2, 1998},
pages = {581--589},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/INFCOM.1998.665078},
doi = {10.1109/INFCOM.1998.665078},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/infocom/LehmanGT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/PetrovPGLL96,
author = {Tsvetomir P. Petrov and
Anna Pogosyants and
Stephen J. Garland and
Victor Luchangco and
Nancy A. Lynch},
editor = {Reinhard Gotzhein and
Jan Bredereke},
title = {Computer-Assisted Verification of an Algorithm for Concurrent Timestamps},
booktitle = {Formal Description Techniques {IX:} Theory, application and tools,
{IFIP} {TC6} {WG6.1} International Conference on Formal Description
Techniques {IX} / Protocol Specification, Testing and Verification
XVI, Kaiserslautern, Germany, 8-11 October 1996},
series = {{IFIP} Conference Proceedings},
volume = {69},
pages = {29--44},
publisher = {Chapman {\&} Hall},
year = {1996},
timestamp = {Fri, 29 Oct 2004 12:58:31 +0200},
biburl = {https://dblp.org/rec/conf/forte/PetrovPGLL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LuchangcoSGL94,
author = {Victor Luchangco and
Ekrem S{\"{o}}ylemez and
Stephen J. Garland and
Nancy A. Lynch},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Verifying timing properties of concurrent algorithms},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {259--273},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/LuchangcoSGL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/GuttagHGJMW93,
author = {John V. Guttag and
James J. Horning and
Stephen J. Garland and
Kevin D. Jones and
A. Modet and
Jeannette M. Wing},
title = {Larch: Languages and Tools for Formal Specification},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4612-2704-5},
doi = {10.1007/978-1-4612-2704-5},
isbn = {978-1-4612-7636-4},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/mcs/GuttagHGJMW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SaxeHGG93,
author = {James B. Saxe and
James J. Horning and
John V. Guttag and
Stephen J. Garland},
title = {Using Transformations and Verification in Circuit Design},
journal = {Formal Methods Syst. Des.},
volume = {3},
number = {3},
pages = {181--209},
year = {1993},
url = {https://doi.org/10.1007/BF01384073},
doi = {10.1007/BF01384073},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/SaxeHGG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Sogaard-AndersenGGLP93,
author = {J{\o}rgen F. S{\o}gaard{-}Andersen and
Stephen J. Garland and
John V. Guttag and
Nancy A. Lynch and
Anna Pogosyants},
editor = {Costas Courcoubetis},
title = {Computer-Assisted Simulation Proofs},
booktitle = {Computer Aided Verification, 5th International Conference, {CAV} '93,
Elounda, Greece, June 28 - July 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {697},
pages = {305--319},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56922-7\_25},
doi = {10.1007/3-540-56922-7\_25},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Sogaard-AndersenGGLP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcmaster/GarlandGH93,
author = {Stephen J. Garland and
John V. Guttag and
James J. Horning},
editor = {Peter E. Lauer},
title = {An Overview of Larch},
booktitle = {Functional Programming, Concurrency, Simulation and Automated Reasoning:
International Lecture Series 1991-1992, McMaster University, Hamilton,
Ontario, Canada},
series = {Lecture Notes in Computer Science},
volume = {693},
pages = {329--348},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56883-2\_15},
doi = {10.1007/3-540-56883-2\_15},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/mcmaster/GarlandGH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/YelickG92,
author = {Katherine A. Yelick and
Stephen J. Garland},
editor = {Deepak Kapur},
title = {A Parallel Completion Procedure for Term Rewriting Systems},
booktitle = {Automated Deduction - CADE-11, 11th International Conference on Automated
Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {607},
pages = {109--123},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55602-8\_159},
doi = {10.1007/3-540-55602-8\_159},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/YelickG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-2/SaxeGGH92,
author = {James B. Saxe and
Stephen J. Garland and
John V. Guttag and
James J. Horning},
editor = {J{\o}rgen Staunstrup and
Robin Sharp},
title = {Using Transformations and Verification in Ciruit Design},
booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5}
Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January
1992},
series = {{IFIP} Transactions},
volume = {{A-5}},
pages = {1--25},
publisher = {North-Holland},
year = {1992},
timestamp = {Tue, 19 Feb 2002 13:35:53 +0100},
biburl = {https://dblp.org/rec/conf/ifip10-2/SaxeGGH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/larch/SaxeGHG92,
author = {James B. Saxe and
John V. Guttag and
James J. Horning and
Stephen J. Garland},
editor = {Ursula Martin and
Jeannette M. Wing},
title = {Using Transformations and Verification in Circuit Design},
booktitle = {First International Workshop on Larch, Proceedings of the first First
International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
July 1992},
series = {Workshops in Computing},
pages = {201--226},
publisher = {Springer},
year = {1992},
timestamp = {Thu, 20 Feb 2003 11:29:44 +0100},
biburl = {https://dblp.org/rec/conf/larch/SaxeGHG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcd/StaunstrupGG92,
author = {J{\o}rgen Staunstrup and
Stephen J. Garland and
John V. Guttag},
editor = {Victoria Stavridou and
Thomas F. Melham and
Raymond T. Boute},
title = {Mechanized Verification of Circuit Descriptions Using the Larch Prover},
booktitle = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
10.2 International Conference on Theorem Provers in Circuit Design:
Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
June 1992, Proceedings},
series = {{IFIP} Transactions},
volume = {{A-10}},
pages = {277--299},
publisher = {North-Holland},
year = {1992},
timestamp = {Mon, 25 Feb 2002 11:36:44 +0100},
biburl = {https://dblp.org/rec/conf/tpcd/StaunstrupGG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GarlandGH90,
author = {Stephen J. Garland and
John V. Guttag and
James J. Horning},
title = {Debugging Larch Shared Language Specifications},
journal = {{IEEE} Trans. Software Eng.},
volume = {16},
number = {9},
pages = {1044--1057},
year = {1990},
url = {https://doi.org/10.1109/32.58789},
doi = {10.1109/32.58789},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/GarlandGH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/GarlandG90,
author = {Stephen J. Garland and
John V. Guttag},
editor = {Manfred Broy and
Cliff B. Jones},
title = {Using {LP} to Debug Specifications},
booktitle = {Programming concepts and methods: Proceedings of the {IFIP} Working
Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
Sea of Galilee, Israel, 2-5 April, 1990},
pages = {369--386},
publisher = {North-Holland},
year = {1990},
timestamp = {Sat, 26 Dec 2020 18:17:05 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/GarlandG90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/StaunstrupGG89,
author = {J{\o}rgen Staunstrup and
Stephen J. Garland and
John V. Guttag},
editor = {Joseph Sifakis},
title = {Localized Verification of Circuit Descriptions},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {349--364},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_29},
doi = {10.1007/3-540-52148-8\_29},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/StaunstrupGG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/GarlandG89,
author = {Stephen J. Garland and
John V. Guttag},
editor = {Nachum Dershowitz},
title = {An Overview of LP, The Larch Power},
booktitle = {Rewriting Techniques and Applications, 3rd International Conference,
RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {355},
pages = {137--151},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51081-8\_105},
doi = {10.1007/3-540-51081-8\_105},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/GarlandG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GarlandG88,
author = {Stephen J. Garland and
John V. Guttag},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {{LP:} The Larch Prover},
booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois,
USA, May 23-26, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {310},
pages = {748--749},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0012879},
doi = {10.1007/BFB0012879},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/GarlandG88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GarlandG88,
author = {Stephen J. Garland and
John V. Guttag},
editor = {Jeanne Ferrante and
Peter Mager},
title = {Inductive Methods for Reasoning about Abstract Data Types},
booktitle = {Conference Record of the Fifteenth Annual {ACM} Symposium on Principles
of Programming Languages, San Diego, California, USA, January 10-13,
1988},
pages = {219--228},
publisher = {{ACM} Press},
year = {1988},
url = {https://doi.org/10.1145/73560.73579},
doi = {10.1145/73560.73579},
timestamp = {Thu, 16 Sep 2021 11:02:28 +0200},
biburl = {https://dblp.org/rec/conf/popl/GarlandG88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/YoungGPR86,
author = {Frank H. Young and
Stephen J. Garland and
Robert Poland and
David C. Rine},
editor = {Lawrence A. Jehn and
Larry A. Crum},
title = {Advanced placement in Computer Science (panel session): college level
computer science in the high schools},
booktitle = {Proceedings of the 14th {ACM} Annual Conference on Computer Science,
Cincinnati, Ohio, USA, 1986},
pages = {393},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/324634.325463},
doi = {10.1145/324634.325463},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acm/YoungGPR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/RineWG83,
author = {David C. Rine and
J. R. Jefferson Wadkins and
Stephen J. Garland},
editor = {Larry K. Cottrell and
Sheau{-}Dong Lang and
A. Joe Turner},
title = {Advanced placement program in computer science(Panel Session)},
booktitle = {Proceedings of the 14th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 1983, Orlando, FL, USA, February 17-18, 1983},
pages = {204},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/800038.801047},
doi = {10.1145/800038.801047},
timestamp = {Wed, 29 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/RineWG83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigcse/GarlandM79,
author = {Stephen J. Garland and
A. Kent Morton},
title = {A new master's degree program at Dartmouth College},
journal = {{ACM} {SIGCSE} Bull.},
volume = {11},
number = {4},
pages = {25--26},
year = {1979},
url = {https://doi.org/10.1145/988938.988942},
doi = {10.1145/988938.988942},
timestamp = {Tue, 30 Mar 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigcse/GarlandM79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GarlandL73,
author = {Stephen J. Garland and
David C. Luckham},
title = {Program Schemes, Recursion Schemes, and Formal Languages},
journal = {J. Comput. Syst. Sci.},
volume = {7},
number = {2},
pages = {119--160},
year = {1973},
url = {https://doi.org/10.1016/S0022-0000(73)80040-6},
doi = {10.1016/S0022-0000(73)80040-6},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/GarlandL73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Garland72,
author = {Stephen J. Garland},
title = {Generalized Interpolation Theorems},
journal = {J. Symb. Log.},
volume = {37},
number = {2},
pages = {343--351},
year = {1972},
url = {https://doi.org/10.2307/2272977},
doi = {10.2307/2272977},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Garland72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/praapr/GarlandL72,
author = {Stephen J. Garland and
David C. Luckham},
title = {Translating recursion schemes into program schemes},
booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs,
Las Cruces, New Mexico, USA, January 6-7, 1972},
pages = {83--96},
publisher = {{ACM}},
year = {1972},
url = {https://doi.org/10.1145/800235.807075},
doi = {10.1145/800235.807075},
timestamp = {Thu, 24 Feb 2022 14:21:36 +0100},
biburl = {https://dblp.org/rec/conf/praapr/GarlandL72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/GarlandL72,
author = {Stephen J. Garland and
David C. Luckham},
editor = {Patrick C. Fischer and
H. Paul Zeiger and
Jeffrey D. Ullman and
Arnold L. Rosenberg},
title = {On the Equivalence of Schemes},
booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1972, Denver, Colorado, {USA}},
pages = {65--72},
publisher = {{ACM}},
year = {1972},
url = {https://doi.org/10.1145/800152.804897},
doi = {10.1145/800152.804897},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/GarlandL72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/GarlandK62,
author = {Stephen J. Garland and
Anthony W. Knapp},
title = {Algorithm 99: Evaluation of Jacobi symbol},
journal = {Commun. {ACM}},
volume = {5},
number = {6},
pages = {345--346},
year = {1962},
url = {https://doi.org/10.1145/367766.368172},
doi = {10.1145/367766.368172},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/GarlandK62.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:41 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:
