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 authors papers by M. Suresh are co-authored with Top fields papers by Zhaoqing Meng are about Top journals papers by Tatyana V. Balashova are published in Top fields papers by F. Toutounian are about Top authors papers by Hui‐Fang Yang are co-authored with Top journals papers by Sebastián Urquijo are published in Top authors papers by Piotr Krawczyk are co-authored with Top authors papers by Bartolomé J. Almagro are co-authored with