`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: Kutsia:Temur

### Facilitated 1 volumes:

### Contributed to:

### 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.
- RTA-2011-KutsiaLV
- 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.