Your search returned the following 23 documents:

23. Bounded Model Checking of Pointer Programs
    Witold Charatonik, Lilia Georgieva, and Patrick Maier
    In: Computer Science Logic; 19th International Workshop, CSL 2005; 14th Annual Conference of the EACSL, Oxford, UK, 2005, 397-412
    
22. Model checking mobile ambients
    Witold Charatonik, Silvano Dal Zilio, Andrew Donald Gordon, Supratik Mukhopadhyay, and Jean-Marc Talbot
    Theoretical Computer Science 308 (1-3): 277-331, 2003
    
21. Atomic Set Constraints with Projection
    Witold Charatonik and Jean-Marc Talbot
    In: Rewriting Techniques and Applications. 13th International Conference, RTA 2002, Copenhagen, Denmark, 2002, 311-325
    
20. Compositional Termination Analysis of Symbolic Forward Analysis
    Witold Charatonik, Supratik Mukhopadhyay, and Andreas Podelski
    In: Verification, Model Checking, and Abstract Interpretation. Third International Workshop, VMCAI 2002, Venice, Italy, 2002, 109-125
    
19. Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP
    Witold Charatonik, Supratik Mukhopadhyay, and Andreas Podelski
    In: Logic Programming. 18th International Conference, ICLP 2002, Copenhagen, Denmark, 2002, 115-129
    
18. Direktionale Typen in der Logischen Programmierung
    Witold Charatonik
    Habilitation thesis, Universität des Saarlandes, 2002
    
17. Finite-Control Mobile Ambients
    Witold Charatonik, Andrew Donald Gordon, and Jean-Marc Talbot
    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, Grenoble, France, 2002, 295-313
    
16. On Name Generation and Set-Based Analysis in the Dolev-Yao Model
    Witold Charatonik and Roberto Amadio
    In: CONCUR 2002 - Concurrency Theory. 13th International Conference, Brno, Czech Republic, 2002, 499-514
    
15. Set Constraints with Intersection
    Witold Charatonik and Andreas Podelski
    Information and Computation 179 (2): 213-229, 2002
    
14. The Complexity of Model Checking Mobile Ambients
    Witold Charatonik, Silvano Dal Zilio, Andrew Donald Gordon, Supratik Mukhopadhyay, and Jean-Marc Talbot
    Microsoft Research, Microsoft Corporation, Redmond, MSR-TR-2001-03, Technical Report
    
13. The Complexity of Model Checking Mobile Ambients
    Witold Charatonik, Silvano Dal Zilio, Andrew Donald Gordon, Supratik Mukhopadhyay, and Jean-Marc Talbot
    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), Genova, Italy, April,2 -- April,8, 2001, 152-167
    
12. The Decidability of Model Checking Mobile Ambients
    Witold Charatonik and Jean-Marc Talbot
    In: Computer science logic (CSL-01) : 15th International Workshop, CSL 2001, Annual Conference of the EACSL, Paris, France, September 10-13, 2001, 2001, 339-354
    
11. Directional Type Checking for Logic Programs: Beyond Discriminative Types
    Witold Charatonik
    In: Proceedings of the 8th European Symposium on Programming (ESOP-00), Berlin, Germany, March, 27 - March, 31, 2000, 72-87
    
10. Paths vs. Trees in Set-based Program Analysis
    Witold Charatonik, Andreas Podelski, and Jean-Marc Talbot
    In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-00), Boston, Massachusetts, USA, 19-21 January 2000, 2000, 330-337
    
9. Set-based Failure Analysis for Logic Programs and Concurrent Constraint Programs
   Andreas Podelski, Witold Charatonik, and Martin Müller
   In: Programming Languages and Systems: Proceedings of the 8th European Symposium on Programming (ESOP-99), Amsterdam, The Netherlands, March, 22nd-26th, 1999, 177-192
   
8. An Undecidable Fragment of the Theory of Set Constraints
   Witold Charatonik
   Information Processing Letters 68: 147-151, 1998
   
7. Co-definite Set Constraints
   Witold Charatonik and Andreas Podelski
   In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), Tsukuba, Japan, March 30 - April 1, 1998, 1998, 211-225
   
6. Directional Type Inference for Logic Programs
   Witold Charatonik and Andreas Podelski
   In: Proceedings of the 5th International Symposium in Static Analysis (SAS-98), Pisa, Italy, September 14-16, 1998, 278-294
   
5. Set-Based Analysis of Reactive Infinite-state Systems
   Witold Charatonik and Andreas Podelski
   In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS-98), Lisbon, Portugal, March 28 - April 4, 1998, 358-375
   
4. Set Constraints in Some Equational Theories
   Witold Charatonik
   Information and Computation 142: 40-75, 1998
   
3. The Horn Mu-calculus
   Witold Charatonik, David McAllester, Damian Niwinski, Andreas Podelski, and Igor Walukiewicz
   In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), Indianapolis, Indiana, June 21-24, 1998, 58-69
   
2. The Independence Property of a Class of Set Constraints
   Witold Charatonik and Andreas Podelski
   In: Principles and Practice of Constraint Programming, Proceedings of the Second International Conference (CP'96), Cambridge, USA, August 19-22, 1996, 76-90
   
1. Set Constraints with Intersection
   Witold Charatonik and Andreas Podelski
   In: Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97), Warsaw, Poland, June 29 - July 2, 1997, 362-372