Concepedia

David E. Muller

DE

27

Publications

3.9K

Citations

21

H-Index

1954

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

University of Illinois System

Université Paris Cité

Technische Universität Dresden

Urbana University

David E. Muller is an author at University of Illinois Urbana-Champaign specializing in engineering, computer science, and formal methods.

ORCID

Top concepts

Publications per year

1954–2017

27

Publications

27

Application of Boolean algebra to switching circuit design and to error detection

David E. Muller · Transactions of the I R E Professional Group on Electronic Computers · 1954 · 646 citations

A Method for Solving Algebraic Equations Using an Automatic Computer

David E. Muller · Mathematical Tables and Other Aids to Computation · 1956 · 493 citations

, , +7

A method for solving algebraic equations using an automatic computer

David E. Muller · Mathematics of Computation · 1956 · 443 citations · Full text

, , +7

The theory of ends, pushdown automata, and second-order logic

David E. Muller, Paul E. Schupp · Theoretical Computer Science · 1985 · 314 citations

, , +6

Finding the intersection of two convex polyhedra

David E. Muller, F. P. Preparata · Theoretical Computer Science · 1978 · 285 citations

, , +4

Rows per page

1–5 of 27