 | 2006 |
|---|
| 11 |       | Vaibhav Mehta,
Constantinos Bartzis,
Haifeng Zhu,
Edmund M. Clarke,
Jeannette M. Wing:
Ranking Attack Graphs.
RAID 2006: 127-144 |
| 10 | | Himanshu Jain,
Constantinos Bartzis,
Edmund M. Clarke:
Satisfiability Checking of Non-clausal Formulas Using General Matings.
SAT 2006: 75-89 |
| 9 | | Constantinos Bartzis,
Tevfik Bultan:
Efficient BDDs for bounded arithmetic constraints.
STTT 8(1): 26-36 (2006) |
| 2005 |
|---|
| 8 | | Tuba Yavuz-Kahveci,
Constantinos Bartzis,
Tevfik Bultan:
Action Language Verifier, Extended.
CAV 2005: 413-417 |
| 2004 |
|---|
| 7 | | Constantinos Bartzis,
Tevfik Bultan:
Widening Arithmetic Automata.
CAV 2004: 321-333 |
| 2003 |
|---|
| 6 | | Constantinos Bartzis,
Tevfik Bultan:
Efficient Image Computation in Infinite State Model Checking.
CAV 2003: 249-261 |
| 5 | | Constantinos Bartzis,
Tevfik Bultan:
Construction of Efficient BDDs for Bounded Arithmetic Constraints.
TACAS 2003: 394-408 |
| 4 | | Constantinos Bartzis,
Tevfik Bultan:
Efficient Symbolic Representations for Arithmetic Constraints in Verification.
Int. J. Found. Comput. Sci. 14(4): 605-624 (2003) |
| 2002 |
|---|
| 3 | | Constantinos Bartzis,
Tevfik Bultan:
Automata-Based Representations for Arithmetic Constraints in Automated Verification.
CIAA 2002: 282-288 |
| 2001 |
|---|
| 2 |  | 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: 127-137 |
| 2000 |
|---|
| 1 | | 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: 877-881 |
Data released under the ODC-BY 1.0 license — See also our legal information page