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 |