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
Breakdown of academic impact, for papers by Marc Damelin Breakdown of academic impact, for papers by İkbal Şencan Breakdown of academic impact, for papers by John Winstanley Breakdown of academic impact, for papers by N. Wright Breakdown of academic impact, for papers by Xian Bao Breakdown of academic impact, for papers by Philippe Fossier Breakdown of academic impact, for papers by Elisabeth M.‐L. Janssen Breakdown of academic impact, for papers by Sabyasachi Mukhopadhyay