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 × France
1 × Japan
1 × Poland
1 × Serbia
1 × Spain
1 × The Netherlands
1 × United Kingdom
Collaborated with:
M.Marin J.Levy M.Villaret A.Baumgartner I.S.Kotsireas D.E.Simos B.Dundua M.Florido
Talks about:
unif (6) hedg (3) anti (3) regular (2) order (2) equat (2) sort (2) reconstruct (1) constraint (1) construct (1)

Person: Temur Kutsia

DBLP DBLP: Kutsia:Temur

Facilitated 1 volumes:

PPDP 2010Ed

Contributed to:

RTA 20152015
FLOPS 20142014
RTA 20132013
RTA 20112011
DLT 20102010
RTA 20102010
RTA 20072007
RTA 20032003

Wrote 9 papers:

RTA-2015-BaumgartnerKLV #anti
Nominal Anti-Unification (AB, TK, JL, MV), pp. 57–73.
RTA-2015-KotsireasKS #design #equation #orthogonal #unification
Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification (ISK, TK, DES), pp. 241–256.
FLOPS-2014-DunduaFKM #constraints #logic programming #re-engineering #semantics
Constraint Logic Programming for Hedges: A Semantic Reconstruction (BD, MF, TK, MM), pp. 285–301.
RTA-2013-BaumgartnerKLV #anti #higher-order
A Variant of Higher-Order Anti-Unification (AB, TK, JL, MV), pp. 113–127.
Anti-Unification for Unranked Terms and Hedges (TK, JL, MV), pp. 219–234.
DLT-2010-MarinK #revisited
Regular Hedge Language Factorization Revisited (MM, TK), pp. 328–339.
RTA-2010-KutsiaM #order #regular expression #unification
Order-Sorted Unification with Regular Expression Sorts (TK, MM), pp. 193–208.
RTA-2007-KutsiaLV #sequence #unification
Sequence Unification Through Currying (TK, JL, MV), pp. 288–302.
RTA-2003-Kutsia #equation #proving
Equational Prover of THEOREMA (TK), pp. 367–379.

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.