Anca Muscholl
About
Anca Muscholl has authored 37 papers that have received a total of 366 indexed citations.
This includes 33 papers in Computational Theory and Mathematics, 20 papers in Artificial Intelligence and 7 papers in Molecular Biology. The topics of these papers are semigroups and automata theory (23 papers), Formal Methods in Verification (13 papers) and Logic, programming, and type systems (12 papers). Anca Muscholl is often cited by papers focused on semigroups and automata theory (23 papers), Formal Methods in Verification (13 papers) and Logic, programming, and type systems (12 papers) and collaborates with scholars based in France, Germany and India. Anca Muscholl's co-authors include Blaise Genest, Luc Segoufin, Thomas Schwentick, Volker Diekert and Mikołaj Bojańczyk and has published in prestigious journals such as Journal of the ACM, Journal of Computer and System Sciences and Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Dipankar Sutradhar are published in Top authors papers by Geoffroy de la Rebière de Pouyade are co-authored with Top journals papers by H. Grünewald are published in Top fields papers by Qianru Wang are about Top authors papers by Khalid Latif are co-authored with Top authors papers by Khair Jadaan are co-authored with Top countries impacted by papers by V. S. Sadavarte Top countries impacted by papers by Hideki Takeuchi