Christopher Colby
Impact in
- Software top 5%
- Software Testing and Debugging Techniques
- Software Reliability and Analysis Research
-
- Formal Methods in Verification
Papers in
-
- Logic, programming, and type systems 10
- Advanced Software Engineering Methodologies 4
- Security and Verification in Computing 2
-
- Formal Methods in Verification 8
- Co-authors
- Peter Lee (5 shared papers)Lalita Jategaonkar Jagadeesan (5 shared papers)George C. Necula (2 shared papers)M. Pleško (2 shared papers)Patrice Godefroid (2 shared papers)Radha Jagadeesan (4 shared papers)Konstantin Läufer (4 shared papers)Thomas Ball (1 shared paper)
- Journals
- ACM SIGPLAN Notices (2 papers)International Journal of Speech Technology (1 paper)Theoretical Computer Science (1 paper)Journal of Vision (1 paper)Value in Health (1 paper)
- Partner nations
- United StatesFranceGermany
In The Last Decade
Christopher Colby
15 papers receiving 264 citations
Peers
Comparison fields: 5 of 34
- Software 75
- Computational Theory and Mathematics 134
- Hardware and Architecture 54
- Artificial Intelligence 197
- Signal Processing 32
Countries citing papers authored by Christopher Colby
This map shows the geographic impact of Christopher Colby's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Christopher Colby with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Christopher Colby more than expected).
Fields of papers citing papers by Christopher Colby
This network shows the impact of papers produced by Christopher Colby. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Christopher Colby. The network helps show where Christopher Colby may publish in the future.
Co-authors
The 19 scholars most cited alongside Christopher Colby, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2000 | 110 | |
| 2 | 1998 | 46 | |
| 3 | 2000 | 36 | |
| 4 | 1995 | 19 | |
| 5 | 2000 | 16 | |
| 6 | 2020 | 16 | |
| 7 | 1996 | 12 | |
| 8 | 1998 | 9 | |
| 9 | 2002 | 6 | |
| 10 | 2013 | 5 | |
| 11 | Object and concurrency in Triveni: a telecommunication case study in java | 1998 | 5 |
| 12 | Semantics-based program analysis via symbolic composition of transfer relations | 1996 | 4 |
| 13 | 1998 | 2 | |
| 14 | 2010 | 1 | |
| 15 | 2002 | 1 |
About Christopher Colby
Christopher Colby is a scholar working on Artificial Intelligence, Computational Theory and Mathematics, Hardware and Architecture, Software and Computer Networks and Communications, having authored 15 papers that have together received 288 indexed citations. Recurring topics across this work include Logic, programming, and type systems (10 papers), Formal Methods in Verification (8 papers), Advanced Software Engineering Methodologies (4 papers), Parallel Computing and Optimization Techniques (3 papers), Distributed systems and fault tolerance (2 papers), Embedded Systems Design Techniques (2 papers), Security and Verification in Computing (2 papers) and Model-Driven Software Engineering Techniques (2 papers). The work is most often cited by research in Software (75 citations), Computational Theory and Mathematics (134 citations), Hardware and Architecture (54 citations), Artificial Intelligence (197 citations) and Signal Processing (32 citations). Christopher Colby has collaborated with scholars based in United States, France and Germany. Frequent co-authors include Peter Lee, Lalita Jategaonkar Jagadeesan, George C. Necula, M. Pleško, Patrice Godefroid, Radha Jagadeesan, Konstantin Läufer, Thomas Ball, Peter Mataga and Nicholas R. Hall. Their work appears in journals such as ACM SIGPLAN Notices, International Journal of Speech Technology, Theoretical Computer Science, Journal of Vision and Value in Health.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.