# | | Year | | Title | Type | |
1 |
| Pacholski, Podelski [Pacholski, Smolka] |
| |
1 |
| |
2 |
| Plaisted [-] |
| |
1 |
| Pnueli, Podelski, Rybalchenko [Pnueli, Halbwachs, Zuck] |
| |
1 |
| Podelski (ed.) [-] |
| |
2 |
| |
1 |
| Podelski [Leuschel] |
| |
1 |
| |
1 |
| Podelski [Zuck, Attie, Cortesi, Mukhopadhyay] |
| |
1 |
| Podelski, Ball, Rajamani [Ball, Rajamani, Ball, Rajamani] |
| |
1 |
| Podelski, Ball, Rajamani [Ball, Rajamani, Kaoen, Stevens] |
| |
1 |
| Podelski, Charatonik, Müller [Müller, Swierstra] |
| |
2 |
| Podelski, Rybalchenko [-] |
| |
1 |
| Podelski, Rybalchenko [Levi, Steffen] |
| |
1 |
| Podelski, Rybalchenko [Palsberg, Abadi] |
| |
1 |
| Podelski, Rybalchenko [Podelski] |
| |
1 |
| Podelski, Rybalchenko, Cook [Cook] |
| |
1 |
| Podelski, Schaefer, Wagner [-] |
| |
1 |
| Podelski, Schaefer, Wagner [Sagiv] |
| |
2 |
| |
| | 1995 | | Operational Semantics of Constraint Logic Programming with Coroutining
In: Proceedings of the 12th International Conference on Logic Programming, 449-463 | Proceedings Article | |
| | 1995 | | Situated Simplification
In: Proceedings of the First International Conference on Principles and Practice of Constraint Programming (CP'95), 328-344 | Proceedings Article | |
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] |
| |