# | | Year | | Title | Type | |
1 |
| Mukhopadhyay [-] |
| |
| | 2001 | | A Uniform Constraint-based Framework for the Verification of Infinite State Systems
Universität des Saarlandes | Thesis - PhD thesis | |
2 |
| Mukhopadhyay, Podelski [-] |
| |
1 |
| Mukhopadhyay, Podelski [Koenig, Holte] |
| |
1 |
| Mukhopadhyay, Podelski [Ramakrishnan] |
| |
1 |
| Mukhopadhyay, Podelski [Ramanujam, Raman] |
| |
1 |
| Müller, Niehren, Podelski [Müller, Niehren, Bidoit, Dauchet] |
| |
1 |
| Müller, Niehren, Podelski [Müller, Niehren, Smolka] |
| |
1 |
| Müller, Niehren, Podelski [Müller, Niehren] |
| |
1 |
| |
1 |
| Nielson, Seidl [Seidl] |
| |
1 |
| Nieuwenhuis, Hillenbrand, Riazanov, Voronkov [Nieuwenhuis, Riazanov, Voronkov, Goré, Leitsch, Nipkow] |
| |
1 |
| Nivat, Podelski [Nivat] |
| |
3 |
| |
1 |
| Nonnengart [Bajcsy] |
| |
1 |
| Nonnengart [MacNish, Pearce, Pereira] |
| |
1 |
| Nonnengart [McRobbie, Slaney] |
| |
1 |
| Nonnengart, Ohlbach [Bläsius, Bürckert] |
| |
1 |
| Nonnengart, Ohlbach, Gabbay [Ohlbach, Gabbay] |
| |
1 |
| Nonnengart, Ohlbach, Szalas [Szalas, Ohlbach] |
| |
1 |
| Nonnengart, Rock, Weidenbach [Rock, Kirchner, Kirchner] |
| |
1 |
| Nonnengart, Szalas [Szalas, Orlowska] |
| |
1 |
| Nonnengart, Weidenbach [Robinson, Voronkov] |
| |
8 |
| |
1 |
| Ohlbach [McRobbie, Slaney] |
| |
1 |
| |
1 |
| Ohlbach, Herzig [-] |
| |
1 |
| Ohlbach, Koehler [Koehler] |
| |
1 |
| Ohlbach, Schmidt [-] |
| |
1 |
| Ohlbach, Schmidt, Hustadt [Borgida, Lenzerini, Nardi, Nebel] |
| |