Follow
Witold Charatonik
Witold Charatonik
Professor of Computer Science, University of Wrocław
Verified email at cs.uni.wroc.pl
Title
Cited by
Cited by
Year
On name generation and set-based analysis in the Dolev-Yao model
RM Amadio, W Charatonik
CONCUR 2002—Concurrency Theory: 13th International Conference Brno, Czech …, 2002
1192002
The decidability of model checking mobile ambients
W Charatonik, JM Talbot
International Workshop on Computer Science Logic, 339-354, 2001
912001
Set constraints with projections are in NEXPTIME
W Charatonik, L Pacholski
Proceedings 35th Annual Symposium on Foundations of Computer Science, 642-653, 1994
861994
Negative set constraints with equality
W Charatonik, L Pacholski
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 128-136, 1994
781994
Finite-control mobile ambients
W Charatonik, AD Gordon, JM Talbot
European Symposium on Programming, 295-313, 2002
742002
Set-based analysis of reactive infinite-state systems
W Charatonik, A Podelski
International Conference on Tools and Algorithms for the Construction and …, 1998
621998
Set constraints with intersection
W Charatonik, A Podelski
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997
561997
Automata on DAG representations of finite trees
W Charatonik
Max-Planck-Institut für Informatik, 1999
551999
Model checking mobile ambients
W Charatonik, S Dal Zilio, AD Gordon, S Mukhopadhyay, JM Talbot
Theoretical Computer Science 308 (1-3), 277-331, 2003
442003
The complexity of model checking mobile ambients
W Charatonik, S Dal Zilio, AD Gordon, S Mukhopadhyay, JM Talbot
Foundations of Software Science and Computation Structures: 4th …, 2001
442001
Co-definite set constraints
W Charatonik, A Podelski
Rewriting Techniques and Applications: 9th International Conference, RTA-98 …, 1998
411998
Two-variable logic with counting and trees
W Charatonik, P Witkowski
ACM Transactions on Computational Logic (TOCL) 17 (4), 1-27, 2016
382016
Complexity of two-variable logic on finite trees
S Benaim, M Benedikt, W Charatonik, E Kieroński, R Lenhardt, ...
ACM Transactions on Computational Logic (TOCL) 17 (4), 1-38, 2016
342016
The Horn mu-calculus
W Charatonik, D McAllester, D Niwinski, A Podelski, I Walukiewicz
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998
291998
Word equations with two variables
W Charatonik, L Pacholski
International Workshop on Word Equations and Related Topics, 43-56, 1991
291991
Directional type inference for logic programs
W Charatonik, A Podelski
Static Analysis: 5th International Symposium, SAS’98 Pisa, Italy, September …, 1998
271998
Set constraints in some equational theories
W Charatonik
Information and computation 142 (1), 40-75, 1998
221998
The independence property of a class of set constraints
W Charatonik, A Podelski
International Conference on Principles and Practice of Constraint …, 1996
221996
Two-variable logic with counting and a linear order
W Charatonik, P Witkowski
Logical Methods in Computer Science 12, 2016
212016
Paths vs. trees in set-based program analysis
W Charatonik, A Podelski, JM Talbot
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000
202000
The system can't perform the operation now. Try again later.
Articles 1–20