| |
| 1996 | ||
|---|---|---|
| 13 | Joseph J. Comuzzi, Johnson M. Hart: Program Slicing Using Weakest Preconditions. FME 1996: 557-575 | |
| 12 | EE | Johnson M. Hart, Antonio Pizzarello: A Scalable, Automated Process for Year 2000 System Correction. ICSE 1996: 475-484 |
| 1995 | ||
| 11 | Johnson M. Hart: Experience with Logical Code Analysis in Software Maintenance. Softw., Pract. Exper. 25(11): 1243-1262 (1995) | |
| 1982 | ||
| 10 | Johnson M. Hart: Permutation Inversions and Multidimensional Cumulative Distribution Functions. Inf. Process. Lett. 14(5): 218-222 (1982) | |
| 9 | Anthony Q. Baxter, Johnson M. Hart: Software Segmented Virtual Memory. Softw., Pract. Exper. 12(2): 185-194 (1982) | |
| 1980 | ||
| 8 | Johnson M. Hart: Derivation Structures for Strictly Context-Sensitive Grammars Information and Control 45(1): 68-89 (1980) | |
| 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 | Anthony Q. Baxter | [9] |
| 2 | Joseph J. Comuzzi | [13] |
| 3 | Antonio Pizzarello | [12] |