Mircea Marin

2008
20	EE	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	EE	Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi: Modeling Origami for Computational Construction and Beyond. ICCSA (2) 2007: 653-665
18	EE	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	EE	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	EE	Temur Kutsia, Mircea Marin: Matching with Regular Constraints. LPAR 2005: 215-229
14	EE	Tetsuo Ida, Hidekazu Takahashi, Mircea Marin: Computational Origami of a Morley's Triangle. MKM 2005: 267-282
13	EE	Mircea Marin, Tetsuo Ida: Rule-Based Programming with sigma-Log. SYNASC 2005: 31-38
2004
12	EE	Mircea Marin, Aart Middeldorp: New completeness results for lazy conditional narrowing. PPDP 2004: 120-131
11	EE	Mircea Marin, Florina Piroi: Deduction and Presentation in rho Log. Electr. Notes Theor. Comput. Sci. 93: 161-182 (2004)
2003
10	EE	Tetsuo Ida, Mircea Marin, Hidekazu Takahashi: Constraint Functional Logic Programming for Origami Construction. APLAS 2003: 73-88
2002
9	EE	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	EE	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	EE	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	Werner Danielczyk-Landerl	[2]
3	Fadoua Ghourabi	[17] [18] [19] [20]
4	Tetsuo Ida	[3] [4] [5] [6] [7] [8] [9] [10] [13] [14] [17] [18] [19] [20]
5	Tudor Jebelean	[1]
6	Asem Kasem	[17] [18]
7	Norio Kobayashi	[8]
8	Franz Kriftner	[1]
9	Temur Kutsia	[15] [16]
10	Aart Middeldorp	[12]
11	Florina Piroi	[11]
12	Wolfgang Schreiner	[2]
13	Wolfgang Stöcher	[2]
14	Taro Suzuki	[3] [5] [7] [9]
15	Hidekazu Takahashi	[10] [14] [17] [18] [19] [20]
16	Elena Tomuta	[1]
17	Daniela Vasaru	[1]

Colors in the list of coauthors