Spiro Michaylov
About
Spiro Michaylov has authored 10 papers that have received a total of 301 indexed citations.
This includes 9 papers in Artificial Intelligence, 4 papers in Computer Networks and Communications and 4 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (7 papers), Formal Methods in Verification (4 papers) and Distributed Constraint Optimization Problems and Algorithms (4 papers). Spiro Michaylov is often cited by papers focused on Logic, programming, and type systems (7 papers), Formal Methods in Verification (4 papers) and Distributed Constraint Optimization Problems and Algorithms (4 papers) and collaborates with scholars based in United States, Australia and Singapore. Spiro Michaylov's co-authors include Peter J. Stuckey, Joxan Jaffar, Nevin Heintze, Roland H. C. Yap and David E. Long and has published in prestigious journals such as ACM SIGPLAN Notices, ACM Transactions on Programming Languages and Systems and The Journal of Logic Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Ryan L. McMillen Top fields papers by Saubhik Sarkar are about Top fields papers by Margreet Worm-Smeitink are about Top fields papers by Matthew B. Rossi are about Top journals papers by Michelle Thorn are published in Top journals papers by R. Skowsky are published in Top journals papers by Stefano Grassi are published in Top fields papers by Hans van Oosterhout are about