Stephen J. Garland - Concepedia

Author

Stephen J. Garland

Massachusetts Institute of Technology

Also Known As

S. J. Garland, S.J. Garland, Stephen J. Garland

Publications

Citations

H-Index

Concepts

All Affiliations

Massachusetts Institute of Technology

About

Stephen J. Garland is an author at Massachusetts Institute of Technology specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	7	7	520
2	Computer Science	5	5	282
3	Computer Engineering	4	4	170
4	Communication	1	1	202
5	Systems Engineering	1	1	202

Stephen J. Garland

Publications

535

Citations

H-Index

Page 1

	Year	Citations
Active reliable multicast Li-wei H. Lehman, Stephen J. Garland, David L. Tennenhouse Multicast DataFault-tolerant NetworkEngineeringEdge ComputingCloud Computing	2002	202
Program schemes, recursion schemes, and formal languages Stephen J. Garland, D Luckham Journal of Computer and System Sciences Declarative ProgrammingEngineeringProgram AnalysisAutomated ReasoningFormal Methods	1973	109
Debugging Larch shared language specifications Stephen J. Garland, John V. Guttag, J. J. Horning IEEE Transactions on Software Engineering EngineeringVerificationLanguage InteroperabilityComputer-aided VerificationSoftware Engineering	1990	62
PAN: a high-performance active network node supporting multiple mobile code systems Erik Nygren, Stephen J. Garland, M. Frans Kaashoek Active NetworksEngineeringHigh Performance Computer NetworkSoftware-defined NetworkingNetwork Nodes	1999	60
Inductive methods for reasoning about abstract data types Stephen J. Garland, John V. Guttag Software MaintenanceEngineeringType TheorySoftware EngineeringSoftware Analysis	1988	39
Using transformations and verification in circuit design James B. Saxe, James J. Horning, John V. Guttag, Formal Methods in System Design EngineeringCircuit DesignVerificationFormal MethodsComputer Engineering	1993	36
Verifying timing properties of concurrent algorithms. Victor Luchangco, Ekrem Söylemez, Stephen J. Garland,	1994	15
Mechanized Verification of Circuit Descriptions Using the Larch Prover Jørgen Staunstrup, Stephen J. Garland, John V. Guttag EngineeringAutomated ReasoningMechanical VerificationVerificationComputer Engineering	1992	12

Page 1