Search the dblp DataBase

Publications of Author

1. Constantinos Bartzis, Tevfik Bultan
   Efficient Image Computation in Infinite State Model Checking. [Citation Graph (0, 0)][DBLP]
   CAV, 2003, pp:249-261 [Conf]
   
2. Constantinos Bartzis, Tevfik Bultan
   Widening Arithmetic Automata. [Citation Graph (0, 0)][DBLP]
   CAV, 2004, pp:321-333 [Conf]
   
3. Tuba Yavuz-Kahveci, Constantinos Bartzis, Tevfik Bultan
   Action Language Verifier, Extended. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:413-417 [Conf]
   
4. Constantinos Bartzis, Ioannis Caragiannis, Christos Kaklamanis, Ioannis Vergados
   Experimental Evaluation of Hot-Potato Routing Algorithms on 2-Dimensional Processor Arrays (Research Note). [Citation Graph (0, 0)][DBLP]
   Euro-Par, 2000, pp:877-881 [Conf]
   
5. Vaibhav Mehta, Constantinos Bartzis, Haifeng Zhu, Edmund M. Clarke, Jeannette M. Wing
   Ranking Attack Graphs. [Citation Graph (0, 0)][DBLP]
   RAID, 2006, pp:127-144 [Conf]
   
6. Himanshu Jain, Constantinos Bartzis, Edmund M. Clarke
   Satisfiability Checking of Non-clausal Formulas Using General Matings. [Citation Graph (0, 0)][DBLP]
   SAT, 2006, pp:75-89 [Conf]
   
7. Constantinos Bartzis, Tevfik Bultan
   Construction of Efficient BDDs for Bounded Arithmetic Constraints. [Citation Graph (0, 0)][DBLP]
   TACAS, 2003, pp:394-408 [Conf]
   
8. Constantinos Bartzis, Tevfik Bultan
   Automata-Based Representations for Arithmetic Constraints in Automated Verification. [Citation Graph (0, 0)][DBLP]
   CIAA, 2002, pp:282-288 [Conf]
   
9. Constantinos Bartzis, Tevfik Bultan
   Efficient Symbolic Representations for Arithmetic Constraints in Verification. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2003, v:14, n:4, pp:605-624 [Journal]
   
10. Constantinos Bartzis, Tevfik Bultan
    Efficient BDDs for bounded arithmetic constraints. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:1, pp:26-36 [Journal]