# | | Year | Author(s) [non member] | Editor(s) [non member] | | Title | Type | |
1 |
| Cachro, Jacek (ed.) |
| |
2 |
| |
1 |
| Calvanese, Diego (ed.) |
| |
1 |
| |
1 |
| Campbell, John A. (ed.) |
| |
1 |
| |
1 |
| Carbonell, J. G. (ed.) |
| |
2 |
| Carlucci-Aiello, Luigia (ed.) |
| |
1 |
| Cassandras, Christos (ed.) |
| |
2 |
| |
1 |
| Cavalcanti, Marcos (ed.) |
| |
1 |
| |
2 |
| Cerone, Antonio (ed.) |
| |
2 |
| |
23 |
| Charatonik, Witold |
| |
| | 2005 | [Charatonik, Witold]
[Georgieva, Lilia]
Maier, Patrick | [Ong, Luke] | | Bounded Model Checking of Pointer Programs
In: Computer Science Logic; 19th International Workshop, CSL 2005; 14th Annual Conference of the EACSL, 397-412 | Proceedings Article | |
| | 2003 | Charatonik, Witold
[Dal Zilio, Silvano]
[Gordon, Andrew Donald]
[Mukhopadhyay, Supratik]
[Talbot, Jean-Marc] | | | Model checking mobile ambients
In: Theoretical Computer Science [308], 277-331 | Journal Article | |
| | 2002 | Charatonik, Witold | | | Direktionale Typen in der Logischen Programmierung
Universität des Saarlandes | Thesis - Habilitation thesis | |
| | 2002 | Charatonik, Witold
[Amadio, Roberto] | [Brim, Lubos]
[Jancar, Petr]
[Kretinsky, Mojomir]
[Kucera, Antonin] | | On Name Generation and Set-Based Analysis in the Dolev-Yao Model
In: CONCUR 2002 - Concurrency Theory. 13th International Conference, 499-514 | Proceedings Article | |
| | 2002 | Charatonik, Witold
[Gordon, Andrew Donald]
[Talbot, Jean-Marc] | [Le Métayer, Daniel] | | Finite-Control Mobile Ambients
In: Programming languages and systems: 11th European Symposium on Programming, ESOP 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, 295-313 | Proceedings Article | |
| | 2002 | Charatonik, Witold
Mukhopadhyay, Supratik
Podelski, Andreas | [Cortesi, Agostino] | | Compositional Termination Analysis of Symbolic Forward Analysis
In: Verification, Model Checking, and Abstract Interpretation. Third International Workshop, VMCAI 2002, 109-125 | Proceedings Article | |
| | 2002 | Charatonik, Witold
Mukhopadhyay, Supratik
Podelski, Andreas | [Stuckey, Peter J.] | | Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP
In: Logic Programming. 18th International Conference, ICLP 2002, 115-129 | Proceedings Article | |
| | 2002 | Charatonik, Witold
Podelski, Andreas | | | Set Constraints with Intersection
In: Information and Computation [179], 213-229 | Journal Article | |
| | 2002 | Charatonik, Witold
[Talbot, Jean-Marc] | [Tison, Sophie] | | Atomic Set Constraints with Projection
In: Rewriting Techniques and Applications. 13th International Conference, RTA 2002, 311-325 | Proceedings Article | |
| | 2001 | Charatonik, Witold
[Dal Zilio, Silvano]
[Gordon, Andrew Donald]
Mukhopadhyay, Supratik
[Talbot, Jean-Marc] | | | The Complexity of Model Checking Mobile Ambients | Report | |
| | 2001 | Charatonik, Witold
[Dal Zilio, Silvano]
[Gordon, Andrew Donald]
Mukhopadhyay, Supratik
Talbot, Jean-Marc | [Honsell, Furio]
[Miculan, Marino] | | The Complexity of Model Checking Mobile Ambients
In: Foundations of Software Science and Computation Structures. Proceedings of the 4th International Conference (FOSSACS-01). Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS-01), 152-167 | Proceedings Article | |
| | 2001 | Charatonik, Witold
[Talbot, Jean-Marc] | Fribourg, Laurent | | The Decidability of Model Checking Mobile Ambients
In: Computer science logic (CSL-01) : 15th International Workshop, CSL 2001, Annual Conference of the EACSL, 339-354 | Proceedings Article | |
| | 2000 | Charatonik, Witold
Podelski, Andreas
Talbot, Jean-Marc | | | 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 | |
| | 2000 | Charatonik, Witold | [Smolka, Gert] | | Directional Type Checking for Logic Programs: Beyond Discriminative Types
In: Proceedings of the 8th European Symposium on Programming (ESOP-00), 72-87 | Proceedings Article | |
| | 1999 | Podelski, Andreas
Charatonik, Witold
[Müller, Martin] | [Swierstra, S. Doaitse] | | Set-based Failure Analysis for Logic Programs and Concurrent Constraint Programs
In: Programming Languages and Systems: Proceedings of the 8th European Symposium on Programming (ESOP-99), 177-192 | Proceedings Article | |