| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1996 | |
|---|---|---|
| 15 |      | Joseph J. Comuzzi, Johnson M. Hart: Program Slicing Using Weakest Preconditions. FME 1996: 557-575 |
| 14 | | Johnson M. Hart, Antonio Pizzarello: A Scalable, Automated Process for Year 2000 System Correction. ICSE 1996: 475-484 |
| 1995 | ||
| 13 | | Johnson M. Hart: Experience with Logical Code Analysis in Software Maintenance. Softw., Pract. Exper. 25(11): 1243-1262 (1995) |
| 1982 | ||
| 12 | | Johnson M. Hart: Permutation Inversions and Multidimensional Cumulative Distribution Functions. Inf. Process. Lett. 14(5): 218-222 (1982) |
| 11 | | Anthony Q. Baxter, Johnson M. Hart: Software Segmented Virtual Memory. Softw., Pract. Exper. 12(2): 185-194 (1982) |
| 1980 | ||
| 10 | | Johnson M. Hart: Derivation Structures for Strictly Context-Sensitive Grammars Information and Control 45(1): 68-89 (1980) |
| 9 | | Johnson M. Hart: Fast recognition of Baxter permutations using syntactical and complete bipartite composite dag's. International Journal of Parallel Programming 9(4): 307-321 (1980) |
| 1979 | ||
| 8 | | Ronald Alter, Johnson M. Hart: Enumerating syntactical graphs and lattices of derivations. International Journal of Parallel Programming 8(4): 261-277 (1979) |
| 1976 | ||
| 7 | | Johnson M. Hart: Right and Left Parses in Phrase-Structure Grammars Information and Control 32(3): 242-262 (1976) |
| 6 | | Johnson M. Hart: The Derivation Language of a Phrase Structure Grammar. J. Comput. Syst. Sci. 12(1): 64-79 (1976) |
| 5 | | Johnson M. Hart: Recursive Generation of Local Adjunct Languages. Mathematical Systems Theory 9(4): 315-326 (1976) |
| 1975 | ||
| 4 | | Johnson M. Hart: Derivation Languages and Syntactical Categories Information and Control 28(3): 204-220 (1975) |
| 1974 | ||
| 3 | | Johnson M. Hart: Acceptors for the Derivation Languages of Phrase-Structure Grammars Information and Control 25(1): 75-92 (1974) |
| 2 | | Johnson M. Hart: Ambiguity and Decision Problems for Local Adjunct Languages. J. Comput. Syst. Sci. 8(1): 8-21 (1974) |
| 1973 | ||
| 1 | | Johnson M. Hart: An Infinite Hierarchy of Linear Local Adjunct Languages Information and Control 23(3): 245-259 (1973) |
| 1 | Ronald Alter | [8] |
| 2 | Anthony Q. Baxter | [11] |
| 3 | Joseph J. Comuzzi | [15] |
| 4 | Antonio Pizzarello | [14] |
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