Christopher Colby Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2003
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christopher Colby, Karl Crary, Robert Harper, Peter Lee, Frank Pfenning: Automated techniques for provably safe mobile code. Theor. Comput. Sci. 290(2): 1175-1199 (2003)
2000
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christopher Colby, Peter Lee, George C. Necula: A Proof-Carrying Code Architecture for Java. CAV 2000: 557-560
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline: A certifying compiler for Java. PLDI 2000: 95-107
1998
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol: The Semantics of Triveni: A Process-Algebraic API for Threads + Events. Electr. Notes Theor. Comput. Sci. 14: 107-133 (1998)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol: Objects and Concurrency in Triveni: A Telecommunication Case Study in Java. COOTS 1998: 131-149
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol: Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events. ICCL 1998: 58-67
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan: Automatically Closing Open Reactive Programs. PLDI 1998: 345-357
1996
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christopher Colby, Peter Lee: Trace-Based Program Analysis. POPL 1996: 195-207
1995
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christopher Colby: Analyzing the Communication Topology of Concurrent Programs. PEPM 1995: 202-213
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christopher Colby: Determining Storage Properties of Sequential and Concurrent Programs with Assignment and Structured Data. SAS 1995: 64-81
1991
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christopher Colby, Peter Lee: An Implementation of Parametrized Partial Evaluation. JTASPEFT/WSA 1991: 82-89

Coauthor Index

1Fred Blau
[c8]
2Kenneth Cline
[c8]
3Karl Crary
[j2]
4Patrice Godefroid
[c5]
5Robert Harper
[j2]
6Lalita Jategaonkar Jagadeesan (Lalita Jategaonkar)
[j1] [c7] [c6] [c5]
7Radha Jagadeesan
[j1] [c7] [c6]
8Peter Lee 0001
[j2] [c9] [c8] [c4] [c1]
9Konstantin Läufer
[j1] [c7] [c6]
10George C. Necula
[c9] [c8]
11Frank Pfenning
[j2]
12Mark Plesko
[c8]
13Carlos Puchol
[j1] [c7] [c6]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 23 14:09:52 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page