# | | Year | | Title | Type | |
1 |
| Cook, Podelski, Rybalchenko [Cook, Hankin, Siveroni] |
| |
| | 2005 | | Abstraction-refinement for Termination
In: Static analysis : 12th International Symposium, SAS 2005, 87-101 | Proceedings Article | |
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] |
| |
2 |
| de Nivelle, Demri [Demri] |
| |
1 |
| de Nivelle, Hustadt, Schmidt [Hustadt, Schmidt] |
| |
1 |
| de Nivelle, Kazakov [-] |
| |
1 |
| de Nivelle, Meng [Meng, Furbach, Shankar] |
| |
1 |
| de Nivelle, Meng [Meng] |
| |
1 |
| |
1 |
| de Nivelle, Pratt-Hartmann [Pratt-Hartmann, Goré, Leitsch, Nipkow] |
| |
1 |
| de Nivelle, Schulz (ed.) [Schulz] |
| |