Victor W. Marek
About
Victor W. Marek has authored 55 papers that have received a total of 521 indexed citations.
This includes 44 papers in Artificial Intelligence, 24 papers in Computational Theory and Mathematics and 8 papers in Computer Networks and Communications. The topics of these papers are Logic, Reasoning, and Knowledge (39 papers), Logic, programming, and type systems (20 papers) and Advanced Algebra and Logic (16 papers). Victor W. Marek is often cited by papers focused on Logic, Reasoning, and Knowledge (39 papers), Logic, programming, and type systems (20 papers) and Advanced Algebra and Logic (16 papers) and collaborates with scholars based in United States, Canada and Belgium. Victor W. Marek's co-authors include Mirosław Truszczyński, Marc Denecker, Jeffrey B. Remmel, Walton Sumner and Anil Nerode and has published in prestigious journals such as Communications of the ACM, Artificial Intelligence and Journal of the ACM
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Michael Ebner are about Top authors papers by Ryõ Andõ are co-authored with Top countries impacted by papers by Bertha Patricia Ceballos‐Vázquez Top countries impacted by papers by Richard G. Stanley Top authors papers by Raffaele Marrone are co-authored with Top authors papers by Toshitetsu Hayashi are co-authored with Top fields papers by Minghui Xu are about Top authors papers by Ho Seok Seo are co-authored with