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 fields papers by Sarah Robbins Scott are about Top fields papers by Irene Marete are about Top journals papers by Jean Kennedy are published in Top fields papers by Bajramshahe Shkodra are about Top journals papers by Alexandra Stratton are published in Top authors papers by Jinlei Liu are co-authored with Top authors papers by Russell J. Niederjohn are co-authored with Top countries impacted by papers by George Aphamis