The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

John V. Guttag: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. Stephen J. Garland, John V. Guttag
    LP: The Larch Prover. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:748-749 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. John V. Guttag
    The Larch Approach to Specification (Abstract). [Citation Graph (0, 0)][DBLP]
    VDM Europe (1), 1991, pp:10- [Conf]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. Godfrey Tan, John V. Guttag
    A Locally Coordinated Scatternet Scheduling Algorithm. [Citation Graph (0, 0)][DBLP]
    LCN, 2002, pp:293-303 [Conf]
  22. 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]
  23. 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]
  24. Vanu G. Bose, David Wetherall, John V. Guttag
    Next Century Challenges: RadioActive Networks. [Citation Graph (0, 0)][DBLP]
    MOBICOM, 1999, pp:242-248 [Conf]
  25. Asfandyar Qureshi, John V. Guttag
    Horde: separating network striping policy from mechanism. [Citation Graph (0, 0)][DBLP]
    MobiSys, 2005, pp:121-134 [Conf]
  26. Raymie Stata, John V. Guttag
    Modular Reasoning in the Presence of Subclassing. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1995, pp:200-214 [Conf]
  27. 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]
  28. John V. Guttag
    Notes on Type Abstraction. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:593-616 [Conf]
  29. 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]
  30. 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]
  31. John V. Guttag, James J. Horning
    Formal Specification as a Design Tool. [Citation Graph (0, 0)][DBLP]
    POPL, 1980, pp:251-261 [Conf]
  32. Stephen J. Garland, John V. Guttag
    An Overview of LP, The Larch Power. [Citation Graph (0, 0)][DBLP]
    RTA, 1989, pp:137-151 [Conf]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. John V. Guttag
    Goldilocks and the Three Specifications. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:1-14 [Conf]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]

  50. Application of Machine Learning To Epileptic Seizure Detection. [Citation Graph (, )][DBLP]


  51. Sensor selection for energy-efficient ambulatory medical monitoring. [Citation Graph (, )][DBLP]


  52. Cutting the electric bill for internet-scale systems. [Citation Graph (, )][DBLP]


  53. Long-term time-share guarantees are necessary for wireless LANs. [Citation Graph (, )][DBLP]


  54. Quantifying morphology changes in time series data with skew. [Citation Graph (, )][DBLP]


  55. Prototypical Biological Signals. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002