Concepedia

Marvin C. Paull

MC

4

Publications

391

Citations

4

H-Index

1968

Active since

Affiliations

Rutgers, The State University of New Jersey(Current)

Marvin C. Paull is an author at Rutgers, The State University of New Jersey specializing in computer science, engineering, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningComputational ComplexityCombinatorial OptimizationSyntaxGrammarLanguageCompilers

Publications per year

1968–1990

4

Publications

4

Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem

John Franco, Marvin C. Paull · Discrete Applied Mathematics · 1983 · 231 citations

Engineering, Davis Putnam Procedure, Automated Reasoning +12

Incremental data-flow analysis algorithms

Barbara G. Ryder, Marvin C. Paull · ACM Transactions on Programming Languages and Systems · 1988 · 94 citations · Full text

Engineering, Software Systems, Software Engineering +23

Structural equivalence of context-free grammars

Marvin C. Paull, Stephen H. Unger · Journal of Computer and System Sciences · 1968 · 50 citations

Syntax, Grammatical Formalism, Computational Linguistics +7

Proving relative lower bounds for incremental algorithms

A. Michael Berman, Marvin C. Paull, BarbaraG. Ryder · Acta Informatica · 1990 · 16 citations

Engineering, Lower Bound, Analysis Of Algorithm +7

Rows per page

1–4 of 4