Temur Kutsia

Cited by

	All	Since 2019
Citations	1336	476
h-index	19	12
i10-index	42	18

120

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320248 39 29 30 43 54 32 59 53 44 30 23 69 63 102 84 72 103 94 86 79 90 23

Public access

View all

49 articles

1 article

available

not available

Based on funding mandates

Co-authors

Mircea MarinWest University of TimisoaraVerified email at info.uvt.ro
Bruno BuchbergerProfesser for Computer Mathematics, Johannes Kepler UniversityVerified email at jku.at
Besik DunduaKutaisi International UniversityVerified email at kiu.edu.ge
Tudor JebeleanComputer Mathematics Professor, Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria and University of the West Timisoara, RomaniaVerified email at JKU.AT
Jordi LevyResearch Scientist, IIIA-CSICVerified email at iiia.csic.es
Mateu Villaret AuselleUniversitat de GironaVerified email at ima.udg.edu
David M. CernaScientist- CAS ICSVerified email at cs.cas.cz
Laura KovacsTU Wien, Vienna, AustriaVerified email at tuwien.ac.at
Adrian CraciunAssociate Professor, West University TimisoaraVerified email at e-uvt.ro
Jorge CoelhoProfessor of Computer Engineering, School of Engineering, Polytechnic Institute of PortoVerified email at isep.ipp.pt
Manfred Schmidt-SchaußProfessor für Informatik, Goethe-University FrankfurtVerified email at ki.informatik.uni-frankfurt.de
Boris KonevProfessor of Computer Science, Liverpool UniversityVerified email at liverpool.ac.uk
Nino AmiridzeIvane Javakhishvili Tbilisi State UniversityVerified email at tsu.ge
Mauricio Ayala RinconProfessor of Computer Science and Mathematics, Universidade de BrasiliaVerified email at unb.br
Ilias S. Kotsireas, Director, CARGO labWilfrid Laurier UniversityVerified email at wlu.ca
Dimitris E. SimosKey Researcher, SBA ResearchVerified email at sba-research.org
Mikheil RukhaiaInstitute of Applied Mathematics, Tbilisi State UniversityVerified email at logic.at
Manfred DrosteProfessor, Institut für Informatik, Universität LeipzigVerified email at informatik.uni-leipzig.de
Katsuhisa HorimotoNational Institute of Advanced Industrial Science and TechnologyVerified email at aist.go.jp
Demis BallisUniversità degli Studi di UdineVerified email at uniud.it

Temur Kutsia

Research Institute for Symbolic Computation, Johannes Kepler University Linz

Verified email at risc.jku.at - Homepage

Unification and anti-unification rule-based programming rewriting symbolic constraint solving automated reasoning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Theorema: Towards computer-aided mathematical theory exploration B Buchberger, A Crǎciun, T Jebelean, L Kovács, T Kutsia, K Nakagawa, ... Journal of applied logic 4 (4), 470-504, 2006	226	2006
Theorema 2.0: computer-assisted natural-style mathematics B Buchberger, T Jebelean, T Kutsia, A Maletzky, W Windsteiger Journal of Formalized Reasoning 9 (1), 149-185, 2016	57	2016
Anti-unification for unranked terms and hedges T Kutsia, J Levy, M Villaret Journal of Automated Reasoning 52 (2), 155-190, 2014	55	2014
Unification with sequence variables and flexible arity symbols and its extension with pattern-terms T Kutsia Artificial Intelligence, Automated Reasoning, and Symbolic Computation, 290-304, 2002	54	2002
Foundations of the rule-based system ρLog M Marin, T Kutsia Journal of Applied Non-Classical Logics 16 (1-2), 151-168, 2006	44	2006
Solving equations with sequence variables and sequence functions T Kutsia Journal of Symbolic Computation 42 (3), 352-388, 2007	43	2007
Solving and Proving in Equational Theories with Sequence Variables and Flexible Arity Symbols. T Kutsia PhD Thesis, RISC, Johannes Kepler University Linz, 2002	41*	2002
Predicate logic with sequence variables and sequence function symbols T Kutsia, B Buchberger International Conference on Mathematical Knowledge Management, 205-219, 2004	32	2004
Nominal unification of higher order expressions with recursive let M Schmidt-Schauß, T Kutsia, J Levy, M Villaret Logic-Based Program Synthesis and Transformation: 26th International …, 2017	31	2017
Matching with regular constraints T Kutsia, M Marin International Conference on Logic for Programming Artificial Intelligence …, 2005	29	2005
Context sequence matching for XML T Kutsia Electronic Notes in Theoretical Computer Science 157 (2), 47-65, 2006	24	2006
Higher-order pattern anti-unification in linear time A Baumgartner, T Kutsia, J Levy, M Villaret Journal of Automated Reasoning 58 (2), 293-310, 2017	22	2017
Nominal anti-unification A Baumgartner, T Kutsia, J Levy, M Villaret 26th International Conference on Rewriting Techniques and Applications (RTA …, 2015	22	2015
Anti-unification and generalization: a survey DM Cerna, T Kutsia IJCAI 2023: 32nd International Joint Conference on Artifical Intelligence …, 2023	20	2023
A variant of higher-order anti-unification A Baumgartner, T Kutsia, J Levy, M Villaret	20	2013
Can Context Sequence Matching Be Used for XML Querying? T Kutsia, M Marin Proceedings of UNIF 5, 77-95, 2005	20	2005
Solving equations involving sequence variables and sequence functions T Kutsia International Conference on Artificial Intelligence and Symbolic Computation …, 2004	20	2004
A Library of Anti-Unification Algorithms A Baumgartner, T Kutsia www.risc.jku.at/publications/download/risc_5003/au_library.pdf, 2014	19	2014
Strategies in prholog B Dundua, T Kutsia, M Marin arXiv preprint arXiv:1001.4434, 2010	19	2010
On the implementation of a rule-based programming system and some of its applications M Marin, T Kutsia Proc. of the 4th Int. Workshop on the Implementation of Logics (WIL’03), 55-68, 2003	19	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors