Search the dblp DataBase
John V. Guttag :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
John V. Guttag Abstract Data Type and the Development of Data Structures. [Citation Graph (22, 0)][DBLP ] Commun. ACM, 1977, v:20, n:6, pp:396-404 [Journal ] John V. Guttag , Ellis Horowitz , David R. Musser Abstract Data Types and Software Validation. [Citation Graph (5, 0)][DBLP ] Commun. ACM, 1978, v:21, n:12, pp:1048-1064 [Journal ] John V. Guttag , James J. Horning The Algebraic Specification of Abstract Data Types. [Citation Graph (4, 0)][DBLP ] Acta Inf., 1978, v:10, n:, pp:27-52 [Journal ] Ralph L. London , John V. Guttag , James J. Horning , Butler W. Lampson , James G. Mitchell , Gerald J. Popek Proof Rules for the Programming Language Euclid. [Citation Graph (2, 0)][DBLP ] Acta Inf., 1978, v:10, n:, pp:1-26 [Journal ] John V. Guttag Notes on Type Abstraction (Version 2). [Citation Graph (2, 0)][DBLP ] IEEE Trans. Software Eng., 1980, v:6, n:1, pp:13-23 [Journal ] John V. Guttag , James J. Horning An Introduction to the Larch Shared Language. [Citation Graph (1, 0)][DBLP ] IFIP Congress, 1983, pp:809-814 [Conf ] John V. Guttag , James J. Horning Report on the Larch Shared Language. [Citation Graph (1, 0)][DBLP ] Sci. Comput. Program., 1986, v:6, n:2, pp:103-134 [Journal ] Jørgen Staunstrup , Stephen J. Garland , John V. Guttag Localized Verification of Circuit Descriptions. [Citation Graph (0, 0)][DBLP ] Automatic Verification Methods for Finite State Systems, 1989, pp:349-364 [Conf ] Stephen J. Garland , John V. Guttag LP: The Larch Prover. [Citation Graph (0, 0)][DBLP ] CADE, 1988, pp:748-749 [Conf ] Jørgen F. Søgaard-Andersen , Stephen J. Garland , John V. Guttag , Nancy A. Lynch , Anna Pogosyants Computer-Assisted Simulation Proofs. [Citation Graph (0, 0)][DBLP ] CAV, 1993, pp:305-319 [Conf ] Zeeshan Syed , Daniel Leeds , Dorothy Curtis , John V. Guttag Audio-Visual Tools for Computer-Assisted Diagnosis of Cardiac Disorders. [Citation Graph (0, 0)][DBLP ] CBMS, 2006, pp:207-212 [Conf ] John V. Guttag A few Remarks on Putting Formal Specifications to Productive Use. [Citation Graph (0, 0)][DBLP ] Program Specification, 1981, pp:370-380 [Conf ] John V. Guttag The Larch Approach to Specification (Abstract). [Citation Graph (0, 0)][DBLP ] VDM Europe (1), 1991, pp:10- [Conf ] John V. Guttag , James J. Horning A Tutorial on LARCH and LCL, A LARCH/C Interface Language. [Citation Graph (0, 0)][DBLP ] VDM Europe (2), 1991, pp:1-78 [Conf ] John V. Guttag , Deepak Kapur , David R. Musser Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems. [Citation Graph (0, 0)][DBLP ] ICALP, 1982, pp:300-312 [Conf ] John V. Guttag , Ellis Horowitz , David R. Musser The Design of Data Type Specifications. [Citation Graph (0, 0)][DBLP ] ICSE, 1976, pp:414-420 [Conf ] James B. Saxe , Stephen J. Garland , John V. Guttag , James J. Horning Using Transformations and Verification in Ciruit Design. [Citation Graph (0, 0)][DBLP ] Designing Correct Circuits, 1992, pp:1-25 [Conf ] Ulana Legedza , David Wetherall , John V. Guttag Improving the Performance of Distributed Applications Using Active Networks. [Citation Graph (0, 0)][DBLP ] INFOCOM, 1998, pp:590-599 [Conf ] Godfrey Tan , John V. Guttag The 802.11 MAC protocol leads to inefficient equilibria. [Citation Graph (0, 0)][DBLP ] INFOCOM, 2005, pp:1-11 [Conf ] James B. Saxe , John V. Guttag , James J. Horning , Stephen J. Garland Using Transformations and Verification in Circuit Design. [Citation Graph (0, 0)][DBLP ] Larch, 1992, pp:201-226 [Conf ] Godfrey Tan , John V. Guttag A Locally Coordinated Scatternet Scheduling Algorithm. [Citation Graph (0, 0)][DBLP ] LCN, 2002, pp:293-303 [Conf ] John V. Guttag , Ellis Horowitz , David R. Musser Some Extensions to Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Language Design for Reliable Software, 1977, pp:63-67 [Conf ] Stephen J. Garland , John V. Guttag , James J. Horning An Overview of Larch. [Citation Graph (0, 0)][DBLP ] Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:329-348 [Conf ] Vanu G. Bose , David Wetherall , John V. Guttag Next Century Challenges: RadioActive Networks. [Citation Graph (0, 0)][DBLP ] MOBICOM, 1999, pp:242-248 [Conf ] Asfandyar Qureshi , John V. Guttag Horde: separating network striping policy from mechanism. [Citation Graph (0, 0)][DBLP ] MobiSys, 2005, pp:121-134 [Conf ] Raymie Stata , John V. Guttag Modular Reasoning in the Presence of Subclassing. [Citation Graph (0, 0)][DBLP ] OOPSLA, 1995, pp:200-214 [Conf ] Anant Agarwal , John V. Guttag , Christoforos N. Hadjicostis , Marios C. Papaefthymiou Memory Assignment for Multiprocessor Caches through Grey Coloring. [Citation Graph (0, 0)][DBLP ] PARLE, 1994, pp:351-362 [Conf ] John V. Guttag Notes on Type Abstraction. [Citation Graph (0, 0)][DBLP ] Program Construction, 1978, pp:593-616 [Conf ] Ralph L. London , John V. Guttag , James J. Horning , Butler W. Lampson , James G. Mitchell , Gerald J. Popek Proof Rules for the Programming Language Euclid. [Citation Graph (0, 0)][DBLP ] Program Construction, 1978, pp:133-163 [Conf ] Stephen J. Garland , John V. Guttag Inductive Methods for Reasoning about Abstract Data Types. [Citation Graph (0, 0)][DBLP ] POPL, 1988, pp:219-228 [Conf ] John V. Guttag , James J. Horning Formal Specification as a Design Tool. [Citation Graph (0, 0)][DBLP ] POPL, 1980, pp:251-261 [Conf ] Stephen J. Garland , John V. Guttag An Overview of LP, The Larch Power. [Citation Graph (0, 0)][DBLP ] RTA, 1989, pp:137-151 [Conf ] Eugene Shih , Vladimir Bychkovsky , Dorothy Curtis , John V. Guttag Continuous medical monitoring using wireless microsensors. [Citation Graph (0, 0)][DBLP ] SenSys, 2004, pp:310- [Conf ] John V. Guttag Abstract Data Types and the Development of Data Structures. [Citation Graph (0, 0)][DBLP ] Conference on Data: Abstraction, Definition and Structure, 1976, pp:72- [Conf ] David Evans , John V. Guttag , James J. Horning , Yang Meng Tan LCLint: A Tool for Using Specifications to Check Code. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1994, pp:87-96 [Conf ] Mark T. Vandevoorde , John V. Guttag Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1994, pp:121-127 [Conf ] Andrew Birrell , John V. Guttag , James J. Horning , Roy Levin Synchronization Primitives for a Multiprocessor: A Formal Specification. [Citation Graph (0, 0)][DBLP ] SOSP, 1987, pp:94-102 [Conf ] John V. Guttag Goldilocks and the Three Specifications. [Citation Graph (0, 0)][DBLP ] TAPSOFT, 1993, pp:1-14 [Conf ] Jørgen Staunstrup , Stephen J. Garland , John V. Guttag Mechanized Verification of Circuit Descriptions Using the Larch Prover. [Citation Graph (0, 0)][DBLP ] TPCD, 1992, pp:277-299 [Conf ] Godfrey Tan , John V. Guttag Time-based Fairness Improves Performance in Multi-Rate WLANs. [Citation Graph (0, 0)][DBLP ] USENIX Annual Technical Conference, General Track, 2004, pp:269-282 [Conf ] Godfrey Tan , Massimiliano Poletto , John V. Guttag , M. Frans Kaashoek Role Classification of Hosts Within Enterprise Networks Based on Connection Patterns. [Citation Graph (0, 0)][DBLP ] USENIX Annual Technical Conference, General Track, 2003, pp:15-28 [Conf ] Ulana Legedza , John V. Guttag Using Network-Level Support to Improve Cache Routing. [Citation Graph (0, 0)][DBLP ] Computer Networks, 1998, v:30, n:22-23, pp:2193-2201 [Journal ] David Wetherall , John V. Guttag , David L. Tennenhouse ANTS: Network Services Without the Red Tape. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 1999, v:32, n:4, pp:42-48 [Journal ] James B. Saxe , James J. Horning , John V. Guttag , Stephen J. Garland Using Transformations and Verification in Circuit Design. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 1993, v:3, n:3, pp:181-209 [Journal ] John V. Guttag , James J. Horning A Larch Shared Language Handbook. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1986, v:6, n:2, pp:135-157 [Journal ] John V. Guttag , James J. Horning , Jeannette M. Wing Some Notes on Putting Formal Specifications to Productive Use. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1982, v:2, n:1, pp:53-68 [Journal ] John V. Guttag , Deepak Kapur , David R. Musser On Proving Uniform Termination and Restricted Termination of Rewriting Systems. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1983, v:12, n:1, pp:189-214 [Journal ] Stephen J. Garland , John V. Guttag , James J. Horning Debugging Larch Shared Language Specifications. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1990, v:16, n:9, pp:1044-1057 [Journal ] Asfandyar Qureshi , Jennifer N. Carlisle , John V. Guttag Tavarua: video streaming with WWAN striping. [Citation Graph (0, 0)][DBLP ] ACM Multimedia, 2006, pp:327-336 [Conf ] Application of Machine Learning To Epileptic Seizure Detection. [Citation Graph (, )][DBLP ] Sensor selection for energy-efficient ambulatory medical monitoring. [Citation Graph (, )][DBLP ] Cutting the electric bill for internet-scale systems. [Citation Graph (, )][DBLP ] Long-term time-share guarantees are necessary for wireless LANs. [Citation Graph (, )][DBLP ] Quantifying morphology changes in time series data with skew. [Citation Graph (, )][DBLP ] Prototypical Biological Signals. [Citation Graph (, )][DBLP ] Search in 0.187secs, Finished in 0.190secs