Vaibhav Mehta, Constantinos Bartzis, Haifeng Zhu, Edmund Clarke and Jeannette Wing. "Ranking Attack Graphs". Proceedings of the 9th International Symposium Recent Advances in Intrusion Detection (RAID 2006), volume 4219 of Lecture Notes in Computer Science, pages 127-144. Springer 2006.
Himanshu Jain, Constantinos Bartzis and Edmund Clarke. "Satisfiability Checking of Non-clausal Formulae using General Matings". Proceedings of the 9th International Conference in Theory and Applications of Satisfiability Testing (SAT 2006), volume 4121 of Lecture Notes in Computer Science, pages 75-89. Springer 2006.
Constantinos Bartzis and Tevfik Bultan. "Efficient BDDs for Bounded Arithmetic Constraints". International Journal on Software Tools for Technology Transfer (STTT), 8(1):26–36, 2006. (Extended version of the TACAS 2003 paper which was one of the papers selected from that conference for a special issue of STTT.)
Tuba Yavuz-Kahveci, Constantinos Bartzis and Tevfik Bultan. "Action Language Verifier, Extended". Proceedings of the 17th International Conference on Computer Aided Verification (CAV 2005), volume 3576 of Lecture Notes in Computer Science, pages 413–417. Springer 2005.
Constantinos Bartzis and Tevfik Bultan. "Widening Arithmetic Automata". In Proceedings of the 16th International Conference on Computer Aided Verification (CAV 2004), volume 3114 of Lecture Notes in Computer Science, pages 321– 333. Springer, 2004.
Constantinos Bartzis and Tevfik Bultan. "Efficient Image Computation in Infinite State Model Checking". In Proceedings of the 15th International Conference on Computer Aided Verification (CAV 2003). Warren A. Hunt, Jr. and Fabio Somenzi, eds., LNCS 2725, pp. 249-261, Springer, Boulder, Colorado, July 8-12, 2003.
Constantinos Bartzis and Tevfik Bultan. "Efficient Symbolic Representations for Arithmetic Constraints in Verification". In the International Journal of Foundations of Computer Science (IJFCS), 14(4):605--624, 2003.
Constantinos Bartzis and Tevfik Bultan. "Construction of Efficient BDDs for Bounded Arithmetic Constraints". In Proceedings of the Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003), Hubert Garavel and John Hatcliff, eds., LNCS 2619, pp. 394-408, Springer, Warsaw, Poland, April 7-11, 2003.
Constantinos Bartzis and Tevfik Bultan. "Automata-Based Representations for Arithmetic Constraints in Automated Verification". In Proceedings of the Seventh International Conference on Implementation and Application of Automata (CIAA 2002). Jean-Marc Champarnaud and Denis Maurel, eds., LNCS 2608, pp. 282-288, University of Tours, Tours, France, July 3-5, 2002.
O. H. Ibarra, J. Su, and C. Bartzis. "Counter Machines and the Safety and Disjointness Problems for Database Queries with Linear Constraints". In Where Mathematics, Computer Science, Linguistics and Biology meet, pages 127--137. Kluwer Academic Publishers, 2001.
C. Bartzis, I. Caragiannis, C. Kaklamanis, and I. Vergados. "Experimental Evaluation of Hot-Potato Routing Algorithms on 2-Dimensional Processor Arrays". In Proceedings of EUROPAR 2000 Parallel Processing, LNCS 1900, Springer, pp. 877-881, 2000.