 | 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 |
| |
|
| |
| Charatonik, Podelski, Talbot |
| |
|
| |
| 2002 | | Atomic Set Constraints with Projection
In: Rewriting Techniques and Applications. 13th International Conference, RTA 2002, 311-325 | CharatonikTalbot2002 | |
| 2001 | | The Decidability of Model Checking Mobile Ambients
In: Computer science logic (CSL-01) : 15th International Workshop, CSL 2001, Annual Conference of the EACSL, 339-354 | CharatonikTalbot-csl01 | |
| 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 |
| |
