Curtis Clifton
About
Curtis Clifton has authored 9 papers that have received a total of 151 indexed citations.
This includes 7 papers in Artificial Intelligence, 4 papers in Information Systems and 2 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (7 papers), Advanced Software Engineering Methodologies (4 papers) and Software Engineering Research (3 papers). Curtis Clifton is often cited by papers focused on Logic, programming, and type systems (7 papers), Advanced Software Engineering Methodologies (4 papers) and Software Engineering Research (3 papers) and collaborates with scholars based in United States, New Zealand and Germany. Curtis Clifton's co-authors include Gary T. Leavens, Lisa C. Kaczmarczyk, Todd Millstein, Craig Chambers and Michael Haupt and has published in prestigious journals such as ACM SIGPLAN Notices, ACM Transactions on Programming Languages and Systems and Science of Computer Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Pei Fang Tan are about Top authors papers by Ádám Makkai are co-authored with Top fields papers by Federico Vaggi are about Top countries impacted by papers by Charles W. Hendel Top journals papers by Luis Cam are published in Top fields papers by Andreas Kraus are about Top fields papers by A. W. Ingersoll are about Top fields papers by Dimitrios Karmis are about