A Survey of the Theorema Project. - Bruno Buchberger; Tudor Jebelean; Franz Kriftner; Mircea Marin; Elena Tomuta; Daniela Vasaru (ISSAC, 1997)

A Generic Programming Environment for High-Performance Mathematical Libraries. - Wolfgang Schreiner; Werner Danielczyk-Landerl; Mircea Marin; Wolfgang Stöcher (Generic Programming, 1998)

On Reducing the Search Space of Higher-Order Lazy Narrowing. - Mircea Marin; Tetsuo Ida; Taro Suzuki (Fuji International Symposium on Functional and Logic Programming, 1999)

An Open Environment for Cooperative Equational Solving. - Tetsuo Ida; Mircea Marin (APLAS, 2000)

Cooperative Constraint Functional Logic Programming. - Mircea Marin; Tetsuo Ida (WFLP, 2000)

Higher-order Lazy Narrowing Calculi in Perspective. - Mircea Marin; Tetsuo Ida; Taro Suzuki (WFLP, 2000)

Collaborative Constraint Functional Logic Programming in an Open Environment. - Norio Kobayashi; Mircea Marin; Tetsuo Ida (APLAS, 2001)

Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations. - Tetsuo Ida; Mircea Marin; Taro Suzuki (EUROCAST, 2001)

Reducing Search Space in Solving Higher-Order Equations. - Tetsuo Ida; Mircea Marin; Taro Suzuki (Progress in Discovery Science, 2002)

Constraint Functional Logic Programming for Origami Construction. - Tetsuo Ida; Mircea Marin; Hidekazu Takahashi (APLAS, 2003)

Deduction and Presentation in rho Log. - Mircea Marin; Florina Piroi (MKM Symposium, 2003)

New completeness results for lazy conditional narrowing. - Mircea Marin; Aart Middeldorp (PPDP, 2004)

Matching with Regular Constraints. - Temur Kutsia; Mircea Marin (LPAR, 2005)

Computational Origami of a Morley's Triangle. - Tetsuo Ida; Hidekazu Takahashi; Mircea Marin (MKM, 2005)

Rule-Based Programming with sigma-Log. - Mircea Marin; Tetsuo Ida (SYNASC, 2005)

Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami. - Tetsuo Ida; Hidekazu Takahashi; Mircea Marin; Fadoua Ghourabi; Asem Kasem (ICMS, 2006)

On the Development of an Analysis System for Upstream Sequences in Dictyostelium discoideum Genome. - Norio Kobayashi; Mircea Marin; Yoshimasa Tanaka; Hideko Urushihara (Inf. Media Technol., 2006)

Foundations of the rule-based system rLog. - Mircea Marin; Temur Kutsia (J. Appl. Non Class. Logics, 2006)

Modeling Origami for Computational Construction and Beyond. - Tetsuo Ida; Hidekazu Takahashi; Mircea Marin; Fadoua Ghourabi (ICCSA (2), 2007)

Logical and algebraic view of Huzita's origami axioms with applications to computational origami. - Fadoua Ghourabi; Tetsuo Ida; Hidekazu Takahashi; Mircea Marin; Asem Kasem (SAC, 2007)

Computational Origami Construction as Constraint Solving and Rewriting. - Tetsuo Ida; Mircea Marin; Hidekazu Takahashi; Fadoua Ghourabi (WFLP@RDP, 2007)

Matching with Membership Constraints for Hedge and Context Variables. - Mircea Marin; Temur Kutsia (UNIF, 2008)

Linear Systems for Regular Hedge Languages. - Mircea Marin; Temur Kutsia (ADBIS (Workshops), 2009)

Factorizations of Regular Hedge Languages. - Mircea Marin; Adrian Craciun (SYNASC, 2009)

Strategies in PRholog - Besik Dundua; Temur Kutsia; Mircea Marin (WRS, 2009)

Regular Hedge Language Factorization Revisited. - Mircea Marin; Temur Kutsia (Developments in Language Theory, 2010)

Order-Sorted Unification with Regular Expression Sorts. - Temur Kutsia; Mircea Marin (RTA, 2010)

Type Inference for Regular Expression Pattern Matching. - Mircea Marin; Adrian Craciun (SYNASC, 2010)

On the computation of quotients and factors of regular languages. - Mircea Marin; Temur Kutsia (Frontiers Comput. Sci. China, 2010)

Foreword. - Mircea Marin (Log. J. IGPL, 2011)

Solving, Reasoning, and Programming in Common Logic. - Temur Kutsia; Mircea Marin (SYNASC, 2012)

Constraint Logic Programming for Hedges: A Semantic Reconstruction. - Besik Dundua; Mário Florido; Temur Kutsia; Mircea Marin (FLOPS, 2014)

Learning Cover Context-Free Grammars from Structural Data. - Mircea Marin; Gabriel Istrate (Sci. Ann. Comput. Sci., 2014)

CLP(H): Constraint Logic Programming for Hedges. - Besik Dundua; Mário Florido; Temur Kutsia; Mircea Marin (CoRR, 2015)

Regular expression order-sorted unification and matching. - Temur Kutsia; Mircea Marin (J. Symb. Comput., 2015)

A rewrite-based computational model for functional logic programming. - Mircea Marin; Temur Kutsia; Besik Dundua (SCSS, 2016)

CLP(H): Constraint logic programming for hedges. - Besik Dundua; Mário Florido; Temur Kutsia; Mircea Marin (Theory Pract. Log. Program., 2016)

Variadic Equational Matching. - Besik Dundua; Temur Kutsia; Mircea Marin (CICM, 2019)

A Rule-based Approach to the Decidability of Safety of ABACα. - Mircea Marin; Temur Kutsia; Besik Dundua (SACMAT, 2019)

Interactive Particle Systems on Hypergraphs, Drift Analysis and the WalkSAT algorithm. - Gabriel Istrate; Cosmin Bonchis; Mircea Marin (CoRR, 2019)

Constraint Solving over Multiple Similarity Relations. - Besik Dundua; Temur Kutsia; Mircea Marin; Ioana-Cleopatra Pau (FSCD, 2020)

A Rule-Based System for Computation and Deduction in Mathematica. - Mircea Marin; Besik Dundua; Temur Kutsia (WRLA@ETAPS, 2020)

Variadic equational matching in associative and commutative theories. - Besik Dundua; Temur Kutsia; Mircea Marin (J. Symb. Comput., 2021)

Regular matching problems for infinite trees. - Carlos Camino; Volker Diekert; Besik Dundua; Mircea Marin; Géraud Sénizergues (Log. Methods Comput. Sci., 2022)

Comparative Analysis of Exact, Heuristic and Metaheuristic Algorithms for Flexible Assembly Scheduling. - Octavian-Florin Maghiar; Teodora Selea; Adrian Copie; Flavia Micota; Mircea Marin (FedCSIS, 2023)

Enumerating All Maximal Clique-Partitions of an Undirected Graph. - Mircea Marin; Temur Kutsia; Cleo Pau; Mikheil Rukhaia (FROM, 2023)

Behaviour Analysis of Trajectory and Population-Based Metaheuristics on Flexible Assembly Scheduling. - Octavian-Florin Maghiar; Adrian Copie; Teodora Selea; Mircea Marin; Flavia Micota; Daniela Zaharie; Ionut Tepeneu (MIC (2), 2024)

Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic. - Mircea Marin; Peter Csaba Ölveczky; Mario Reja; Mikheil Rukhaia; Kyungmin Bae (Rebeca for Actor Analysis in Action, 2025)