Christopher Colby
About
Christopher Colby has authored 10 papers that have received a total of 135 indexed citations.
This includes 8 papers in Artificial Intelligence, 7 papers in Computational Theory and Mathematics and 3 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (8 papers), Formal Methods in Verification (7 papers) and Advanced Software Engineering Methodologies (3 papers). Christopher Colby is often cited by papers focused on Logic, programming, and type systems (8 papers), Formal Methods in Verification (7 papers) and Advanced Software Engineering Methodologies (3 papers) and collaborates with scholars based in United States, Germany and France. Christopher Colby's co-authors include Lalita Jategaonkar Jagadeesan, Konstantin Läufer, Radha Jagadeesan, Peter Lee and George C. Necula and has published in prestigious journals such as Journal of Vision, Value in Health and Theoretical Computer Science.
In The Last Decade
side by side view
Countries citing papers authored by Christopher Colby
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Corey Henderson Breakdown of academic impact, for papers by Rose Gabert Breakdown of academic impact, for papers by Yi-Shin Lin Breakdown of academic impact, for papers by Kate Exley Breakdown of academic impact, for papers by G. Nowak Breakdown of academic impact, for papers by Rodney Hilton Breakdown of academic impact, for papers by A Leme Breakdown of academic impact, for papers by Morris S. Viteles