The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Witold Charatonik: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Witold Charatonik
    Set Constraints in Some Equational Theories. [Citation Graph (0, 0)][DBLP]
    CCL, 1994, pp:304-319 [Conf]
  2. Roberto M. Amadio, Witold Charatonik
    On Name Generation and Set-Based Analysis in the Dolev-Yao Model. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:499-514 [Conf]
  3. Witold Charatonik, Andreas Podelski
    The Independence Property of a Class of Set Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 1996, pp:76-90 [Conf]
  4. Witold Charatonik, Lilia Georgieva, Patrick Maier
    Bounded Model Checking of Pointer Programs. [Citation Graph (0, 0)][DBLP]
    CSL, 2005, pp:397-412 [Conf]
  5. Witold Charatonik, Jean-Marc Talbot
    The Decidability of Model Checking Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:339-354 [Conf]
  6. Witold Charatonik, Andrew D. Gordon, Jean-Marc Talbot
    Finite-Control Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    ESOP, 2002, pp:295-313 [Conf]
  7. Witold Charatonik
    Directional Type Checking for Logic Programs: Beyond Discriminative Types. [Citation Graph (0, 0)][DBLP]
    ESOP, 2000, pp:72-87 [Conf]
  8. Andreas Podelski, Witold Charatonik, Martin Müller
    Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:177-192 [Conf]
  9. Witold Charatonik, Leszek Pacholski
    Set constraints with projections are in NEXPTIME [Citation Graph (0, 0)][DBLP]
    FOCS, 1994, pp:642-653 [Conf]
  10. Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot
    The Complexity of Model Checking Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2001, pp:152-167 [Conf]
  11. Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski
    Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:115-129 [Conf]
  12. Witold Charatonik, Leszek Pacholski
    Word Equations with Two Variables. [Citation Graph (0, 0)][DBLP]
    IWWERT, 1991, pp:43-56 [Conf]
  13. Witold Charatonik, David A. McAllester, Damian Niwinski, Andreas Podelski, Igor Walukiewicz
    The Horn Mu-calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:58-69 [Conf]
  14. Witold Charatonik, Leszek Pacholski
    Negative Set Constraints with Equality [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:128-136 [Conf]
  15. Witold Charatonik, Andreas Podelski
    Set Constraints with Intersection. [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:362-372 [Conf]
  16. Witold Charatonik, Andreas Podelski, Jean-Marc Talbot
    Paths vs. Trees in Set-Based Program Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:330-337 [Conf]
  17. Witold Charatonik, Andreas Podelski
    Co-definite Set Constraints. [Citation Graph (0, 0)][DBLP]
    RTA, 1998, pp:211-225 [Conf]
  18. Witold Charatonik, Jean-Marc Talbot
    Atomic Set Constraints with Projection. [Citation Graph (0, 0)][DBLP]
    RTA, 2002, pp:311-325 [Conf]
  19. Witold Charatonik, Andreas Podelski
    Directional Type Inference for Logic Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:278-294 [Conf]
  20. Witold Charatonik, Andreas Podelski
    Set-Based Analysis of Reactive Infinite-State Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:358-375 [Conf]
  21. Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski
    Compositional Termination Analysis of Symbolic Forward Analysis. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:109-125 [Conf]
  22. Witold Charatonik
    Set Constraints in Some Equational Theories. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1998, v:142, n:1, pp:40-75 [Journal]
  23. Witold Charatonik, Andreas Podelski
    Set Constraints with Intersection. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:179, n:2, pp:213-229 [Journal]
  24. Witold Charatonik
    An Undecidable Fragment of the Theory of Set Constraints. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1998, v:68, n:3, pp:147-151 [Journal]
  25. Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot
    Model checking mobile ambients. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:308, n:1-3, pp:277-331 [Journal]
  26. Witold Charatonik
    Regular directional types for logic programs. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:209- [Conf]

  27. Quantified Positive Temporal Constraints. [Citation Graph (, )][DBLP]


  28. 2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices. [Citation Graph (, )][DBLP]


  29. Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002