Travelled to:1 × Canada
1 × Czech Republic
1 × Denmark
1 × Germany
1 × Italy
1 × Spain
1 × The Netherlands
1 × USA
2 × United Kingdom
Collaborated with:J.R.W.Glauert A.Piperno M.Ogawa ∅ R.Kennaway V.v.Oostrom M.Emmer K.Korovin C.Sticksel A.Voronkov S.Chakraborty C.H.Seger R.Gajavelly T.Haldankar D.Chhatani R.Mistry
Talks about:normal (4) orthogon (3) uniform (2) system (2) rewrit (2) reduct (2) level (2) word (2) term (2) superdevelop (1)
Person: Zurab Khasidashvili
DBLP: Khasidashvili:Zurab
Contributed to:
2015
2012
200320022001
1998
1997
199719961993Wrote 10 papers:
- CAV-2015-ChakrabortyKSGH #evaluation
- Word-Level Symbolic Trajectory Evaluation (SC, ZK, CJHS, RG, TH, DC, RM), pp. 128–143.
- IJCAR-2012-EmmerKKSV #bound #model checking #word
- EPR-Based Bounded Model Checking at Word Level (ME, ZK, KK, CS, AV), pp. 210–224.
- RTA-2003-KhasidashviliG #partial order #semantics #term rewriting
- Stable Computational Semantics of Conflict-Free Rewrite Systems (Partial Orders with Duplication) (ZK, JRWG), pp. 467–482.
- RTA-2002-KennawayKP #composition #static analysis #λ-calculus
- Static Analysis of Modularity of β-Reduction in the Hyperbalanced λ-Calculus (RK, ZK, AP), pp. 51–65.
- RTA-2001-KhasidashviliOO #normalisation #orthogonal
- Uniform Normalisation beyond Orthogonality (ZK, MO, VvO), pp. 122–136.
- CSL-1998-KhasidashviliP #normalisation
- Normalization of Typable Terms by Superdevelopments (ZK, AP), pp. 260–282.
- ALP-1997-KhasidashviliO #normalisation
- Perpetuality and Uniform Normalization (ZK, MO), pp. 240–255.
- ICALP-1997-KhasidashviliG #geometry #orthogonal #reduction
- The Geometry of Orthogonal Reduction Spaces (ZK, JRWG), pp. 649–659.
- ALP-1996-KhasidashviliG #normalisation #standard
- Discrete Normalization and Standardization in Deterministic Residual Structures (ZK, JRWG), pp. 135–149.
- RTA-1993-Khasidashvili #normalisation #orthogonal #term rewriting
- Optimal Normalization in Orthogonal Term Rewriting Systems (ZK), pp. 243–258.