| | |
Jim Horning
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 46 |      | James J. Horning: The Development and Writing of "Process Structuring". Dependable and Historic Computing 2011: 267-272 |
| 2010 | ||
| 45 | | Calvin C. Gotlieb, James J. Horning: The work of ACM's awards committee. Commun. ACM 53(4): 5 (2010) |
| 2008 | ||
| 44 | | James J. Horning: Words Matter: Privacy, Security, and Related Terms. ISIPS 2008: 57-62 |
| 43 | | Jim Horning, Peter G. Neumann: Risks of neglecting infrastructure. Commun. ACM 51(6): 112 (2008) |
| 2007 | ||
| 42 | | Jim Horning: Risks of virtual professionalism. Commun. ACM 50(4): 104 (2007) |
| 2005 | ||
| 41 | | Peter J. Denning, Jim Horning, David Lorge Parnas, Lauren Weinstein: Wikipedia risks. Commun. ACM 48(12): 152 (2005) |
| 40 | | Barbara B. Simons, Jim Horning: Risks of technology-oblivious policy. Commun. ACM 48(9): 136 (2005) |
| 2004 | ||
| 39 | | James J. Horning: Coincidental risks. Commun. ACM 47(4): 112 (2004) |
| 2002 | ||
| 38 | | Peter J. Denning, James J. Horning: Risks of linear thinking. Commun. ACM 45(3): 120 (2002) |
| 2001 | ||
| 37 | | James J. Horning: Learning from experience. Commun. ACM 44(7): 112 (2001) |
| 1995 | ||
| 36 | | James J. Horning: The Larch Shared Language: Some Open Problems. COMPASS/ADT 1995: 58-73 |
| 1994 | ||
| 35 | | David Evans, John V. Guttag, James J. Horning, Yang Meng Tan: LCLint: A Tool for Using Specifications to Check Code. SIGSOFT FSE 1994: 87-96 |
| 1993 | ||
| 34 | | Stephen J. Garland, John V. Guttag, James J. Horning: An Overview of Larch. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 329-348 |
| 33 | | 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 | ||
| 32 |  | 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 |
| 31 | | James B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland: Using Transformations and Verification in Circuit Design. Larch 1992: 201-226 |
| 1991 | ||
| 30 | | John V. Guttag, James J. Horning: A Tutorial on LARCH and LCL, A LARCH/C Interface Language. VDM Europe (2) 1991: 1-78 |
| 1990 | ||
| 29 | | Stephen J. Garland, John V. Guttag, James J. Horning: Debugging Larch Shared Language Specifications. IEEE Trans. Software Eng. 16(9): 1044-1057 (1990) |
| 1987 | ||
| 28 | | Andrew Birrell, John V. Guttag, James J. Horning, Roy Levin: Synchronization Primitives for a Multiprocessor: A Formal Specification. SOSP 1987: 94-102 |
| 1986 | ||
| 27 | | John V. Guttag, James J. Horning: Report on the Larch Shared Language. Sci. Comput. Program. 6(2): 103-134 (1986) |
| 26 | | John V. Guttag, James J. Horning: A Larch Shared Language Handbook. Sci. Comput. Program. 6(2): 135-157 (1986) |
| 1985 | ||
| 25 | | James J. Horning: Combining Algebraic and Predicative Specifications in Larch. TAPSOFT, Vol.2 1985: 12-26 |
| 1983 | ||
| 24 | | John V. Guttag, James J. Horning: An Introduction to the Larch Shared Language. IFIP Congress 1983: 809-814 |
| 1982 | ||
| 23 | | John V. Guttag, James J. Horning, Jeannette M. Wing: Some Notes on Putting Formal Specifications to Productive Use. Sci. Comput. Program. 2(1): 53-68 (1982) |
| 1981 | ||
| 22 | | James J. Horning: Issues and Observations. Program Specification 1981: 5-24 |
| 1980 | ||
| 21 | | John V. Guttag, James J. Horning: Formal Specification as a Design Tool. POPL 1980: 251-261 |
| 1978 | ||
| 20 | | James J. Horning: A Case Study in Language Design: Euclid. Program Construction 1978: 125-132 |
| 19 | | 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. Program Construction 1978: 133-163 |
| 18 | | James J. Horning: Verification of Euclid Programs. Program Construction 1978: 164-173 |
| 17 | | James J. Horning: Programming Languages for Reliable Computing Systems. Program Construction 1978: 494-530 |
| 16 | | 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. Acta Inf. 10: 1-26 (1978) |
| 15 | | John V. Guttag, James J. Horning: The Algebraic Specification of Abstract Data Types. Acta Inf. 10: 27-52 (1978) |
| 1977 | ||
| 14 | | Gerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London: Notes on the Design of Euclid. Language Design for Reliable Software 1977: 11-18 |
| 13 | | James J. Horning: Selected Papers from the ACM Conference on Language Design for Reliable Software - Introduction. Commun. ACM 20(8): 539 (1977) |
| 12 | | James J. Horning, David B. Wortman: Software Hut: A Computer Program Engineering Project in the Form of a Game. IEEE Trans. Software Eng. 3(4): 325-330 (1977) |
| 1976 | ||
| 11 | | James J. Horning: Structuring Compiler Development. Compiler Construction 1976: 498-513 |
| 10 | | James J. Horning: What the Compiler Should Tell the User. Compiler Construction 1976: 525-548 |
| 9 | | James J. Horning: LR Grammars and Analysers. Compiler Construction 1976: 85-108 |
| 8 | | James J. Horning: Some Desirable Properties of Data Abstraction Facilities. Conference on Data: Abstraction, Definition and Structure 1976: 60-62 |
| 7 | | James J. Horning: After-dinner speech. Design and Implementation of Programming Languages 1976: 444-445 |
| 1975 | ||
| 6 | | John D. Gannon, James J. Horning: Language Design for Programming Reliability. IEEE Trans. Software Eng. 1(2): 179-191 (1975) |
| 1974 | ||
| 5 | | James J. Horning, Hugh C. Lauer, P. M. Melliar-Smith, Brian Randell: A program structure for error detection and recovery. Symposium on Operating Systems 1974: 171-187 |
| 1973 | ||
| 4 | | James J. Horning, Brian Randell: Process Structuring. ACM Comput. Surv. 5(1): 5-30 (1973) |
| 3 | | T. Anderson, J. Eve, James J. Horning: Efficient LR(1) Parsers. Acta Inf. 2: 12-39 (1973) |
| 1971 | ||
| 2 | | Wilf R. LaLonde, E. S. Lee, James J. Horning: An LALR(k) Parser Generator. IFIP Congress (1) 1971: 513-518 |
| 1 | | James J. Horning: A Procedure for Grammatical Inference. IFIP Congress (1) 1971: 519-523 |
| 1 | T. Anderson | [3] |
| 2 | Andrew Birrell | [28] |
| 3 | Peter J. Denning | [38] [41] |
| 4 | David Evans | [35] |
| 5 | J. Eve | [3] |
| 6 | John D. Gannon | [6] |
| 7 | Stephen J. Garland | [29] [31] [32] [33] [34] |
| 8 | Calvin C. Gotlieb (C. C. Gotlieb) | [45] |
| 9 | John V. Guttag | [15] [16] [19] [21] [23] [24] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] |
| 10 | Wilf R. LaLonde | [2] |
| 11 | Butler W. Lampson | [14] [16] [19] |
| 12 | Hugh C. Lauer | [5] |
| 13 | E. S. Lee | [2] |
| 14 | Roy Levin | [28] |
| 15 | Ralph L. London | [14] [16] [19] |
| 16 | P. M. Melliar-Smith (P. Michael Melliar-Smith) | [5] |
| 17 | James G. Mitchell | [14] [16] [19] |
| 18 | Peter G. Neumann | [43] |
| 19 | David Lorge Parnas | [41] |
| 20 | Gerald J. Popek | [14] [16] [19] |
| 21 | Brian Randell | [4] [5] |
| 22 | James B. Saxe | [31] [32] [33] |
| 23 | Barbara B. Simons (Barbara Simons) | [40] |
| 24 | Yang Meng Tan | [35] |
| 25 | Lauren Weinstein | [41] |
| 26 | Jeannette M. Wing | [23] |
| 27 | David B. Wortman | [12] |
Colors in the list of coauthors
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page