AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Witold Charatonik

Witold Charatonik

University of Wroclaw - Wroclaw / Poland
Engineering & Technology / Computer Science
AD Scientific Index ID: 1873054
Uniwersytet Wroclawski
person_outline Witold Charatonik's MOST POPULAR ARTICLES
1-) On name generation and set-based analysis in the Dolev-Yao model International Conference on Concurrency Theory, 499-514, 2002
2-) The decidability of model checking mobile ambients International Workshop on Computer Science Logic, 339-354, 2001
3-) Set constraints with projections are in NEXPTIME Proceedings 35th Annual Symposium on Foundations of Computer Science, 642-653, 1994
4-) Negative set constraints with equality Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 128-136, 1994
5-) Finite-control mobile ambients European Symposium on Programming, 295-313, 2002