dblp.uni-trier.dewww.uni-trier.de

Witold Charatonik

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
29EEWitold Charatonik, Michal Wrona: Quantified Positive Temporal Constraints. CSL 2008: 94-108
28EEWitold Charatonik, Michal Wrona: Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates. LPAR 2008: 543-557
2007
27EEWitold Charatonik, Michal Wrona: 2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices. ISMVL 2007: 21
26EEWitold Charatonik: Regular directional types for logic programs. PPDP 2007: 209
2005
25EEWitold Charatonik, Lilia Georgieva, Patrick Maier: Bounded Model Checking of Pointer Programs. CSL 2005: 397-412
2003
24EEWitold 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
23EERoberto M. Amadio, Witold Charatonik: On Name Generation and Set-Based Analysis in the Dolev-Yao Model. CONCUR 2002: 499-514
22EEWitold Charatonik, Andrew D. Gordon, Jean-Marc Talbot: Finite-Control Mobile Ambients. ESOP 2002: 295-313
21EEWitold Charatonik, Supratik Mukhopadhyay, Andreas Podelski: Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP. ICLP 2002: 115-129
20EEWitold Charatonik, Jean-Marc Talbot: Atomic Set Constraints with Projection. RTA 2002: 311-325
19EEWitold Charatonik, Supratik Mukhopadhyay, Andreas Podelski: Compositional Termination Analysis of Symbolic Forward Analysis. VMCAI 2002: 109-125
18EEWitold Charatonik, Andreas Podelski: Set Constraints with Intersection. Inf. Comput. 179(2): 213-229 (2002)
2001
17EEWitold Charatonik, Jean-Marc Talbot: The Decidability of Model Checking Mobile Ambients. CSL 2001: 339-354
16EEWitold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot: The Complexity of Model Checking Mobile Ambients. FoSSaCS 2001: 152-167
2000
15EEWitold Charatonik: Directional Type Checking for Logic Programs: Beyond Discriminative Types. ESOP 2000: 72-87
14EEWitold Charatonik, Andreas Podelski, Jean-Marc Talbot: Paths vs. Trees in Set-Based Program Analysis. POPL 2000: 330-337
1999
13EEAndreas 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
11EEWitold Charatonik, Andreas Podelski: Co-definite Set Constraints. RTA 1998: 211-225
10EEWitold Charatonik, Andreas Podelski: Directional Type Inference for Logic Programs. SAS 1998: 278-294
9EEWitold 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)
7EEWitold Charatonik: An Undecidable Fragment of the Theory of Set Constraints. Inf. Process. Lett. 68(3): 147-151 (1998)
1997
6EEWitold 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

Coauthor Index

1Roberto M. Amadio [23]
2Silvano Dal-Zilio [16] [24]
3Lilia Georgieva [25]
4Andrew D. Gordon (Andy Gordon) [16] [22] [24]
5Patrick Maier [25]
6David A. McAllester [12]
7Supratik Mukhopadhyay [16] [19] [21] [24]
8Martin Müller [13]
9Damian Niwinski [12]
10Leszek Pacholski [1] [2] [3]
11Andreas Podelski [5] [6] [9] [10] [11] [12] [13] [14] [18] [19] [21]
12Jean-Marc Talbot [14] [16] [17] [20] [22] [24]
13Igor Walukiewicz [12]
14Michal Wrona [27] [28] [29]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)