| 2008 |
|---|
| 29 | EE | Witold Charatonik,
Michal Wrona:
Quantified Positive Temporal Constraints.
CSL 2008: 94-108 |
| 28 | EE | Witold Charatonik,
Michal Wrona:
Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates.
LPAR 2008: 543-557 |
| 2007 |
|---|
| 27 | EE | Witold Charatonik,
Michal Wrona:
2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices.
ISMVL 2007: 21 |
| 26 | EE | Witold Charatonik:
Regular directional types for logic programs.
PPDP 2007: 209 |
| 2005 |
|---|
| 25 | EE | Witold Charatonik,
Lilia Georgieva,
Patrick Maier:
Bounded Model Checking of Pointer Programs.
CSL 2005: 397-412 |
| 2003 |
|---|
| 24 | EE | Witold Charatonik,
Silvano Dal-Zilio,
Andrew D. Gordon,
Supratik Mukhopadhyay,
Jean-Marc Talbot:
Model checking mobile ambients.
Theor. Comput. Sci. 308(1-3): 277-331 (2003) |
| 2002 |
|---|
| 23 | EE | Roberto M. Amadio,
Witold Charatonik:
On Name Generation and Set-Based Analysis in the Dolev-Yao Model.
CONCUR 2002: 499-514 |
| 22 | EE | Witold Charatonik,
Andrew D. Gordon,
Jean-Marc Talbot:
Finite-Control Mobile Ambients.
ESOP 2002: 295-313 |
| 21 | EE | Witold Charatonik,
Supratik Mukhopadhyay,
Andreas Podelski:
Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP.
ICLP 2002: 115-129 |
| 20 | EE | Witold Charatonik,
Jean-Marc Talbot:
Atomic Set Constraints with Projection.
RTA 2002: 311-325 |
| 19 | EE | Witold Charatonik,
Supratik Mukhopadhyay,
Andreas Podelski:
Compositional Termination Analysis of Symbolic Forward Analysis.
VMCAI 2002: 109-125 |
| 18 | EE | Witold Charatonik,
Andreas Podelski:
Set Constraints with Intersection.
Inf. Comput. 179(2): 213-229 (2002) |
| 2001 |
|---|
| 17 | EE | Witold Charatonik,
Jean-Marc Talbot:
The Decidability of Model Checking Mobile Ambients.
CSL 2001: 339-354 |
| 16 | EE | Witold Charatonik,
Silvano Dal-Zilio,
Andrew D. Gordon,
Supratik Mukhopadhyay,
Jean-Marc Talbot:
The Complexity of Model Checking Mobile Ambients.
FoSSaCS 2001: 152-167 |
| 2000 |
|---|
| 15 | EE | Witold Charatonik:
Directional Type Checking for Logic Programs: Beyond Discriminative Types.
ESOP 2000: 72-87 |
| 14 | EE | Witold Charatonik,
Andreas Podelski,
Jean-Marc Talbot:
Paths vs. Trees in Set-Based Program Analysis.
POPL 2000: 330-337 |
| 1999 |
|---|
| 13 | EE | Andreas Podelski,
Witold Charatonik,
Martin Müller:
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs.
ESOP 1999: 177-192 |
| 1998 |
|---|
| 12 | | Witold Charatonik,
David A. McAllester,
Damian Niwinski,
Andreas Podelski,
Igor Walukiewicz:
The Horn Mu-calculus.
LICS 1998: 58-69 |
| 11 | EE | Witold Charatonik,
Andreas Podelski:
Co-definite Set Constraints.
RTA 1998: 211-225 |
| 10 | EE | Witold Charatonik,
Andreas Podelski:
Directional Type Inference for Logic Programs.
SAS 1998: 278-294 |
| 9 | EE | Witold Charatonik,
Andreas Podelski:
Set-Based Analysis of Reactive Infinite-State Systems.
TACAS 1998: 358-375 |
| 8 | | Witold Charatonik:
Set Constraints in Some Equational Theories.
Inf. Comput. 142(1): 40-75 (1998) |
| 7 | EE | Witold Charatonik:
An Undecidable Fragment of the Theory of Set Constraints.
Inf. Process. Lett. 68(3): 147-151 (1998) |
| 1997 |
|---|
| 6 | EE | Witold Charatonik,
Andreas Podelski:
Set Constraints with Intersection.
LICS 1997: 362-372 |
| 1996 |
|---|
| 5 | | Witold Charatonik,
Andreas Podelski:
The Independence Property of a Class of Set Constraints.
CP 1996: 76-90 |
| 1994 |
|---|
| 4 | | Witold Charatonik:
Set Constraints in Some Equational Theories.
CCL 1994: 304-319 |
| 3 | | Witold Charatonik,
Leszek Pacholski:
Set constraints with projections are in NEXPTIME
FOCS 1994: 642-653 |
| 2 | | Witold Charatonik,
Leszek Pacholski:
Negative Set Constraints with Equality
LICS 1994: 128-136 |
| 1991 |
|---|
| 1 | | Witold Charatonik,
Leszek Pacholski:
Word Equations with Two Variables.
IWWERT 1991: 43-56 |
