Orna Kupferman
About
Orna Kupferman has authored 91 papers that have received a total of 2.1k indexed citations.
This includes 81 papers in Computational Theory and Mathematics, 69 papers in Artificial Intelligence and 28 papers in Software. The topics of these papers are Formal Methods in Verification (75 papers), Logic, programming, and type systems (50 papers) and semigroups and automata theory (30 papers). Orna Kupferman is often cited by papers focused on Formal Methods in Verification (75 papers), Logic, programming, and type systems (50 papers) and semigroups and automata theory (30 papers) and collaborates with scholars based in Israel, United States and Austria. Orna Kupferman's co-authors include Moshe Y. Vardi, Thomas A. Henzinger, Udi Boker, Hana Chockler and Benjamin Aminof and has published in prestigious journals such as Journal of the ACM, IEEE Transactions on Software Engineering and Journal of Computer and System Sciences
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by T. Umeda Top countries impacted by papers by R. John Errington Top countries impacted by papers by Stefan Trück Top journals papers by Maria Carmela Piccirillo are published in Top authors papers by Eeva von Willebrand are co-authored with Top countries impacted by papers by James Raftery Top countries impacted by papers by Jens Andersen Top journals papers by Jeff Pawelek are published in