| A survey of the Theorema project B Buchberger, T Jebelean, F Kriftner, M Marin, E Tomuţa, D Văsaru Proceedings of the 1997 international symposium on Symbolic and algebraic …, 1997 | 164 | 1997 |
| Foundations of the rule-based system ρLog M Marin, T Kutsia Journal of Applied Non-Classical Logics 16 (1-2), 151-168, 2006 | 37 | 2006 |
| Computational origami system Eos T Ida, H Takahashi, M Marin, A Kasem, F Ghourabi 4th International Conference on Origami, Science, Mathematics and Education, 69, 2006 | 32 | 2006 |
| Computational construction of a maximum equilateral triangle inscribed in an origami T Ida, H Takahashi, M Marin, F Ghourabi, A Kasem Mathematical Software-ICMS 2006: Second International Congress on …, 2006 | 30 | 2006 |
| Matching with regular constraints T Kutsia, M Marin LPAR 2005, 215-229, 2005 | 30 | 2005 |
| Logical and algebraic view of Huzita's origami axioms with applications to computational origami F Ghourabi, T Ida, H Takahashi, M Marin, A Kasem Proceedings of the 2007 ACM symposium on Applied computing, 767-772, 2007 | 27 | 2007 |
| CFLP: a Mathematica implementation of a distributed constraint solving system M Marin, T Ida, W Schreiner The Mathematica Journal 8 (2), 287-300, 2001 | 25* | 2001 |
| Can Context Sequence Matching Be Used for XML Querying? T Kutsia, M Marin UNIF 2005 5, 77-95, 2005 | 22 | 2005 |
| Functional logic programming with distributed constraint solving M Marin Schloss Hagenberg, RISC-Linz, 2000 | 22 | 2000 |
| Strategies in PRholog B Dundua, T Kutsia, M Marin WRS 2009, arXiv preprint arXiv:1001.4434, 32-43, 2010 | 19 | 2010 |
| On the implementation of a rule-based programming system and some of its applications M Marin, T Kutsia WIL 2003, 55-68, 2003 | 19 | 2003 |
| Modeling origami for computational construction and beyond T Ida, H Takahashi, M Marin, F Ghourabi Lecture Notes in Computer Science 4706, 653, 2007 | 18 | 2007 |
| Programming with Sequence Variables: the Sequentica Package M Marin, D Tepeneu Challenging The Boundaries Of Symbolic Computation: (With CD-ROM), 17-24, 2003 | 18 | 2003 |
| Rule-based programming with Mathematica M Marin, F Piroi IMS 2004, 2004 | 17 | 2004 |
| Collaborative constraint functional logic programming system in an open environment N Kobayashi, M Marin, T Ida IEICE Transactions on Information and Systems 86 (1), 63-70, 2003 | 17 | 2003 |
| Solving, Reasoning, and Programming in Common Logic T Kutsia, M Marin SYNASC 2012, 119-126, 2012 | 15 | 2012 |
| E-origami system Eos A Kasem, T Ida, H Takahashi, M Marin, F Ghourabi Proceedings of the Annual Symposium of Japan Society for Software Science …, 2006 | 14 | 2006 |
| Cooperative constraint functional logic programming M Marin, T Ida, T Suzuki Proceedings International Symposium on Principles of Software Evolution, 214-220, 2000 | 14 | 2000 |
| New completeness results for lazy conditional narrowing M Marin, A Middeldorp PPDP 2004, 120-131, 2004 | 11 | 2004 |
| On reducing the search space of higher-order lazy narrowing M Marin, T Ida, T Suzuki Functional and Logic Programming: 4th Fuji International Symposium, FLOPS’99 …, 1999 | 11 | 1999 |
Besik DunduaKutaisi International UniversityVerified email at kiu.edu.ge
