Experimental Evaluation of Hot-Potato Routing Algorithms on 2-Dimensional Processor Arrays (Research Note). - Constantinos Bartzis; Ioannis Caragiannis; Christos Kaklamanis; Ioannis Vergados (Euro-Par, 2000)

Counter machines and the safety and disjointness problems for database queries with linear constraints. - Oscar H. Ibarra; Jianwen Su; Constantinos Bartzis (Where Mathematics, Computer Science, Linguistics and Biology Meet, 2001)

Automata-Based Representations for Arithmetic Constraints in Automated Verification. - Constantinos Bartzis; Tevfik Bultan (CIAA, 2002)

Efficient Image Computation in Infinite State Model Checking. - Constantinos Bartzis; Tevfik Bultan (CAV, 2003)

Construction of Efficient BDDs for Bounded Arithmetic Constraints. - Constantinos Bartzis; Tevfik Bultan (TACAS, 2003)

Efficient Symbolic Representations for Arithmetic Constraints in Verification. - Constantinos Bartzis; Tevfik Bultan (Int. J. Found. Comput. Sci., 2003)

Widening Arithmetic Automata. - Constantinos Bartzis; Tevfik Bultan (CAV, 2004)

Action Language Verifier, Extended. - Tuba Yavuz-Kahveci; Constantinos Bartzis; Tevfik Bultan (CAV, 2005)

Ranking Attack Graphs. - Vaibhav Mehta; Constantinos Bartzis; Haifeng Zhu 001; Edmund M. Clarke; Jeannette M. Wing (RAID, 2006)

Satisfiability Checking of Non-clausal Formulas Using General Matings. - Himanshu Jain; Constantinos Bartzis; Edmund M. Clarke (SAT, 2006)

Efficient BDDs for bounded arithmetic constraints. - Constantinos Bartzis; Tevfik Bultan (Int. J. Softw. Tools Technol. Transf., 2006)