BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Poland
1 × United Kingdom
3 × USA
Collaborated with:
T.Bultan H.Jain E.M.Clarke T.Yavuz-Kahveci
Talks about:
arithmet (3) constraint (2) automata (2) effici (2) check (2) represent (1) construct (1) satisfi (1) languag (1) infinit (1)

Person: Constantinos Bartzis

DBLP DBLP: Bartzis:Constantinos

Contributed to:

SAT 20062006
CAV 20052005
CAV 20042004
CAV 20032003
TACAS 20032003
CIAA 20022002

Wrote 6 papers:

SAT-2006-JainBC #satisfiability #using
Satisfiability Checking of Non-clausal Formulas Using General Matings (HJ, CB, EMC), pp. 75–89.
CAV-2005-Yavuz-KahveciBB #verification
Action Language Verifier, Extended (TYK, CB, TB), pp. 413–417.
CAV-2004-BartzisB #automaton
Widening Arithmetic Automata (CB, TB), pp. 321–333.
CAV-2003-BartzisB #image #infinity #model checking #performance
Efficient Image Computation in Infinite State Model Checking (CB, TB), pp. 249–261.
TACAS-2003-BartzisB #bound #constraints #performance
Construction of Efficient BDDs for Bounded Arithmetic Constraints (CB, TB), pp. 394–408.
CIAA-2002-BartzisB #automation #constraints #verification
Automata-Based Representations for Arithmetic Constraints in Automated Verification (CB, TB), pp. 282–288.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.