Stephen J. Garland

2004
23	EE	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
22	EE	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
21	EE	Andrej Bogdanov, Stephen J. Garland, Nancy A. Lynch: Mechanical Translation of I/O Automaton Specifications into First-Order Logic. FORTE 2002: 364-368
1998
20		Li-Wei H. Lehman, Stephen J. Garland, David L. Tennenhouse: Active Reliable Multicast. INFOCOM 1998: 581-589
1996
19		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
18		Victor Luchangco, Ekrem Söylemez, Stephen J. Garland, Nancy A. Lynch: Verifying timing properties of concurrent algorithms. FORTE 1994: 259-273
1993
17		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
16		Stephen J. Garland, John V. Guttag, James J. Horning: An Overview of Larch. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 329-348
15		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)
1992
14		Katherine A. Yelick, Stephen J. Garland: A Parallel Completion Procedure for Term Rewriting Systems. CADE 1992: 109-123
13		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
12		James B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland: Using Transformations and Verification in Circuit Design. Larch 1992: 201-226
11		Jørgen Staunstrup, Stephen J. Garland, John V. Guttag: Mechanized Verification of Circuit Descriptions Using the Larch Prover. TPCD 1992: 277-299
1990
10	EE	Stephen J. Garland, John V. Guttag, James J. Horning: Debugging Larch Shared Language Specifications. IEEE Trans. Software Eng. 16(9): 1044-1057 (1990)
1989
9		Jørgen Staunstrup, Stephen J. Garland, John V. Guttag: Localized Verification of Circuit Descriptions. Automatic Verification Methods for Finite State Systems 1989: 349-364
8		Stephen J. Garland, John V. Guttag: An Overview of LP, The Larch Power. RTA 1989: 137-151
1988
7		Stephen J. Garland, John V. Guttag: LP: The Larch Prover. CADE 1988: 748-749
6		Stephen J. Garland, John V. Guttag: Inductive Methods for Reasoning about Abstract Data Types. POPL 1988: 219-228
1986
5	EE	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
4		Stephen J. Garland, David C. Luckham: Program Schemes, Recursion Schemes, and Formal Languages. J. Comput. Syst. Sci. 7(2): 119-160 (1973)
1972
3		Stephen J. Garland, David C. Luckham: On the Equivalence of Schemes STOC 1972: 65-72
2		Stephen J. Garland: Generalized Interpolation Theorems. J. Symb. Log. 37(2): 343-351 (1972)
1962
1	EE	Stephen J. Garland, Anthony W. Knapp: Algorithm 99: Evaluation of Jacobi symbol. Commun. ACM 5(6): 345-346 (1962)

Coauthor Index

1	Andrej Bogdanov	[21]
2	Michael D. Ernst	[22] [23]
3	John V. Guttag	[6] [7] [8] [9] [10] [11] [12] [13] [15] [16] [17]
4	James J. Horning (Jim Horning)	[10] [12] [13] [15] [16]
5	Dilsun Kirli Kaynar	[22] [23]
6	Anthony W. Knapp	[1]
7	Li-Wei H. Lehman	[20]
8	Victor Luchangco	[18] [19]
9	David C. Luckham	[3] [4]
10	Nancy A. Lynch	[17] [18] [19] [21] [22] [23]
11	Tsvetomir P. Petrov	[19]
12	Anna Pogosyants	[17] [19]
13	Robert Poland	[5]
14	David C. Rine	[5]
15	James B. Saxe	[12] [13] [15]
16	Jørgen F. Søgaard-Andersen	[17]
17	Ekrem Söylemez	[18]
18	Jørgen Staunstrup	[9] [11]
19	David L. Tennenhouse	[20]
20	Toh Ne Win	[22] [23]
21	Katherine A. Yelick	[14]
22	Frank H. Young	[5]

Colors in the list of coauthors