Witold Charatonik

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

Coauthor Index

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

Colors in the list of coauthors