# | | Year | | Title | Type | |
1 |
| Cantu, Bundy, Smaill, Basin [Cantu, Bundy, Smaill, Srivas, Camilleri] |
| |
1 |
| |
1 |
| Chadha, Plaisted [Chadha] |
| |
3 |
| |
1 |
| Charatonik [Smolka] |
| |
1 |
| Charatonik, Amadio [Amadio, Brim, Jancar, Kretinsky, Kucera] |
| |
1 |
| Charatonik, Dal Zilio, Gordon, Mukhopadhyay, Talbot [Dal Zilio, Gordon, Honsell, Miculan] |
| |
1 |
| Charatonik, Dal Zilio, Gordon, Mukhopadhyay, Talbot [Dal Zilio, Gordon, Mukhopadhyay, Talbot] |
| |
1 |
| Charatonik, Dal Zilio, Gordon, Mukhopadhyay, Talbot [Dal Zilio, Gordon, Talbot] |
| |
1 |
| Charatonik, Georgieva, Maier [Charatonik, Georgieva, Ong] |
| |
1 |
| Charatonik, Gordon, Talbot [Gordon, Talbot, Le Métayer] |
| |
1 |
| Charatonik, McAllester, Niwinski, Podelski, Walukiewicz [McAllester, Niwinski, Walukiewicz, Pratt] |
| |
1 |
| Charatonik, Mukhopadhyay, Podelski [Cortesi] |
| |
1 |
| Charatonik, Mukhopadhyay, Podelski [Stuckey] |
| |
1 |
| Charatonik, Podelski [-] |
| |
1 |
| Charatonik, Podelski [Freuder] |
| |
1 |
| Charatonik, Podelski [Levi] |
| |
1 |
| Charatonik, Podelski [Nipkow] |
| |
1 |
| Charatonik, Podelski [Steffen] |
| |
1 |
| Charatonik, Podelski [Winskel] |
| |
1 |
| Charatonik, Podelski, Talbot [-] |
| |
| | 2000 | | Paths vs. Trees in Set-based Program Analysis
In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-00), 330-337 | Proceedings Article | |
1 |
| Charatonik, Talbot [Talbot, Tison] |
| |
1 |
| Charatonik, Talbot [Talbot] |
| |
1 |
| Chaudhuri, Dimopoulos, Zaroliagis [-] |
| |
1 |
| |
1 |
| Chu, Plaisted [Chu] |
| |
1 |
| Claus, Hopf, Schwefel (ed.) [Claus, Schwefel] |
| |
1 |
| Cook, Gotsman, Podelski, Rybalchenko, Vardi [Cook, Gotsman, Podelski, Vardi, Hofmann, Felleisen] |
| |
1 |
| Cook, Podelski, Rybalchenko [Coo , Ball, Jones] |
| |