| # |  | Year | | Title | Type | |
|---|
| | 2004 | | A Complete Method for the Synthesis of Linear Ranking Functions
In: Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, 239-251 | Proceedings Article | |
| 1 |
![Show details for Podelski, Rybalchenko [Palsberg, Abadi]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Podelski, Rybalchenko [Palsberg, Abadi] |
| |
| 1 |
| Podelski, Rybalchenko [Podelski] |
| |
| 1 |
| Podelski, Rybalchenko, Cook [Cook] |
| |
| 1 |
| Podelski, Schaefer, Wagner [-] |
| |
| 1 |
| Podelski, Schaefer, Wagner [Sagiv] |
| |
| 2 |
| Podelski, Smolka [-] |
| |
| 1 |
| Podelski, Smolka [Smolka] |
| |
| 1 |
| Podelski, Wagner [Hespanha, Tiwari] |
| |
| 2 |
| Podelski, Wagner [Podelski] |
| |
| 1 |
| Podelski, Wies [Hankin, Siveroni] |
| |
| 1 |
| Prevosto [Coquand, Lombardi, Roy] |
| |
| 1 |
| Prevosto, Boulmé [Boulmé, Urzyczyn] |
| |
| 1 |
| Prevosto, Waldmann [Prevosto, Sutcliffe, Schmidt, Schulz] |
| |
| 1 |
| Rahman, Rückert, Fischmann [Rahman, Rückert] |
| |
| 2 |
| |
| 1 |
| Ratschan [Dolzmann, Seidl, Sturm] |
| |
| 1 |
| |
| 2 |
| Ratschan, She [-] |
| |
| 1 |
| Ratschan, She [Calmet, Ida, Wang] |
| |
| 1 |
| Ratschan, Smaus [Smaus, Cassandras, Giua, Seatzu, Zaytoon] |
| |
| 1 |
| Ratschan, Vehi [Bittanti] |
| |
| 1 |
| Rau [-] |
| |
| 1 |
| |
| 1 |
| Rock [-] |
| |
| 1 |
| |
| 1 |
| Rybalchenko [Malkis, Podelski, Filé, Nielson] |
| |
| 1 |
| Rybalchenko, Sofronie-Stokkermans [Cook, Podelski] |
| |
| 1 |
| Schäf [-] |
| |
| 1 |
| |
