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:
EdContributed to:
2015
201420132011
2010201020072003Wrote 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.