List of publications
PhD Thesis
Functional Logic Programming with Distributed Constraint Solving.
- Thesis advisor: Prof. Dr. Bruno Buchberger
- Defense date: May 2000
Journal publications
- G. Senizergues, M. Marin, B. Dundua, V. Diekert, C. Camino.
Regular matching problems for infinite trees. Logical Methods in Computer Science, 18, pp. 25-1-25-38. DOI: 10:46298/LMCS-18(1:25)2022, 2022.
- B Dundua, T. Kutsia, M Marin. Variadic equational matching in associative and commutative theories. Journal of Symbolic Computation 106:78-109, 2021.
- B Dundua, M Florido, T. Kutsia, M Marin. CLP(H): Constraint logic programming for hedges. Theory and Practice of Logic Programming 16 (2):141-162, 2016.
- T. Kutsia, M. Marin. Regular Expression Order-Sorted Unification and Matching. Journal of Symbolic Computation 67:42-67, 2015.
- M. Marin, T. Kutsia. On the computation of quotients and factors of regular languages. Frontiers of Computer Science in China, 4(2):173-184. June 2010. Published by Higher Education Press and Springer-Verlag.
- M. Marin, T. Ida. Progress of ρLog, a rule-based programming
system. Mathematica in Education and Research 11(1):50-66, 2006.
Published by iJournals.
- M. Marin, T. Kutsia. Foundations of the Rule-Based System ρLog. Journal of Applied Non-Classical Logics 16(1-2):151-168, 2006.
- N. Kobayashi, M. Marin, Y. Tanaka, H. Urushihara. On the
Development of an Analysis System for Upstream Sequences in
Dictyostelium discoideum Genome. Computer Software 22(3):167-172. 2005.
- N. Kobayashi, M. Marin, T. Ida. Collaborative Constraint
Functional Logic Programming System in an Open Environment. IEICE
Transactions on Information and Systems, E86-D(1):63-70, January 2003.
- M. Marin, T. Ida, W. Schreiner. CFLP: A Mathematica Implementation
of a Distributed Constraint Solving System. The Mathematica Journal, 8(2):287-300, 2001.
T. Ida, M. Marin, N. Kobayashi. An Open Environment for Cooperative Equational Solving. In International Software Engineering Symposium 2001 (ISES01), March 22-28, 2001, Wuhan China. Wuhan University Journal of Natural Sciences, 6(1-2):169-174.
Refereed articles in proceedings of conferences, symposia, and workshops
- M Marin, B Dundua, T Kutsia. A Rule-Based System for Computation and Deduction in Mathematica. In: Escobar S., MartÃ-Oliet N., editors, Rewriting Logic and Its Applications. WRLA 2020. LNCS 12328, pages 57-74. Springer, Cham. https://doi.org/10.1007/978-3-030-63595-4_4.
-
B. Dundua, T. Kutsia, M. Marin, C. Pau. Extending the ρLog Calculus with Proximity Relations. In: G. Jaiani, D. Natroshvili,editors, Applications of Mathematics and Informatics in Natural Sciences and Engineering. AMINSE 2019. Springer Proceedings in Mathematics and Statistics, vol 334, pages 83-100. Springer, Cham. 2020. https://doi.org/10.1007/978-3-030-56356-1_6
-
B. Dundua, T. Kutsia, M. Marin, M. Rukhaia. Specification and Analysis of ABAC Policies in a Rule-Based Framework. In: G. Jaiani, D. Natroshvili, editors, Applications of Mathematics and Informatics in Natural Sciences and Engineering. AMINSE 2019. Springer Proceedings in Mathematics and Statistics, vol 334, pages 101-116. Springer, Cham. 2020. https://doi.org/10.1007/978-3-030-56356-1_7
- B. Dundua, T. Kutsia, M. Marin, C Pau. Constraint solving over multiple similarity relations. In: Zena M. Ariola, editor, 5th International Conference on Formal Structures for Computation and Deduction. FSCD 2020. LIPIcs vol. 167. gttps://10.4230/LIPIcs.FSCD.2020.30
-
B. Dundua, T. Kutsia, and M. Marin. Variadic equational matching. In: C. Kaliszyk, E. Brady, A. Kohlhase, and C. Sacerdoti Coen, editors, Intelligent
Computer Mathematics, pages 77--92, Cham, 2019. LNAI 11617. Springer International Publishing.
- M Marin, T Kutsia, B Dundua. A Rule-based Approach to the Decidability of Safety of ABACα.
In F. Kerschbaum, A. Mashatan, J. Niu, and A. J. Lee, editors, Procs. of the 24th ACM Symposium on Access Control Models and Technologies, SACMAT, pages 173-178, Toronto, ON, Canada, June 2019. ACM.
- M Marin, T Kutsia, B Dundua. A rewrite-based computational model for functional logic programming. Procs. of SCSS 2016, pages 95-106. 2016.
- M. Marin, G. Istrate. Learning cover context-free grammars from structural data. In Procs. of ICTAC 2014. LNCS. Springer. Bucuresti, Romania. September 2014.
- G. Istrate, C. Bonchis, M. Marin. Interactive Particle Systems and Random Walks on Hypergraphs. 10th International Workshop on Developments in Computational Models (DCM 2014). Vienna Summer of Logic. Vienna. July 2014.
- B. Dundua, M. Florido, T. Kutsia, M. Marin. Constraint Logic Programming for Hedges: a Semantic Reconstruction. In Procs. of FLOPS 2014. LNCS 8475. Springer. Kanazawa, Japan. June 2014.
- T. Kutsia, M. Marin. Solving, Reasoning, and Programming in Common Logic. In Procs. of SYNASC 2012.
IEEE Computer Society pages 119-126. Timisoara, Romania. 2012. Technical Report version available here.
- M. Marin, A. Craciun. Type inference for regular expression pattern matching. In Procs. of SYNASC 2010. IEEE Computer Society pages 366-376. Timisoara, Romania. 2011.
- M. Marin, T. Kutsia. Regular Hedge Language Factorization Revisited. In Sheng Yu, editor, Procs. of DLT 2010. LNCS 6224, pages 328-339. Springer. London, Ontario, Canada. August 2010.
- T. Kutsia, M. Marin. Order-Sorted Unification with Regular Expres sion Sorts. In Ch. Lynch, editor, Procs. of RTA 2010, Edinburgh, UK. Leibniz International Procs. in Informatics (LIPIcs), pages 193-208. July 2010.
- M. Marin, A. Craciun. Factorizations of Regular Hedge Languages.
In S. Watt, V. Negru, T. Ida, T. Jebelean, D. Petcu, and D. Zaharie,
editors, Procs. of SYNASC 2009. IEEE Computer Society Order No. P3964, pages 307314. Timisoara, Romania. March 2010.
- B. Dundua, T. Kutsia, M. Marin. Strategies in PρLog. In M.
Fernandez, editor, Procs. of 9th Intl. Workshop on Reduction Strategies
in Rewriting and Programming (WRS 2009). ENTCS 15:32-43. Brasilia,
Brazil. 2009.
- M. Marin, T. Kutsia. Linear Systems for Regular Hedge Languages.
In J. Grundspenkis, M. Kirikova, Y. Manolopoulos, and L. Novickis,
editors, Advances in Databases and Information Systems. Associated Workshops and Doctoral Consortium of the 13th East-European Conference, ADBIS 2009. Proceedings. LNCS 5968, pages 104-112. Riga, Latvia, 2009.
- T. Ida, M. Marin, H. Takahashi, F. Ghourabi. Computational Origami
Construction as Constraint Solving and Rewriting. In R. Echahed,
editor, Procs. of 16th Intl. Workshop on Functional and (Constraint) Logic Programming (WFLP 2007), pages 139-152. Paris, France. June 25 2007.
- F. Ghourabi, T. Ida, H. Takahashi, M. Marin, A. Kasem. Logical and
Algebraic View of Huzita's Origami Axioms with Applications to
Computational Origami. In Procs. of the 22nd ACM Symposium on Applied Computing. ACM Press, pages 767-772. 2007.
- T. Ida, H. Takahashi, M. Marin, F. Ghourabi. Modeling Origami for
Computational Construction and Beyond. In O. Gervasi, M. Gavrilova,
editors, ICCSA 2007, Part II. LNCS 4706, pages 653-665. Kuala Lumpur,
Malaysia. August 26-29 2007. T. Kutsia, M. Marin. Solving Linear
Constraints for Hedges and Contexts. Procs. of UNIF 2006, pages 89-107. Seattle USA, 2006.
- T. Ida, H. Takahashi, M. Marin, A. Kasem, F. Ghourabi. Computational Origami System Eos. In Procs. of 4th Intl. Conference on Origami, Science, Mathematics and Education (4OSME), page 69. Pasadena CA, USA. September 8-10 2006.
- T. Ida, H. Takahashi, M. Marin, A. Kasem, F. Ghourabi.
Computational Construction of a Maximal Equilateral Triangle Inscribed
in an Origami. In A. Iglesias and N. Takayama, editors, Procs. of Second International Congress on Mathematical Software, LNCS 4151, pages 361-372. Castro Urdiales, Spain, September 1-3 2006.
- T. Ida, M. Marin, H. Takahashi. Computational Origami of a Morley's Triangle. In M. Kohlhase, editor, Procs. of MKM 2005. LNCS 3863, pages 267-282. July 15-17 2005.
- M. Marin, T. Ida. Rule-based Programming with ρLog. In Procs. of SYNASC 2005, pages 31-38, IEEE Computer Society Press. Timisoara, Romania. September 26-30 2005.
- T. Kutsia, M. Marin. Can Context Sequence Matching Be Used for XML Querying? Procs. of UNIF 5, 77-95 (2005).
- T. Kutsia, M. Marin. Matching with Regular Constraints. In G. Sutcliffe and A. Voronkov, editors, Procs. of the 12th Intl. Conference (LPAR05), LNAI 3835, pages 215-229. Springer Verlag, 2005.
- M. Marin, A. Middeldorp. New Completeness Results for Lazy Conditional Narrowing. In Procs. of 6th ACM-SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'04), pages 120-131. Verona, Italy, August 24-26 2004. ACM Press.
- M. Marin, F. Piroi. Deduction and presentation in ρLog. In F. Kamareddine, editor, Procs. of the Mathematical Knowledge Management Symposium, Heriot-Watt University, Edinburgh, Scotland. ENTCS 93:161-182, 2004.
- M. Marin, T. Kutsia. A Rule-based Approach to the Implementation
of Evaluation Strategies. In D. Petcu, V. Negru, D. Zaharie, and T.
Jebelean, editors, Procs. of SYNASC 2004, pages 227-241, Timisoara, Romania, September 26-30 2004. Mirton.
- M. Marin, T. Kutsia. Programming with Transformation Rules. In Procs. of SYNASC 2003, pages 157-167, Timisoara, Romania, October 1-4 2003.
- T. Ida, M. Marin. Functional Logic Origami Programming with Open CFLP. In P. Mitic, P. Ramsden, and J. Carne, editors, Challenging the Boundaries of Symbolic Computation. Procs. of IMS 2003, pages 397-404, Imperial College, London, July 7-11 2003. Imperial College Press.
- M. Marin, D. Tepeneu. Programming with Sequence Variables: The Sequentica Package. In P. Mitic, P. Ramsden, and J. Carne, editors, Challenging the Boundaries of Symbolic Computation. Procs. of IMS 2003, pages 17-24, Imperial College, London, July 7-11 2003. Imperial College Press.
- M. Marin, M. Dragan. A Jini service for collaborative constraint solving. In Procs. of ICCC 2004, pages 235-240. Oradea, Romania, May 27-29 2004.
- T. Ida, M. Marin, H. Takahashi. Constraint Functional Logic Programming for Origami Construction. In A. Ohori, editor, Procs. of APLAS 2003, LNCS 2895, pages 73-88. Beijing, China, November 27-29 2003.
- T. Ida, M. Marin, T. Suzuki. Reducing Search Space in Solving Higher-Order Equations. In S. Arikawa and A. Shinohara, editors, Progress in Discovery Science, Final Report of the Japanese Discovery Science Project, LNCS 2281, pages 19-30. Springer, 2002.
- T. Ida, M. Marin, T. Suzuki. Higher-order Lazy Narrowing Calculus: a Solver for Higher-order Equations. In R. Moreno-Diaz, B. Buchberger, J. L. Freire, editors, Procs. of the 8th International Conference on Computer Aided Systems. (EUROCAST 2001). LNCS 2178, pages 478-493. Canary Islands, Spain. February 19-23 2001.
- M. Marin, T. Ida, T. Suzuki. Cooperative Constraint Functional Logic Programming. In T. Katayama, T. Tamai, N. Yonezaki, editors, Procs. of ISPSE 2000, pages 223-230, Kanazawa, Japan, November 1-2 2000. IEEE.
- M. Marin, T. Ida, T. Suzuki. On Reducing the Search Space of Higher-Order Lazy Narrowing. In A. Middeldorp, T. Sato, editors, Procs of FLOPS'99. LNCS 1722, pages 319-334, November 1999. Springer 1999.
- M. Marin, T. Ida, W. Schreiner. A Distributed Constraint Solving System for Functional Logic Programming. In Procs. of APSITT99, pages 151-155. Ulaanbaatar, Mongolia, August 30-31 1999.
- W. Schreiner, W. Danielczyck-Landerl, M. Marin, W. Stoecher. A Generic Programming Environment for High Performance Mathematical Libraries. Workshop on Generic Programming, Castle Dagstuhl, Wadern, Germany, April 27-30 1998. R. Loos, D. Musser, editors, LNCS 1766, pages 256-267. Springer Berlin.
- B. Buchberger, T. Jebelean, F. Kriftner, M. Marin, E. Tomuta, D. Vasaru. A survey on the Theorema Project. In W. Kuechlin, editor, Procs. of ISSAC97. Hawaii, July 1997. ACM Press.
Other publications
-
C. Camino, V. Diekert, B. Dundua, M. Marin, G. Senizergues. Regular matching problems for infinite trees. arXiv preprint arXiv:2004.09926, 2020.
- G. Istrate, C. Bonchis, M. Marin. Interactive Particle Systems on Hypergraphs, Drift Analysis and the WalkSAT algorithm. arXiv preprint arXiv:1909.12353, 2019.
- M. Marin, T. Kutsia. Regular Expression Order-Sorted Unification and Matching. Technical Report TR-12-14. RISC-Linz Institute, Austria, 2013.
Books
- M. Marin, V. Negru, I. Dramnesc. Principles and Practice of Functional Programming. Editura UVT, Colectia Amfiteatru. 317 pages. ISBN 978-973-125-451-7. 2016.
- M. Marin. Combinatorica si Teoria Grafurilor. Editura UVT, Colectia Amfiteatru. 306 pages. ISBN 978-973-125-829-4. 2021.