Johnson M. Hart

	1996
13		Joseph J. Comuzzi, Johnson M. Hart: Program Slicing Using Weakest Preconditions. FME 1996: 557-575
12		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)

Coauthor Index

1	Anthony Q. Baxter	[9]
2	Joseph J. Comuzzi	[13]
3	Antonio Pizzarello	[12]

Colors in the list of coauthors