| # |  | Year | | Title | Type | |
|---|
| | 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 |
![Show details for Charatonik, Talbot [Talbot, Tison]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Charatonik, Talbot [Talbot, Tison] |
| |
| 1 |
| Charatonik, Talbot [Talbot] |
| |
| 1 |
| Chaudhuri, Dimopoulos, Zaroliagis [-] |
| |
| 1 |
| Christen [-] |
| |
| 1 |
| |
| 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] |
| |
| 1 |
| Cook, Podelski, Rybalchenko [Cook, Hankin, Siveroni] |
| |
| 1 |
| Cook, Podelski, Rybalchenko [Cook, Podelski, Ferrante, McKinley] |
| |
| 1 |
| Cook, Podelski, Rybalchenko [Cook] |
| |
| 1 |
| Cortier, Ganzinger, Jacquemard, Veanes [Cortier, Wiedermann, van Emde Boas, Nielsen] |
| |
| 1 |
| Cunningham, Gabbay, Ohlbach [-] |
| |
| 1 |
| Cuntz, Freiheit, Kindler [Cuntz, Kindler, Nuettgens, Rump] |
| |
| 1 |
| Damm, Disch, Hungar, Pang, Pigorsch, Scholl, Waldmann, Wirtz [Damm, Disch, Hungar, Pang, Pigorsch, Scholl, Wirtz, Graf, Zhang] |
| |
| 1 |
| Damm, Pinto, Ratschan [Damm, , Peled, Tsay] |
| |
| 1 |
| Daum, Maus, Schirmer, Seghir [Daum, Schirmer, Sutcliffe, Voronkov] |
| |
| 2 |
| de Nivelle [-] |
| |
| 1 |
| |
| 1 |
| de Nivelle [Bradfield] |
| |
| 1 |
| de Nivelle [Faller, Kaufmann, Pauly] |
| |
| 1 |
| de Nivelle [Konev, Schmidt] |
| |
| 1 |
| de Nivelle [Nieuwenhuis, Voronkov] |
| |
| 1 |
| de Nivelle, Areces, de Rijke [Areces, de Rijke] |
| |
| 1 |
| de Nivelle, Baumgartner, Fuchs, Tinelli [Baumgartner, Fuchs, Tinelli, Ahrendt, Baumgartner] |
| |
| 1 |
| de Nivelle, Bezem, Hendriks [Bezem, Hendriks, McAllester] |
| |
| 1 |
| de Nivelle, Blackburn, Bos, Kohlhase [Blackburn, Bos, Kohlhase] |
| |
| 1 |
| de Nivelle, de Rijke [de Rijke, de Rijke] |
| |
| 1 |
| de Nivelle, Demri [Demri, Areces, Blackburn] |
| |
