Constantinos Bartzis

Publication Activity (10 Years)

Years Active: 2000-2006
Publications (10 Years): 0

Publications

Himanshu Jain, Constantinos Bartzis, Edmund M. Clarke
Satisfiability Checking of Non-clausal Formulas Using General Matings. SAT (2006)
Constantinos Bartzis, Tevfik Bultan
Efficient BDDs for bounded arithmetic constraints. Int. J. Softw. Tools Technol. Transf. 8 (1) (2006)
Vaibhav Mehta, Constantinos Bartzis, Haifeng Zhu, Edmund M. Clarke, Jeannette M. Wing
Ranking Attack Graphs. RAID (2006)
Tuba Yavuz-Kahveci, Constantinos Bartzis, Tevfik Bultan
Action Language Verifier, Extended. CAV (2005)
Constantinos Bartzis, Tevfik Bultan
Widening Arithmetic Automata. CAV (2004)
Constantinos Bartzis, Tevfik Bultan
Efficient Symbolic Representations for Arithmetic Constraints in Verification. Int. J. Found. Comput. Sci. 14 (4) (2003)
Constantinos Bartzis, Tevfik Bultan
Construction of Efficient BDDs for Bounded Arithmetic Constraints. TACAS (2003)
Constantinos Bartzis, Tevfik Bultan
Efficient Image Computation in Infinite State Model Checking. CAV (2003)
Constantinos Bartzis, Tevfik Bultan
Automata-Based Representations for Arithmetic Constraints in Automated Verification. CIAA (2002)
Oscar H. Ibarra, Jianwen Su, Constantinos Bartzis
Counter machines and the safety and disjointness problems for database queries with linear constraints. Where Mathematics, Computer Science, Linguistics and Biology Meet (2001)
Constantinos Bartzis, Ioannis Caragiannis, Christos Kaklamanis, Ioannis Vergados
Experimental Evaluation of Hot-Potato Routing Algorithms on 2-Dimensional Processor Arrays (Research Note). Euro-Par (2000)