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 × 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 DBLP: Khasidashvili:Zurab

Contributed to:

CAV 20152015
IJCAR 20122012
RTA 20032003
RTA 20022002
RTA 20012001
CSL 19981998
ALP/HOA 19971997
ICALP 19971997
ALP 19961996
RTA 19931993

Wrote 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.

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.