2008
2007
2005
2003
2002
- On Name Generation and Set-Based Analysis in the Dolev-Yao ModelRoberto M. Amadio, Witold Charatonik. concur 2002: 499-514 [doi]
- Set Constraints with IntersectionWitold Charatonik, Andreas Podelski. iandc, 179(2):213-229, 2002. [doi]
- Constraint-Based Infinite Model Checking and Tabulation for Stratified CLPWitold Charatonik, Supratik Mukhopadhyay, Andreas Podelski. iclp 2002: 115-129 [doi]
- Compositional Termination Analysis of Symbolic Forward AnalysisWitold Charatonik, Supratik Mukhopadhyay, Andreas Podelski. vmcai 2002: 109-125 [doi]
- Atomic Set Constraints with ProjectionWitold Charatonik, Jean-Marc Talbot. RTA 2002: 311-325 [doi]
- Finite-Control Mobile AmbientsWitold Charatonik, Andrew D. Gordon, Jean-Marc Talbot. ESOP 2002: 295-313 [doi]
2001
2000
1999
1998
- Co-definite Set ConstraintsWitold Charatonik, Andreas Podelski. RTA 1998: 211-225 [doi]
- An Undecidable Fragment of the Theory of Set ConstraintsWitold Charatonik. ipl, 68(3):147-151, 1998. [doi]
- Set-Based Analysis of Reactive Infinite-State SystemsWitold Charatonik, Andreas Podelski. TACAS 1998: 358-375 [doi]
- The Horn Mu-calculusWitold Charatonik, David A. McAllester, Damian Niwinski, Andreas Podelski, Igor Walukiewicz. lics 1998: 58-69
- Directional Type Inference for Logic ProgramsWitold Charatonik, Andreas Podelski. SAS 1998: 278-294 [doi]
- Set Constraints in Some Equational TheoriesWitold Charatonik. iandc, 142(1):40-75, 1998.
1997
1996
1994
1991