Stephen J. Garland Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2004
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch: Using simulated execution in verifying distributed algorithms. STTT 6(1): 67-76 (2004)
2003
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch: Using Simulated Execution in Verifying Distributed Algorithms. VMCAI 2003: 283-297
2002
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrej Bogdanov, Stephen J. Garland, Nancy A. Lynch: Mechanical Translation of I/O Automaton Specifications into First-Order Logic. FORTE 2002: 364-368
1998
c15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Li-Wei H. Lehman, Stephen J. Garland, David L. Tennenhouse: Active Reliable Multicast. INFOCOM 1998: 581-589
1996
c14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch: Computer-Assisted Verification of an Algorithm for Concurrent Timestamps. FORTE 1996: 29-44
1994
c13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Victor Luchangco, Ekrem Söylemez, Stephen J. Garland, Nancy A. Lynch: Verifying timing properties of concurrent algorithms. FORTE 1994: 259-273
1993
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James B. Saxe, James J. Horning, John V. Guttag, Stephen J. Garland: Using Transformations and Verification in Circuit Design. Formal Methods in System Design 3(3): 181-209 (1993)
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants: Computer-Assisted Simulation Proofs. CAV 1993: 305-319
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
1992
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Katherine A. Yelick, Stephen J. Garland: A Parallel Completion Procedure for Term Rewriting Systems. CADE 1992: 109-123
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James B. Saxe, Stephen J. Garland, John V. Guttag, James J. Horning: Using Transformations and Verification in Ciruit Design. Designing Correct Circuits 1992: 1-25
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland: Using Transformations and Verification in Circuit Design. Larch 1992: 201-226
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jørgen Staunstrup, Stephen J. Garland, John V. Guttag: Mechanized Verification of Circuit Descriptions Using the Larch Prover. TPCD 1992: 277-299
1990
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephen J. Garland, John V. Guttag, James J. Horning: Debugging Larch Shared Language Specifications. IEEE Trans. Software Eng. 16(9): 1044-1057 (1990)
1989
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jørgen Staunstrup, Stephen J. Garland, John V. Guttag: Localized Verification of Circuit Descriptions. Automatic Verification Methods for Finite State Systems 1989: 349-364
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephen J. Garland, John V. Guttag: An Overview of LP, The Larch Power. RTA 1989: 137-151
1988
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephen J. Garland, John V. Guttag: LP: The Larch Prover. CADE 1988: 748-749
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephen J. Garland, John V. Guttag: Inductive Methods for Reasoning about Abstract Data Types. POPL 1988: 219-228
1986
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frank H. Young, Stephen J. Garland, Robert Poland, David C. Rine: Advanced placement in Computer Science (panel session): college level computer science in the high schools. ACM Conference on Computer Science 1986: 393
1973
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephen J. Garland, David C. Luckham: Program Schemes, Recursion Schemes, and Formal Languages. J. Comput. Syst. Sci. 7(2): 119-160 (1973)
1972
j2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephen J. Garland: Generalized Interpolation Theorems. J. Symb. Log. 37(2): 343-351 (1972)
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephen J. Garland, David C. Luckham: On the Equivalence of Schemes. STOC 1972: 65-72
1962
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephen J. Garland, Anthony W. Knapp: Algorithm 99: Evaluation of Jacobi symbol. Commun. ACM 5(6): 345-346 (1962)

Coauthor Index

1Andrej Bogdanov
[c16]
2Michael D. Ernst
[j6] [c17]
3John V. Guttag
[j5] [c12] [c11] [c9] [c8] [c7] [j4] [c6] [c5] [c4] [c3]
4James J. Horning (Jim Horning)
[j5] [c11] [c9] [c8] [j4]
5Dilsun Kirli Kaynar
[j6] [c17]
6Anthony W. Knapp
[j1]
7Li-Wei H. Lehman
[c15]
8Victor Luchangco
[c14] [c13]
9David C. Luckham
[j3] [c1]
10Nancy A. Lynch
[j6] [c17] [c16] [c14] [c13] [c12]
11Tsvetomir P. Petrov
[c14]
12Anna Pogosyants
[c14] [c12]
13Robert Poland
[c2]
14David C. Rine
[c2]
15James B. Saxe
[j5] [c9] [c8]
16Jørgen Staunstrup
[c7] [c6]
17Ekrem Söylemez
[c13]
18Jørgen F. Søgaard-Andersen
[c12]
19David L. Tennenhouse
[c15]
20Toh Ne Win
[j6] [c17]
21Katherine A. Yelick
[c10]
22Frank H. Young
[c2]

Colors in the list of coauthors

Last update Tue May 21 13:56:25 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page