| Year | | Title | BibTeX cite key | |
| Cantu, Bundy, Smaill, Basin |
| |
| |
| Charatonik |
| |
| |
| Charatonik, Dal Zilio, Gordon, Mukhopadhyay, Talbot |
| |
| Charatonik, Georgieva, Maier |
| |
| Charatonik, Gordon, Talbot |
| |
| Charatonik, McAllester, Niwinski, Podelski, Walukiewicz |
| |
| Charatonik, Mukhopadhyay, Podelski |
| |
| 2002 | | Compositional Termination Analysis of Symbolic Forward Analysis
In: Verification, Model Checking, and Abstract Interpretation. Third International Workshop, VMCAI 2002, 109-125 | CharatonikMP2002 | |
| 2002 | | Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP
In: Logic Programming. 18th International Conference, ICLP 2002, 115-129 | CharatonikMP2002a | |
| |
| Charatonik, Podelski, Talbot |
| |
| |
| Chaudhuri, Dimopoulos, Zaroliagis |
| |
| |
| Chu, Plaisted |
| |
| Claus, Hopf, Schwefel (ed.) |
| |
| Cook, Gotsman, Podelski, Rybalchenko, Vardi |
| |
| Cook, Podelski, Rybalchenko |
| |
| Cortier, Ganzinger, Jacquemard, Veanes |
| |
| Cunningham, Gabbay, Ohlbach |
| |
| Cuntz, Freiheit, Kindler |
| |
| Damm, Disch, Hungar, Pang, Pigorsch, Scholl, Waldmann, Wirtz |
| |
| Damm, Pinto, Ratschan |
| |
| Daum, Maus, Schirmer, Seghir |
| |
| de Nivelle |
| |
| de Nivelle, Areces, de Rijke |
| |
| de Nivelle, Baumgartner, Fuchs, Tinelli |
| |
| de Nivelle, Bezem, Hendriks |
| |