David E. Muller
About
David E. Muller has authored 33 papers that have received a total of 1.7k indexed citations.
This includes 18 papers in Computational Theory and Mathematics, 7 papers in Artificial Intelligence and 5 papers in Electrical and Electronic Engineering. The topics of these papers are semigroups and automata theory (8 papers), Formal Methods in Verification (7 papers) and Numerical Methods and Algorithms (4 papers). David E. Muller is often cited by papers focused on semigroups and automata theory (8 papers), Formal Methods in Verification (7 papers) and Numerical Methods and Algorithms (4 papers) and collaborates with scholars based in United States, Germany and France. David E. Muller's co-authors include Paul E. Schupp, F. P. Preparata, Franco P. Preparata, R. Beckmann and E. Schneider and has published in prestigious journals such as Communications of the ACM, Mathematics of Computation and Nuclear Physics A
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Paul George are about Top countries impacted by papers by Ryan M. Kramer Top fields papers by Lieve Vits are about Top journals papers by Wei Gong are published in Top fields papers by Fraser A. Januchowski‐Hartley are about Top fields papers by Mark Collinge are about Top journals papers by Austin D. Swafford are published in Top fields papers by Bomin Guo are about