Allen Van Gelder
About
Allen Van Gelder has authored 63 papers that have received a total of 2.4k indexed citations.
This includes 27 papers in Artificial Intelligence, 26 papers in Computational Theory and Mathematics and 12 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (19 papers), Formal Methods in Verification (19 papers) and Logic, Reasoning, and Knowledge (15 papers). Allen Van Gelder is often cited by papers focused on Logic, programming, and type systems (19 papers), Formal Methods in Verification (19 papers) and Logic, Reasoning, and Knowledge (15 papers) and collaborates with scholars based in United States, Canada and Australia. Allen Van Gelder's co-authors include Jane Wilhelms, Jeffrey D. Ullman, Fahiem Bacchus, John S. Schlipf and Alex Pang and has published in prestigious journals such as Communications of the ACM, AIAA Journal and ACM Transactions on Graphics
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Suman Kumar Dhar Top countries impacted by papers by Michele Spoont Top countries impacted by papers by Marc Lenoir Top countries impacted by papers by Yongjun Chen Top journals papers by H. Eibl are published in Top fields papers by Randolph H. Steadman are about Top countries impacted by papers by Truls Johannessen Top journals papers by Elena Tomba are published in