Christopher Colby

536 total citations
15 papers, 288 citations indexed

About

Christopher Colby is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture. According to data from OpenAlex, Christopher Colby has authored 15 papers receiving a total of 288 indexed citations (citations by other indexed papers that have themselves been cited), including 13 papers in Artificial Intelligence, 8 papers in Computational Theory and Mathematics and 5 papers in Hardware and Architecture. Recurrent topics in Christopher Colby's work include Logic, programming, and type systems (10 papers), Formal Methods in Verification (8 papers) and Advanced Software Engineering Methodologies (4 papers). Christopher Colby is often cited by papers focused on Logic, programming, and type systems (10 papers), Formal Methods in Verification (8 papers) and Advanced Software Engineering Methodologies (4 papers). Christopher Colby collaborates with scholars based in United States, France and Germany. Christopher Colby's co-authors include Peter Lee, Lalita Jategaonkar Jagadeesan, George C. Necula, M. Pleško, Patrice Godefroid, Radha Jagadeesan, Konstantin Läufer, Peter Mataga, Thomas Ball and Nicholas R. Hall and has published in prestigious journals such as Journal of Vision, Theoretical Computer Science and Value in Health.

In The Last Decade

Christopher Colby

15 papers receiving 264 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Christopher Colby United States	8	197	134	75	57	56	15	288
Eduardo Giménez	2	368 1.9×	267 2.0×	46 0.6×	77 1.4×	53 0.9×	2	444
David Rydeheard United Kingdom	6	141 0.7×	90 0.7×	58 0.8×	51 0.9×	50 0.9×	21	213
Patrick Borras France	4	192 1.0×	69 0.5×	79 1.1×	54 0.9×	123 2.2×	5	258
Antony Courtney United States	5	124 0.6×	95 0.7×	29 0.4×	58 1.0×	19 0.3×	5	232
Nishant Sinha United States	13	142 0.7×	139 1.0×	224 3.0×	137 2.4×	153 2.7×	28	418
Walter Dosch Germany	7	152 0.8×	95 0.7×	46 0.6×	49 0.9×	54 1.0×	37	213
Ralf Steinbrüggen Germany	4	224 1.1×	87 0.6×	100 1.3×	66 1.2×	135 2.4×	5	300
Yitzhak Mandelbaum United States	9	170 0.9×	62 0.5×	48 0.6×	103 1.8×	83 1.5×	18	247
Paul Steckler United States	5	202 1.0×	105 0.8×	100 1.3×	38 0.7×	77 1.4×	9	306
Sylvain Conchon France	10	234 1.2×	103 0.8×	63 0.8×	95 1.7×	62 1.1×	20	291

Countries citing papers authored by Christopher Colby

Since Specialization

Citations

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

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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-authorship network of co-authors of Christopher Colby

This figure shows the co-authorship network connecting the top 25 collaborators of Christopher Colby. A scholar is included among the top collaborators of Christopher Colby based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Christopher Colby. Christopher Colby is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

15 of 15 papers shown

Mladenov, Martin, Chih‐Wei Hsu, Vihan Jain, et al.. (2020). Demonstrating Principled Uncertainty Modeling for Recommender Ecosystems with RecSim NG. 591–593. 16 indexed citations

Hall, Nicholas R. & Christopher Colby. (2013). Psychophysical definition of S-cone stimuli in the macaque. Journal of Vision. 13(2). 20–20. 5 indexed citations

Colby, Christopher, et al.. (2010). PCV142 AN APPLICATION OF IMPUTATION TECHNIQUES TO IMPROVE DATA AVAILABILITY FROM ELECTRONIC MEDICAL RECORDS. Value in Health. 13(7). A368–A368. 1 indexed citations

Colby, Christopher, Karl Crary, Robert Harper, Peter Lee, & Frank Pfenning. (2002). Automated techniques for provably safe mobile code. Theoretical Computer Science. 290(2). 1175–1199. 6 indexed citations

Colby, Christopher, et al.. (2002). Design and implementation of Triveni: a process-algebraic API for threads + events. 58–67. 1 indexed citations

Colby, Christopher, et al.. (2000). A certifying compiler for Java. ACM SIGPLAN Notices. 35(5). 95–107. 16 indexed citations

Ball, Thomas, Christopher Colby, Lalita Jategaonkar Jagadeesan, et al.. (2000). Sisl: Several Interfaces, Single Logic. International Journal of Speech Technology. 3(2). 93–108. 36 indexed citations

Colby, Christopher, et al.. (2000). A certifying compiler for Java. 95–107. 110 indexed citations

Colby, Christopher, et al.. (1998). The Semantics of Triveni: A process-Algebraic API for Threads + Events. Electronic Notes in Theoretical Computer Science. 14. 107–133. 2 indexed citations

10.

Colby, Christopher, Patrice Godefroid, & Lalita Jategaonkar Jagadeesan. (1998). Automatically closing open reactive programs. 345–357. 46 indexed citations

11.

Colby, Christopher, Patrice Godefroid, & Lalita Jategaonkar Jagadeesan. (1998). Automatically closing open reactive programs. ACM SIGPLAN Notices. 33(5). 345–357. 9 indexed citations

12.

Colby, Christopher, et al.. (1998). Object and concurrency in Triveni: a telecommunication case study in java. 10–10. 5 indexed citations

13.

Colby, Christopher & Peter Lee. (1996). Semantics-based program analysis via symbolic composition of transfer relations. 4 indexed citations

14.

Colby, Christopher & Peter Lee. (1996). Trace-based program analysis. 195–207. 12 indexed citations

15.

Colby, Christopher. (1995). Analyzing the communication topology of concurrent programs. 202–213. 19 indexed citations

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.

Explore authors with similar magnitude of impact