According to our database1, Constantinos Bartzis authored at least 11 papers between 2000 and 2006.
Legend:Book In proceedings Article PhD thesis Other
Int. J. Softw. Tools Technol. Transf., 2006
Proceedings of the Theory and Applications of Satisfiability Testing, 2006
Proceedings of the Recent Advances in Intrusion Detection, 9th International Symposium, 2006
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
Int. J. Found. Comput. Sci., 2003
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
Proceedings of the Implementation and Application of Automata, 2002
Counter machines and the safety and disjointness problems for database queries with linear constraints.
Proceedings of the Where Mathematics, 2001
Experimental Evaluation of Hot-Potato Routing Algorithms on 2-Dimensional Processor Arrays (Research Note).
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000