Constantinos Bartzis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2000–2006
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | RAID | Ranking Attack Graphs. | Vaibhav Mehta, Constantinos Bartzis, Haifeng Zhu, Edmund M. Clarke, Jeannette M. Wing |
| 2006 | SAT | Satisfiability Checking of Non-clausal Formulas Using General Matings. | Himanshu Jain, Constantinos Bartzis, Edmund M. Clarke |
| 2005 | CAV | Action Language Verifier, Extended. | Tuba Yavuz-Kahveci, Constantinos Bartzis, Tevfik Bultan |
| 2004 | CAV | Widening Arithmetic Automata. | Constantinos Bartzis, Tevfik Bultan |
| 2003 | CAV | Efficient Image Computation in Infinite State Model Checking. | Constantinos Bartzis, Tevfik Bultan |
| 2003 | TACAS | Construction of Efficient BDDs for Bounded Arithmetic Constraints. | Constantinos Bartzis, Tevfik Bultan |
| 2000 | EuroPar | Experimental Evaluation of Hot-Potato Routing Algorithms on 2-Dimensional Processor Arrays (Research Note). | Constantinos Bartzis, Ioannis Caragiannis, Christos Kaklamanis, Ioannis Vergados |