F. Lockwood Morris - Concepedia

Author

F. Lockwood Morris

Also Known As

F. L. Morris, F. Lockwood Morris, F.L. Morris, F.Lockwood Morris

Publications

354

Citations

H-Index

Concepts

All Affiliations

F. Lockwood Morris is an author at Syracuse University specializing in engineering, computer science, and automated reasoning.

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	321
2	Computer Science	4	4	303
3	Computer Engineering	1	1	66
4	Data Science	1	1	25
5	Combinatorial Optimization	1	1	66

F. Lockwood Morris

Publications

321

Citations

H-Index

Page 1

	Year	Citations
Advice on structuring compilers and proving them correct F. Lockwood Morris EngineeringCompiler TechnologyVerificationSoftware EngineeringJohn Mccarthy	1973	129
An Early Program Proof by Alan Turing F. Lockwood Morris, Cliff B. Jones IEEE Annals of the History of Computing EngineeringAutomated ReasoningProof ComplexityVerificationFormal Methods	1984	83
A time- and space-efficient garbage compaction algorithm F. Lockwood Morris Communications of the ACM Cluster ComputingEngineeringComputer ArchitectureComputational ComplexityStorage Structure	1978	66
A generalization of the trie data structure Richard Connelly, F. Lockwood Morris Mathematical Structures in Computer Science Tries AppealsEngineeringSymbolic Data AnalysisType TheoryStructured Data	1995	25
Playing disjunctive sums is polynomial space complete F. Lockwood Morris International Journal of Game Theory EngineeringAutomated ReasoningProof ComplexityAlgebraic CombinatoricsDiscrete Mathematics	1981	18

Page 1