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
1162002
The decidability of model checking mobile ambients
W Charatonik, JM Talbot
International Workshop on Computer Science Logic, 339-354, 2001
892001
Set constraints with projections are in NEXPTIME
W Charatonik, L Pacholski
Proceedings 35th Annual Symposium on Foundations of Computer Science, 642-653, 1994
841994
Negative set constraints with equality
W Charatonik, L Pacholski
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 128-136, 1994
751994
Finite-control mobile ambients
W Charatonik, AD Gordon, JM Talbot
European Symposium on Programming, 295-313, 2002
732002
Set-based analysis of reactive infinite-state systems
W Charatonik, A Podelski
International Conference on Tools and Algorithms for the Construction and …, 1998
611998
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
421998
Two-variable logic with counting and trees
W Charatonik, P Witkowski
ACM Transactions on Computational Logic (TOCL) 17 (4), 1-27, 2016
372016
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
332016
Word equations with two variables
W Charatonik, L Pacholski
International Workshop on Word Equations and Related Topics, 43-56, 1991
281991
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
271998
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
Generalized refocusing: From hybrid strategies to abstract machines
M Biernacka, W Charatonik, K Zielinska
2nd International Conference on Formal Structures for Computation and …, 2017
192017
Two-variable logic with counting and a linear order
W Charatonik, P Witkowski
Logical Methods in Computer Science 12, 2016
192016
The system can't perform the operation now. Try again later.
Articles 1–20