Mircea Marin

	2011
28		Mircea Marin: Foreword. Logic Journal of the IGPL 19(6): 703-704 (2011)
	2010
27		Mircea Marin, Temur Kutsia: Regular Hedge Language Factorization Revisited. Developments in Language Theory 2010: 328-339
26		Temur Kutsia, Mircea Marin: Order-Sorted Unification with Regular Expression Sorts. RTA 2010: 193-208
25		Mircea Marin, Adrian Craciun: Type Inference for Regular Expression Pattern Matching. SYNASC 2010: 366-373
24		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)
	2009
23		Mircea Marin, Temur Kutsia: Linear Systems for Regular Hedge Languages. ADBIS (Workshops) 2009: 104-112
22		Mircea Marin, Adrian Craciun: Factorizations of Regular Hedge Languages. SYNASC 2009: 307-314
21		Besik Dundua, Temur Kutsia, Mircea Marin: Strategies in PRholog WRS 2009: 32-43
	2008
20		Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghourabi: Computational Origami Construction as Constraint Solving and Rewriting. Electr. Notes Theor. Comput. Sci. 216: 31-44 (2008)
	2007
19		Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi: Modeling Origami for Computational Construction and Beyond. ICCSA (2) 2007: 653-665
18		Fadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem: Logical and algebraic view of Huzita's origami axioms with applications to computational origami. SAC 2007: 767-772
	2006
17		Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi, Asem Kasem: Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami. ICMS 2006: 361-372
16		Mircea Marin, Temur Kutsia: Foundations of the rule-based system rLog. Journal of Applied Non-Classical Logics 16(1-2): 151-168 (2006)
	2005
15		Temur Kutsia, Mircea Marin: Matching with Regular Constraints. LPAR 2005: 215-229
14		Tetsuo Ida, Hidekazu Takahashi, Mircea Marin: Computational Origami of a Morley's Triangle. MKM 2005: 267-282
13		Mircea Marin, Tetsuo Ida: Rule-Based Programming with sigma-Log. SYNASC 2005: 31-38
	2004
12		Mircea Marin, Aart Middeldorp: New completeness results for lazy conditional narrowing. PPDP 2004: 120-131
11		Mircea Marin, Florina Piroi: Deduction and Presentation in rho Log. Electr. Notes Theor. Comput. Sci. 93: 161-182 (2004)
	2003
10		Tetsuo Ida, Mircea Marin, Hidekazu Takahashi: Constraint Functional Logic Programming for Origami Construction. APLAS 2003: 73-88
	2002
9		Tetsuo Ida, Mircea Marin, Taro Suzuki: Reducing Search Space in Solving Higher-Order Equations. Progress in Discovery Science 2002: 19-30
	2001
8		Norio Kobayashi, Mircea Marin, Tetsuo Ida: Collaborative Constraint Functional Logic Programming in an Open Environment. APLAS 2001: 49-59
7		Tetsuo Ida, Mircea Marin, Taro Suzuki: Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations. EUROCAST 2001: 479-493
	2000
6		Tetsuo Ida, Mircea Marin: An Open Environment for Cooperative Equational Solving. APLAS 2000: 163-166
5		Mircea Marin, Tetsuo Ida, Taro Suzuki: Higher-order Lazy Narrowing Calculi in Perspective. WFLP 2000: 238-252
4		Mircea Marin, Tetsuo Ida: Cooperative Constraint Functional Logic Programming. WFLP 2000: 382-390
	1999
3		Mircea Marin, Tetsuo Ida, Taro Suzuki: On Reducing the Search Space of Higher-Order Lazy Narrowing. Fuji International Symposium on Functional and Logic Programming 1999: 319-334
	1998
2		Wolfgang Schreiner, Werner Danielczyk-Landerl, Mircea Marin, Wolfgang Stöcher: A Generic Programming Environment for High-Performance Mathematical Libraries. Generic Programming 1998: 256-268
	1997
1		Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru: A Survey of the Theorema Project. ISSAC 1997: 384-391

Coauthor Index

1	Bruno Buchberger	[1]
2	Adrian Craciun	[22] [25]
3	Werner Danielczyk-Landerl	[2]
4	Besik Dundua	[21]
5	Fadoua Ghourabi	[17] [18] [19] [20]
6	Tetsuo Ida	[3] [4] [5] [6] [7] [8] [9] [10] [13] [14] [17] [18] [19] [20]
7	Tudor Jebelean	[1]
8	Asem Kasem	[17] [18]
9	Norio Kobayashi	[8]
10	Franz Kriftner	[1]
11	Temur Kutsia	[15] [16] [21] [23] [24] [26] [27]
12	Aart Middeldorp	[12]
13	Florina Piroi	[11]
14	Wolfgang Schreiner	[2]
15	Wolfgang Stöcher	[2]
16	Taro Suzuki	[3] [5] [7] [9]
17	Hidekazu Takahashi	[10] [14] [17] [18] [19] [20]
18	Elena Tomuta	[1]
19	Daniela Vasaru	[1]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page