Temur Kutsia

	2012
30		Laura Kovács, Temur Kutsia: Special issue on Automated Specification and Verification of Web Systems. J. Applied Logic 10(1): 1 (2012)
	2011
29		Temur Kutsia, Jordi Levy, Mateu Villaret: Anti-Unification for Unranked Terms and Hedges. RTA 2011: 219-234
28		Demis Ballis, Temur Kutsia: Foreword. J. Symb. Comput. 46(2): 93-94 (2011)
	2010
27		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
26		Mircea Marin, Temur Kutsia: Regular Hedge Language Factorization Revisited. Developments in Language Theory 2010: 328-339
25		Jorge Coelho, Besik Dundua, Mário Florido, Temur Kutsia: A Rule-Based Approach to XML Processing and Web Reasoning. RR 2010: 164-172
24		Temur Kutsia, Mircea Marin: Order-Sorted Unification with Regular Expression Sorts. RTA 2010: 193-208
23		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)
22		Temur Kutsia, Jordi Levy, Mateu Villaret: On the relation between Context and Sequence Unification. J. Symb. Comput. 45(1): 74-95 (2010)
21		Temur Kutsia: Symbolic computation in software science: Foreword from the editor. J. Symb. Comput. 45(5): 499-500 (2010)
	2009
20		Mircea Marin, Temur Kutsia: Linear Systems for Regular Hedge Languages. ADBIS (Workshops) 2009: 104-112
19		Jorge Coelho, Mário Florido, Temur Kutsia: Collaborative Schema Construction using Regular Sequence Types. IRI 2009: 290-295
18		Besik Dundua, Temur Kutsia, Mircea Marin: Strategies in PRholog WRS 2009: 32-43
	2008
17		Temur Kutsia: Flat matching. J. Symb. Comput. 43(12): 858-873 (2008)
	2007
16		Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia: Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings Springer 2007
15		Temur Kutsia, Jordi Levy, Mateu Villaret: Sequence Unification Through Currying. RTA 2007: 288-302
14		Jorge Coelho, Mário Florido, Temur Kutsia: Sequence Disunification and Its Application in Collaborative Schema Construction. WISE Workshops 2007: 91-102
13		Temur Kutsia: Solving equations with sequence variables and sequence functions. J. Symb. Comput. 42(3): 352-388 (2007)
	2006
12		Temur Kutsia: Context Sequence Matching for XML. Electr. Notes Theor. Comput. Sci. 157(2): 47-65 (2006)
11		Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz: Theorema: Towards computer-aided mathematical theory exploration. J. Applied Logic 4(4): 470-504 (2006)
10		Mircea Marin, Temur Kutsia: Foundations of the rule-based system rLog. Journal of Applied Non-Classical Logics 16(1-2): 151-168 (2006)
	2005
9		Temur Kutsia, Mircea Marin: Matching with Regular Constraints. LPAR 2005: 215-229
8		Florina Piroi, Temur Kutsia: The Theorema Environment for Interactive Proof Development. LPAR 2005: 261-275
7		Temur Kutsia: Context Sequence Matching for XML. WWV 2005: 103-119
	2004
6		Temur Kutsia: Solving Equations Involving Sequence Variables and Sequence Functions. AISC 2004: 157-170
5		Temur Kutsia, Bruno Buchberger: Predicate Logic with Sequence Variables and Sequence Function Symbols. MKM 2004: 205-219
	2003
4		Temur Kutsia: Equational Prover of THEOREMA. RTA 2003: 367-379
	2002
3		Temur Kutsia: Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms. AISC 2002: 290-304
2		Temur Kutsia: Theorem Proving with Sequence Variables and Flexible Arity Symbols. LPAR 2002: 278-291
1		Temur Kutsia: Pattern Unification with Sequence Variables, Flexible Arity Symbols. Electr. Notes Theor. Comput. Sci. 66(5): 52-69 (2002)

Coauthor Index

1	Hirokazu Anai	[16]
2	Demis Ballis	[28]
3	Bruno Buchberger	[5] [11]
4	Jorge Coelho	[14] [19] [25]
5	Adrian Craciun	[11]
6	Besik Dundua	[18] [25]
7	Maribel Fernández	[27]
8	Mário Florido	[14] [19] [25]
9	Katsuhisa Horimoto	[16]
10	Tudor Jebelean	[11]
11	Laura Kovács (Laura Ildikó Kovács)	[11] [30]
12	Jordi Levy	[15] [22] [29]
13	Mircea Marin	[9] [10] [18] [20] [23] [24] [26]
14	Koji Nakagawa	[11]
15	Florina Piroi	[8] [11]
16	Nikolaj Popov	[11]
17	Judit Robu	[11]
18	Markus Rosenkranz	[11]
19	Wolfgang Schreiner	[27]
20	Mateu Villaret	[15] [22] [29]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page