ask others

Temur Kutsia

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2017
[j17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jar/BaumgartnerKLV17
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jar/BaumgartnerKLV17
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret:
Higher-Order Pattern Anti-Unification in Linear Time. J. Autom. Reasoning 58(2): 293-310 (2017)
[c34]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/padl/DunduaKR17
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/padl/DunduaKR17
Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer:
An Overview of PρLog. PADL 2017: 34-49
2016
[j16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfrea/BuchbergerJKMW16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jfrea/BuchbergerJKMW16
Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger:
Theorema 2.0: Computer-Assisted Natural-Style Mathematics. J. Formalized Reasoning 9(1): 149-185 (2016)
[j15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tplp/DunduaFKM16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/tplp/DunduaFKM16
Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin:
CLP(H): Constraint logic programming for hedges. TPLP 16(2): 141-162 (2016)
[c33]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/iclp/DunduaKR16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/iclp/DunduaKR16
Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer:
P-rho-Log: Combining Logic Programming with Conditional Transformation Systems. ICLP (Technical Communications) 2016: 10:1-10:5
[c32]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - conf/kr/KonevK16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/kr/KonevK16
Boris Konev, Temur Kutsia:
Anti-Unification of Concepts in Description Logic EL. KR 2016: 227-236
[c31]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lopstr/Schmidt-Schauss16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/lopstr/Schmidt-Schauss16
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret:
Nominal Unification of Higher Order Expressions with Recursive Let. LOPSTR 2016: 328-344
[c30]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rv/CernaSK16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rv/CernaSK16
David M. Cerna, Wolfgang Schreiner, Temur Kutsia:
Predicting Space Requirements for a Stream Monitor Specification Language. RV 2016: 135-151
[c29]
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/sycss/CernaSK16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sycss/CernaSK16
David Cerna, Wolfgang Schreiner, Temur Kutsia:
Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. SCSS 2016: 29-41
[c28]
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/sycss/MarinKD16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sycss/MarinKD16
Mircea Marin, Temur Kutsia, Besik Dundua:
A rewrite-based computational model for functional logic programming. SCSS 2016: 95-106
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/Schmidt-Schauss16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/Schmidt-Schauss16
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret:
Nominal Unification of Higher Order Expressions with Recursive Let. CoRR abs/1608.03771 (2016)
2015
[j14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/KutsiaM15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsc/KutsiaM15
Temur Kutsia, Mircea Marin:
Regular expression order-sorted unification and matching. J. Symb. Comput. 67: 42-67 (2015)
[j13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/BouhoulaBKK15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsc/BouhoulaBKK15
Adel Bouhoula, Bruno Buchberger, Laura Kovács, Temur Kutsia:
Special issue on symbolic computation in software science. J. Symb. Comput. 69: 1-2 (2015)
[c27]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/BaumgartnerKLV15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/BaumgartnerKLV15
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret:
Nominal Anti-Unification. RTA 2015: 57-73
[c26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/KotsireasKS15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/KotsireasKS15
Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos:
Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification. RTA 2015: 241-256
[c25]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/synasc/DunduaFK15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/synasc/DunduaFK15
Besik Dundua, Mário Florido, Temur Kutsia:
Lambda Calculus with Regular Types. SYNASC 2015: 129-136
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/DunduaFKM15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/DunduaFKM15
Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin:
CLP(H): Constraint Logic Programming for Hedges. CoRR abs/1503.00336 (2015)
2014
[j12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jar/KutsiaLV14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jar/KutsiaLV14
Temur Kutsia, Jordi Levy, Mateu Villaret:
Anti-unification for Unranked Terms and Hedges. J. Autom. Reasoning 52(2): 155-190 (2014)
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/flops/DunduaFKM14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/flops/DunduaFKM14
Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin:
Constraint Logic Programming for Hedges: A Semantic Reconstruction. FLOPS 2014: 285-301
[c23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/jelia/BaumgartnerK14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/jelia/BaumgartnerK14
Alexander Baumgartner, Temur Kutsia:
A Library of Anti-unification Algorithms. JELIA 2014: 543-557
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wollic/BaumgartnerK14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/wollic/BaumgartnerK14
Alexander Baumgartner, Temur Kutsia:
Unranked Second-Order Anti-Unification. WoLLIC 2014: 66-80
[e5]
- view
  - table of contents in dblp
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/sycss/2014
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sycss/2014
Temur Kutsia, Andrei Voronkov:
6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014. EPiC Series in Computing 30, EasyChair 2014 [contents]
2013
[c21]
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/rta/Kutsia13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/Kutsia13
Temur Kutsia:
Anti-Unification: Algorithms and Applications. UNIF@RTA/TLCA 2013: 2
[c20]
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/rta/BaumgartnerK13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/BaumgartnerK13
Alexander Baumgartner, Temur Kutsia:
Unranked Anti-Unification with Hedge and Context Variables. UNIF@RTA/TLCA 2013: 13-21
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/BaumgartnerKLV13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/BaumgartnerKLV13
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret:
A Variant of Higher-Order Anti-Unification. RTA 2013: 113-127
[e4]
- view
  - table of contents in dblp
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/sycss/2013
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sycss/2013
Laura Kovács, Temur Kutsia:
5th International Symposium on Symbolic Computation in Software Science, SCSS 2013, Castle of Hagenberg, Austria. EPiC Series in Computing 15, EasyChair 2013 [contents]
[e3]
- view
  - table of contents in dblp
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/wwv/2010
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/wwv/2010
Laura Kovács, Temur Kutsia:
6th International Workshop on Automated Specification and Verification of Web Systems, WWV 2010, Vienna, Austria, July 30-31, 2010. EPiC Series in Computing 18, EasyChair 2013 [contents]
2012
[j11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/japll/KovacsK12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/japll/KovacsK12
Laura Kovács, Temur Kutsia:
Special issue on Automated Specification and Verification of Web Systems. J. Applied Logic 10(1): 1 (2012)
[c18]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/synasc/KutsiaM12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/synasc/KutsiaM12
Temur Kutsia, Mircea Marin:
Solving, Reasoning, and Programming in Common Logic. SYNASC 2012: 119-126
2011
[j10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/BallisK11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsc/BallisK11
Demis Ballis, Temur Kutsia:
Foreword. J. Symb. Comput. 46(2): 93-94 (2011)
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/KutsiaLV11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/KutsiaLV11
Temur Kutsia, Jordi Levy, Mateu Villaret:
Anti-Unification for Unranked Terms and Hedges. RTA 2011: 219-234
2010
[j9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fcsc/MarinK10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/fcsc/MarinK10
Mircea Marin, Temur Kutsia:
On the computation of quotients and factors of regular languages. Frontiers of Computer Science in China 4(2): 173-184 (2010)
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/KutsiaLV10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsc/KutsiaLV10
Temur Kutsia, Jordi Levy, Mateu Villaret:
On the relation between Context and Sequence Unification. J. Symb. Comput. 45(1): 74-95 (2010)
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/Kutsia10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsc/Kutsia10
Temur Kutsia:
Symbolic computation in software science: Foreword from the editor. J. Symb. Comput. 45(5): 499-500 (2010)
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dlt/MarinK10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dlt/MarinK10
Mircea Marin, Temur Kutsia:
Regular Hedge Language Factorization Revisited. Developments in Language Theory 2010: 328-339
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rr/CoelhoDFK10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rr/CoelhoDFK10
Jorge Coelho, Besik Dundua, Mário Florido, Temur Kutsia:
A Rule-Based Approach to XML Processing and Web Reasoning. RR 2010: 164-172
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/KutsiaM10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/KutsiaM10
Temur Kutsia, Mircea Marin:
Order-Sorted Unification with Regular Expression Sorts. RTA 2010: 193-208
[e2]
- view
  - table of contents in dblp
- export record
  dblp key:
  - conf/ppdp/2010
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ppdp/2010
Temur Kutsia, Wolfgang Schreiner, Maribel Fernández:
Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria. ACM 2010, ISBN 978-1-4503-0132-9 [contents]

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adbis/MarinK09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/adbis/MarinK09
Mircea Marin, Temur Kutsia:
Linear Systems for Regular Hedge Languages. ADBIS (Workshops) 2009: 104-112
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/iri/CoelhoFK09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/iri/CoelhoFK09
Jorge Coelho, Mário Florido, Temur Kutsia:
Collaborative Schema Construction using Regular Sequence Types. IRI 2009: 290-295
[c11]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1001-4434
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-1001-4434
Besik Dundua, Temur Kutsia, Mircea Marin:
Strategies in PRholog. WRS 2009: 32-43
2008
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/Kutsia08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsc/Kutsia08
Temur Kutsia:
Flat matching. J. Symb. Comput. 43(12): 858-873 (2008)
2007
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/Kutsia07
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsc/Kutsia07
Temur Kutsia:
Solving equations with sequence variables and sequence functions. J. Symb. Comput. 42(3): 352-388 (2007)
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/KutsiaLV07
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/KutsiaLV07
Temur Kutsia, Jordi Levy, Mateu Villaret:
Sequence Unification Through Currying. RTA 2007: 288-302
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wise/CoelhoFK07
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/wise/CoelhoFK07
Jorge Coelho, Mário Florido, Temur Kutsia:
Sequence Disunification and Its Application in Collaborative Schema Construction. WISE Workshops 2007: 91-102
[e1]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ab/2007
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ab/2007
Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia:
Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings. Lecture Notes in Computer Science 4545, Springer 2007, ISBN 978-3-540-73432-1 [contents]
2006
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Kutsia06
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/Kutsia06
Temur Kutsia:
Context Sequence Matching for XML. Electr. Notes Theor. Comput. Sci. 157(2): 47-65 (2006)
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jancl/MarinK06
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jancl/MarinK06
Mircea Marin, Temur Kutsia:
Foundations of the rule-based system rLog. Journal of Applied Non-Classical Logics 16(1-2): 151-168 (2006)
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/japll/BuchbergerCJKKNPPRR06
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/japll/BuchbergerCJKKNPPRR06
Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger:
Theorema: Towards computer-aided mathematical theory exploration. J. Applied Logic 4(4): 470-504 (2006)
2005
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpar/KutsiaM05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/lpar/KutsiaM05
Temur Kutsia, Mircea Marin:
Matching with Regular Constraints. LPAR 2005: 215-229
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpar/PiroiK05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/lpar/PiroiK05
Florina Piroi, Temur Kutsia:
The Theorema Environment for Interactive Proof Development. LPAR 2005: 261-275
[c6]
- no documents available
- export record
  dblp key:
  - conf/wwv/Kutsia05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/wwv/Kutsia05
Temur Kutsia:
Context Sequence Matching for XML. WWV 2005: 103-119
2004
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aisc/Kutsia04
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/aisc/Kutsia04
Temur Kutsia:
Solving Equations Involving Sequence Variables and Sequence Functions. AISC 2004: 157-170
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mkm/KutsiaB04
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/mkm/KutsiaB04
Temur Kutsia, Bruno Buchberger:
Predicate Logic with Sequence Variables and Sequence Function Symbols. MKM 2004: 205-219
2003
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Kutsia03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/Kutsia03
Temur Kutsia:
Equational Prover of THEOREMA. RTA 2003: 367-379
2002
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Kutsia02
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/Kutsia02
Temur Kutsia:
Pattern Unification with Sequence Variables, Flexible Arity Symbols. Electr. Notes Theor. Comput. Sci. 66(5): 52-69 (2002)
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aisc/Kutsia02
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/aisc/Kutsia02
Temur Kutsia:
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms. AISC 2002: 290-304
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpar/Kutsia02
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/lpar/Kutsia02
Temur Kutsia:
Theorem Proving with Sequence Variables and Flexible Arity Symbols. LPAR 2002: 278-291

Coauthor Index

see FAQ

maintained by

at