Temur Kutsia - RankMe

117 papers A* 2A 1B 13C 13Misc 6Journal 39Unranked 31

Year	Rank	Type	Title / Venue / Authors
2026	—	`ed.`	Logics in Artificial Intelligence - 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part I JELIA (1) Giovanni Casini, Besik Dundua, Temur Kutsia
2026	—	`ed.`	Logics in Artificial Intelligence - 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part II JELIA (2) Giovanni Casini, Besik Dundua, Temur Kutsia
2025	B	`conf`	Combining Generalization Algorithms in Regular Collapse-Free Theories. FSCD Mauricio Ayala-Rincón, David M. Cerna, Temur Kutsia, Christophe Ringeissen
2025	J	`jnl`	Correction to: Certified First-Order AC-Unification and Applications. J. Autom. Reason. Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho
2025	C	`conf`	Equational Generalization Problems with Atom-Variables. CICM Alexander Baumgartner, Temur Kutsia, Daniele Nantes-Sobrinho, Manfred Schmidt-Schauß
2025	J	`jnl`	Generalization Problems with Atom-Variables in Languages with Binders and Equational Theories. CoRR Daniele Nantes-Sobrinho, Manfred Schmidt-Schauß, Alexander Baumgartner, Temur Kutsia
2025	J	`jnl`	Generalization of Variadic Structures with Binders: A Tool for Structural Code Comparison. CoRR Alexander Baumgartner, Temur Kutsia
2025	C	`conf`	Graded Quantitative Narrowing. CICM Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Georg Ehling, Temur Kutsia
2025	J	`jnl`	Graded Quantitative Narrowing. CoRR Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Georg Ehling, Temur Kutsia
2025	C	`conf`	Higher-Order Pattern Unification Modulo Similarity Relations. LOPSTR Besik Dundua, Temur Kutsia
2025	J	`jnl`	Higher-Order Pattern Unification Modulo Similarity Relations. CoRR Besik Dundua, Temur Kutsia
2025	J	`jnl`	Nominal anti-unification. CoRR Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
2025	—	`conf`	Verification of an Anti-unification Algorithm in PVS. NFM Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Maria Júlia Dias Lima, Mariano M. Moscato, Temur Kutsia
2024	B	`ed.`	15th International Conference on Interactive Theorem Proving, ITP 2024, Tbilisi, Georgia, September 9-14, 2024 ITP Yves Bertot, Temur Kutsia, Michael Norrish
2024	J	`jnl`	Certified First-Order AC-Unification and Applications. J. Autom. Reason. Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho
2024	—	`conf`	Equational Anti-unification over Absorption Theories. IJCAR (2) Mauricio Ayala-Rincón, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia
2024	—	`ed.`	Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis, LSFA/HCVS 2023, and 10th Workshop on Horn Clauses for Verification and Synthesis, Rome, Italy & Paris, France, July 1-2, 2023 & April 23, 2023. LSFA/HCVS Temur Kutsia, Daniel Ventura, David Monniaux, José F. Morales
2024	—	`conf`	Solving Quantitative Equations. IJCAR (2) Georg Ehling, Temur Kutsia
2023	A*	`conf`	Anti-unification and Generalization: A Survey. IJCAI David M. Cerna, Temur Kutsia
2023	J	`jnl`	Anti-unification and Generalization: A Survey. CoRR David M. Cerna, Temur Kutsia
2023	J	`jnl`	Correction to: Preface. Ann. Math. Artif. Intell. Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia
2023	—	`conf`	Enumerating All Maximal Clique-Partitions of an Undirected Graph. FROM Mircea Marin, Temur Kutsia, Cleo Pau, Mikheil Rukhaia
2023	J	`jnl`	Equational Anti-Unification over Absorption Theories. CoRR Mauricio Ayala-Rincón, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia
2023	C	`conf`	Nominal AC-Matching. CICM Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho
2023	J	`jnl`	Preface. Ann. Math. Artif. Intell. Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia
2022	A	`conf`	A Framework for Approximate Generalization in Quantitative Theories. IJCAR Temur Kutsia, Cleo Pau
2022	C	`ed.`	Intelligent Computer Mathematics - 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings CICM Kevin Buzzard, Temur Kutsia
2022	J	`jnl`	Nominal Unification and Matching of Higher Order Expressions with Recursive Let. Fundam. Informaticae Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret, Yunus D. K. Kutz
2022	J	`jnl`	Preface. Ann. Math. Artif. Intell. Temur Kutsia, Andrew M. Marshall
2021	J	`jnl`	Nominal Unification and Matching of Higher Order Expressions with Recursive Let. CoRR Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret, Yunus D. K. Kutz
2021	—	`ed.`	Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021. SCSS Temur Kutsia
2021	B	`conf`	Proximity-Based Unification and Matching for Fully Fuzzy Signatures. FUZZ-IEEE Cleo Pau, Temur Kutsia
2021	J	`jnl`	Variadic equational matching in associative and commutative theories. J. Symb. Comput. Besik Dundua, Temur Kutsia, Mircea Marin
2020	—	`conf`	A Rule-Based System for Computation and Deduction in Mathematica. WRLA Mircea Marin, Besik Dundua, Temur Kutsia
2020	B	`conf`	Constraint Solving over Multiple Similarity Relations. FSCD Besik Dundua, Temur Kutsia, Mircea Marin, Ioana-Cleopatra Pau
2020	J	`jnl`	Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques. Ann. Math. Artif. Intell. Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos
2020	J	`jnl`	Higher-order pattern generalization modulo equational theories. Math. Struct. Comput. Sci. David M. Cerna, Temur Kutsia
2020	J	`jnl`	Idempotent Anti-unification. ACM Trans. Comput. Log. David M. Cerna, Temur Kutsia
2020	J	`jnl`	McCarthy-Kleene fuzzy automata and MSO logics. Inf. Comput. Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner
2020	—	`ed.`	Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020. UNIF Temur Kutsia, Andrew M. Marshall
2020	—	`conf`	Proximity-Based Unification with Arity Mismatch. UNIF Temur Kutsia, Cleo Pau
2020	B	`conf`	Unital Anti-Unification: Type and Algorithms. FSCD David M. Cerna, Temur Kutsia
2019	B	`conf`	A Generic Framework for Higher-Order Generalizations. FSCD David M. Cerna, Temur Kutsia
2019	C	`conf`	A Rule-based Approach to the Decidability of Safety of ABACα. SACMAT Mircea Marin, Temur Kutsia, Besik Dundua
2019	—	`conf`	Matching and Generalization Modulo Proximity and Tolerance Relations. TbiLLC Temur Kutsia, Cleo Pau
2019	C	`conf`	Solving Proximity Constraints. LOPSTR Temur Kutsia, Cleo Pau
2019	J	`jnl`	Symbolic computation in software science. J. Symb. Comput. James Harold Davenport, Temur Kutsia
2019	—	`conf`	Unranked Nominal Unification. TbiLLC Besik Dundua, Temur Kutsia, Mikheil Rukhaia
2019	C	`conf`	Variadic Equational Matching. CICM Besik Dundua, Temur Kutsia, Mircea Marin
2018	J	`jnl`	Higher-Order Equational Pattern Anti-Unification [Preprint]. CoRR David M. Cerna, Temur Kutsia
2018	B	`conf`	Higher-Order Equational Pattern Anti-Unification. FSCD David M. Cerna, Temur Kutsia
2018	J	`jnl`	Pattern-based calculi with finitary matching. Log. J. IGPL Sandra Alves, Besik Dundua, Mário Florido, Temur Kutsia
2018	B	`conf`	Term-Graph Anti-Unification. FSCD Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
2017	C	`conf`	An Overview of PρLog. PADL Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer
2017	J	`jnl`	Higher-Order Pattern Anti-Unification in Linear Time. J. Autom. Reason. Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
2017	—	`conf`	MK-fuzzy Automata and MSO Logics. GandALF Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner
2017	—	`ed.`	Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings MACIS Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos
2017	J	`jnl`	Unranked second-order anti-unification. Inf. Comput. Alexander Baumgartner, Temur Kutsia
2016	—	`conf`	A rewrite-based computational model for functional logic programming. SCSS Mircea Marin, Temur Kutsia, Besik Dundua
2016	A*	`conf`	Anti-Unification of Concepts in Description Logic EL. KR Boris Konev, Temur Kutsia
2016	C	`conf`	Nominal Unification of Higher Order Expressions with Recursive Let. LOPSTR Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret
2016	J	`jnl`	Nominal Unification of Higher Order Expressions with Recursive Let. CoRR Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret
2016	—	`conf`	P-rho-Log: Combining Logic Programming with Conditional Transformation Systems. ICLP (Technical Communications) Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer
2016	B	`conf`	Predicting Space Requirements for a Stream Monitor Specification Language. RV David M. Cerna, Wolfgang Schreiner, Temur Kutsia
2016	—	`conf`	Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. SCSS David M. Cerna, Wolfgang Schreiner, Temur Kutsia
2016	J	`jnl`	Theorema 2.0: Computer-Assisted Natural-Style Mathematics. J. Formaliz. Reason. Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger
2015	J	`jnl`	CLP(H): Constraint Logic Programming for Hedges. CoRR Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
2015	—	`conf`	Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification. RTA Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos
2015	Misc	`conf`	Lambda Calculus with Regular Types. SYNASC Besik Dundua, Mário Florido, Temur Kutsia
2015	—	`conf`	Nominal Anti-Unification. RTA Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
2015	J	`jnl`	Regular expression order-sorted unification and matching. J. Symb. Comput. Temur Kutsia, Mircea Marin
2015	J	`jnl`	Special issue on symbolic computation in software science. J. Symb. Comput. Adel Bouhoula, Bruno Buchberger, Laura Kovács, Temur Kutsia
2014	—	`ed.`	6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014 SCSS Temur Kutsia, Andrei Voronkov
2014	B	`conf`	A Library of Anti-unification Algorithms. JELIA Alexander Baumgartner, Temur Kutsia
2014	J	`jnl`	Anti-unification for Unranked Terms and Hedges. J. Autom. Reason. Temur Kutsia, Jordi Levy, Mateu Villaret
2014	Misc	`conf`	Constraint Logic Programming for Hedges: A Semantic Reconstruction. FLOPS Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
2014	—	`conf`	Nominal Anti-Unification. UNIF Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
2014	—	`ed.`	Proceedings of the 28th International Workshop on Unification, UNIF 2014, Vienna, Austria, July 13, 2014. UNIF Temur Kutsia, Christophe Ringeissen
2014	C	`conf`	Unranked Second-Order Anti-Unification. WoLLIC Alexander Baumgartner, Temur Kutsia
2013	—	`ed.`	5th International Symposium on Symbolic Computation in Software Science, SCSS 2013, Castle of Hagenberg, Austria SCSS Laura Kovács, Temur Kutsia
2013	—	`ed.`	6th International Workshop on Automated Specification and Verification of Web Systems, WWV 2010, Vienna, Austria, July 30-31, 2010 WWV Laura Kovács, Temur Kutsia
2013	—	`conf`	A Variant of Higher-Order Anti-Unification. RTA Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
2013	—	`conf`	Anti-Unification: Algorithms and Applications. UNIF@RTA/TLCA Temur Kutsia
2013	—	`conf`	Unranked Anti-Unification with Hedge and Context Variables. UNIF@RTA/TLCA Alexander Baumgartner, Temur Kutsia
2012	Misc	`conf`	Solving, Reasoning, and Programming in Common Logic. SYNASC Temur Kutsia, Mircea Marin
2012	J	`jnl`	Special issue on Automated Specification and Verification of Web Systems. J. Appl. Log. Laura Kovács, Temur Kutsia
2011	—	`conf`	Anti-Unification for Unranked Terms and Hedges. RTA Temur Kutsia, Jordi Levy, Mateu Villaret
2011	J	`jnl`	Foreword. J. Symb. Comput. Demis Ballis, Temur Kutsia
2010	—	`conf`	A Rule-Based Approach to XML Processing and Web Reasoning. RR Jorge Coelho, Besik Dundua, Mário Florido, Temur Kutsia
2010	J	`jnl`	On the computation of quotients and factors of regular languages. Frontiers Comput. Sci. China Mircea Marin, Temur Kutsia
2010	J	`jnl`	On the relation between Context and Sequence Unification. J. Symb. Comput. Temur Kutsia, Jordi Levy, Mateu Villaret
2010	—	`conf`	Order-Sorted Unification with Regular Expression Sorts. RTA Temur Kutsia, Mircea Marin
2010	C	`ed.`	Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria PPDP Temur Kutsia, Wolfgang Schreiner, Maribel Fernández
2010	C	`conf`	Regular Hedge Language Factorization Revisited. Developments in Language Theory Mircea Marin, Temur Kutsia
2010	J	`jnl`	Symbolic computation in software science: Foreword from the editor. J. Symb. Comput. Temur Kutsia
2009	—	`ch.`	Automated Reasoning. Hagenberg Research Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger
2009	Misc	`conf`	Collaborative Schema Construction using Regular Sequence Types. IRI Jorge Coelho, Mário Florido, Temur Kutsia
2009	—	`conf`	Linear Systems for Regular Hedge Languages. ADBIS (Workshops) Mircea Marin, Temur Kutsia
2009	—	`conf`	Strategies in PRholog WRS Besik Dundua, Temur Kutsia, Mircea Marin
2008	J	`jnl`	Flat matching. J. Symb. Comput. Temur Kutsia
2008	—	`conf`	Matching with Membership Constraints for Hedge and Context Variables. UNIF Mircea Marin, Temur Kutsia
2007	—	`ed.`	Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings AB Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia
2007	—	`conf`	Sequence Disunification and Its Application in Collaborative Schema Construction. WISE Workshops Jorge Coelho, Mário Florido, Temur Kutsia
2007	—	`conf`	Sequence Unification Through Currying. RTA Temur Kutsia, Jordi Levy, Mateu Villaret
2007	J	`jnl`	Solving equations with sequence variables and sequence functions. J. Symb. Comput. Temur Kutsia
2006	J	`jnl`	Foundations of the rule-based system rLog. J. Appl. Non Class. Logics Mircea Marin, Temur Kutsia
2006	J	`jnl`	Theorema: Towards computer-aided mathematical theory exploration. J. Appl. Log. Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger
2005	—	`conf`	Context Sequence Matching for XML. WWV Temur Kutsia
2005	—	`conf`	Context Sequence Matching for XML. WWV Temur Kutsia
2005	B	`conf`	Matching with Regular Constraints. LPAR Temur Kutsia, Mircea Marin
2005	B	`conf`	The Theorema Environment for Interactive Proof Development. LPAR Florina Piroi, Temur Kutsia
2004	—	`conf`	Predicate Logic with Sequence Variables and Sequence Function Symbols. MKM Temur Kutsia, Bruno Buchberger
2004	Misc	`conf`	Solving Equations Involving Sequence Variables and Sequence Functions. AISC Temur Kutsia
2003	—	`conf`	Equational Prover of THEOREMA. RTA Temur Kutsia
2002	—	`conf`	Pattern Unification with Sequence Variables, Flexible Arity Symbols. UNCL@ICALP Temur Kutsia
2002	B	`conf`	Theorem Proving with Sequence Variables and Flexible Arity Symbols. LPAR Temur Kutsia
2002	Misc	`conf`	Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms. AISC Temur Kutsia