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
Explore authors with similar magnitude of impact
Top authors papers by Yasmina Jraissati are co-authored with Top fields papers by Saurav Verma are about Top fields papers by Imanol Pérez Arribas are about Top fields papers by Martha Kolln are about Top fields papers by Wenbao Hu are about Top fields papers by Margaret B. Strauss are about Top fields papers by Andrew K. Battenberg are about Top fields papers by Jonathan S. Walters are about