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 | 119 | 2002 |
The decidability of model checking mobile ambients W Charatonik, JM Talbot International Workshop on Computer Science Logic, 339-354, 2001 | 91 | 2001 |
Set constraints with projections are in NEXPTIME W Charatonik, L Pacholski Proceedings 35th Annual Symposium on Foundations of Computer Science, 642-653, 1994 | 86 | 1994 |
Negative set constraints with equality W Charatonik, L Pacholski Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 128-136, 1994 | 78 | 1994 |
Finite-control mobile ambients W Charatonik, AD Gordon, JM Talbot European Symposium on Programming, 295-313, 2002 | 74 | 2002 |
Set-based analysis of reactive infinite-state systems W Charatonik, A Podelski International Conference on Tools and Algorithms for the Construction and …, 1998 | 62 | 1998 |
Set constraints with intersection W Charatonik, A Podelski Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997 | 56 | 1997 |
Automata on DAG representations of finite trees W Charatonik Max-Planck-Institut für Informatik, 1999 | 55 | 1999 |
Model checking mobile ambients W Charatonik, S Dal Zilio, AD Gordon, S Mukhopadhyay, JM Talbot Theoretical Computer Science 308 (1-3), 277-331, 2003 | 44 | 2003 |
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 | 44 | 2001 |
Co-definite set constraints W Charatonik, A Podelski Rewriting Techniques and Applications: 9th International Conference, RTA-98 …, 1998 | 41 | 1998 |
Two-variable logic with counting and trees W Charatonik, P Witkowski ACM Transactions on Computational Logic (TOCL) 17 (4), 1-27, 2016 | 38 | 2016 |
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 | 34 | 2016 |
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 | 29 | 1998 |
Word equations with two variables W Charatonik, L Pacholski International Workshop on Word Equations and Related Topics, 43-56, 1991 | 29 | 1991 |
Directional type inference for logic programs W Charatonik, A Podelski Static Analysis: 5th International Symposium, SAS’98 Pisa, Italy, September …, 1998 | 27 | 1998 |
Set constraints in some equational theories W Charatonik Information and computation 142 (1), 40-75, 1998 | 22 | 1998 |
The independence property of a class of set constraints W Charatonik, A Podelski International Conference on Principles and Practice of Constraint …, 1996 | 22 | 1996 |
Two-variable logic with counting and a linear order W Charatonik, P Witkowski Logical Methods in Computer Science 12, 2016 | 21 | 2016 |
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 | 20 | 2000 |