| 2026 | TACAS | Efficient Verification of Lingua Franca Programs. | Peter Csaba lveczky, Mario Reja, Mikheil Rukhaia, Kyungmin Bae, Mircea Marin |
| 2023 | FedCSIS | Comparative Analysis of Exact, Heuristic and Metaheuristic Algorithms for Flexible Assembly Scheduling. | Octavian-Florin Maghiar, Teodora Selea, Adrian Copie, Flavia Micota, Mircea Marin |
| 2020 | FSCD | Constraint Solving over Multiple Similarity Relations. | Besik Dundua, Temur Kutsia, Mircea Marin, Ioana-Cleopatra Pau |
| 2019 | SACMAT | A Rule-based Approach to the Decidability of Safety of ABACα. | Mircea Marin, Temur Kutsia, Besik Dundua |
| 2014 | FLOPS | Constraint Logic Programming for Hedges: A Semantic Reconstruction. | Besik Dundua, Mrio Florido, Temur Kutsia, Mircea Marin |
| 2014 | ICTAC | Learning Cover Context-Free Grammars from Structural Data. | Mircea Marin, Gabriel Istrate |
| 2012 | SYNASC | Solving, Reasoning, and Programming in Common Logic. | Temur Kutsia, Mircea Marin |
| 2010 | DLT | Regular Hedge Language Factorization Revisited. | Mircea Marin, Temur Kutsia |
| 2010 | SYNASC | Type Inference for Regular Expression Pattern Matching. | Mircea Marin, Adrian Craciun |
| 2009 | ADBIS | Linear Systems for Regular Hedge Languages. | Mircea Marin, Temur Kutsia |
| 2009 | SYNASC | Factorizations of Regular Hedge Languages. | Mircea Marin, Adrian Craciun |
| 2007 | ICCSA | Modeling Origami for Computational Construction and Beyond. | Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi |
| 2007 | SAC | Logical and algebraic view of Huzita's origami axioms with applications to computational origami. | Fadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem |
| 2005 | LPAR | Matching with Regular Constraints. | Temur Kutsia, Mircea Marin |
| 2005 | SYNASC | Rule-Based Programming with sigma-Log. | Mircea Marin, Tetsuo Ida |
| 2004 | PPDP | New completeness results for lazy conditional narrowing. | Mircea Marin, Aart Middeldorp |
| 2003 | APLAS | Constraint Functional Logic Programming for Origami Construction. | Tetsuo Ida, Mircea Marin, Hidekazu Takahashi |
| 2001 | APLAS | Collaborative Constraint Functional Logic Programming in an Open Environment. | Norio Kobayashi, Mircea Marin, Tetsuo Ida |
| 2000 | APLAS | An Open Environment for Cooperative Equational Solving. | Tetsuo Ida, Mircea Marin |
| 1999 | FLOPS | On Reducing the Search Space of Higher-Order Lazy Narrowing. | Mircea Marin, Tetsuo Ida, Taro Suzuki |
| 1997 | ISSAC | A Survey of the Theorema Project. | Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru |