Eric Van Wyk
About
Eric Van Wyk has authored 26 papers that have received a total of 238 indexed citations.
This includes 15 papers in Artificial Intelligence, 14 papers in Software and 13 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (13 papers), Model-Driven Software Engineering Techniques (11 papers) and Logic, programming, and type systems (8 papers). Eric Van Wyk is often cited by papers focused on Formal Methods in Verification (13 papers), Model-Driven Software Engineering Techniques (11 papers) and Logic, programming, and type systems (8 papers) and collaborates with scholars based in United States, Denmark and Portugal. Eric Van Wyk's co-authors include João Paulo Fernandes, Tom Halverson, Neil D. Jones, Pedro Martins and David Lacey and has published in prestigious journals such as Computers & Chemical Engineering, Theoretical Computer Science and ACM SIGPLAN Notices
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Chinyere Augusta Nwajiuba are co-authored with Top countries impacted by papers by Xinyu Cheng Top authors papers by Gurcharn S. Brar are co-authored with Top fields papers by Gordon L. Dugger are about Top fields papers by Magdalena Kulus are about Top countries impacted by papers by Martina Morassi Top authors papers by G. Servizi are co-authored with Top authors papers by T. P. Hilditch are co-authored with