David E. Muller
- Computational Theory and Mathematics top 0.5%
- semigroups and automata theory 12
- Formal Methods in Verification 9
- Numerical Methods and Algorithms 4
- Software top 5%
- Software Testing and Debugging Techniques 3
- Artificial Intelligence top 2%
- Logic, programming, and type systems 7
- Algorithms and Data Compression 3
- Hardware and Architecture top 5%
-
- Low-power high-performance VLSI design 5
-
- Interconnection Networks and Systems 4
- Co-authors
- Paul E. SchuppF. P. PreparataFranco P. PreparataJesse W. M. DuMondDavid J. KleinA. SaoudiU. HolmR. Beckmann
- Journals
- Theoretical Computer Science (6 papers)Journal of Computer and System Sciences (3 papers)Journal of the ACM (3 papers)
- Partner nations
- United StatesGermanyFrance
In The Last Decade
David E. Muller
42 papers receiving 2.2k citations
Hit Papers
Peers
Comparison fields: 5 of 120
- Computational Theory and Mathematics 967
- Computer Graphics and Computer-Aided Design 176
- Software 98
- Artificial Intelligence 782
- Hardware and Architecture 138
Countries citing papers authored by David E. Muller
This map shows the geographic impact of David E. Muller's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by David E. Muller with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites David E. Muller more than expected).
Fields of papers citing papers by David E. Muller
This network shows the impact of papers produced by David E. Muller. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by David E. Muller. The network helps show where David E. Muller may publish in the future.
Co-authorship network
The 25 scholars most cited alongside David E. Muller, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2021 | 1 | |
| 2 | 2017 | 10 | |
| 3 | Alternative automata-based approaches to probabilistic model checking. | 2014 | 1 |
| 4 | Energy Spectra and Charge Ratios of Atmospheric Muons | 2003 | 1 |
| 5 | Energy Spectra of Electrons and Positrons from 5 to 100 GeV | 1997 | 2 |
| 6 | The Relative Fluxes of Protons and Helium Nuclei up to 100 GeV/n | 1995 | 0 |
| 7 | 1995 | 92 | |
| 8 | 1992 | 2 | |
| 9 | 1992 | 25 | |
| 10 | 1987 | 1 | |
| 11 | 1987 | 115 | |
| 12 | 1985 | 117 | |
| 13 | 1983 | 117 | |
| 14 | 1979 | 51 | |
| 15 | 1978 | 186 | |
| 16 | Reduction of depth of Boolean networks with a fan-in constraint | 1975 | 0 |
| 17 | 1970 | 20 | |
| 18 | 1964 | 1 | |
| 19 | 1959 | 17 | |
| 20 | 1954 | 357 |
About David E. Muller
David E. Muller is a scholar working on Computational Theory and Mathematics, Software and Theoretical Computer Science, having authored 45 papers that have together received 2.5k indexed citations. Recurring topics across this work include semigroups and automata theory (12 papers), Formal Methods in Verification (9 papers), Logic, programming, and type systems (7 papers), Low-power high-performance VLSI design (5 papers), Interconnection Networks and Systems (4 papers), Numerical Methods and Algorithms (4 papers), Software Testing and Debugging Techniques (3 papers) and Algorithms and Data Compression (3 papers). The work is most often cited by research in Computational Theory and Mathematics (967 citations), Computer Graphics and Computer-Aided Design (176 citations) and Software (98 citations). David E. Muller has collaborated with scholars based in United States, Germany and France. Frequent co-authors include Paul E. Schupp, F. P. Preparata, Franco P. Preparata, Jesse W. M. DuMond, David J. Klein, A. Saoudi, U. Holm, R. Beckmann, Salomon Sickert and Kai Jensen. Their work appears in journals such as Theoretical Computer Science, Journal of Computer and System Sciences, Journal of the ACM, IEEE Transactions on Computers and Estuarine Coastal and Shelf Science.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.