Mircea Marin

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 15

Top Topics

Constraint Logic Programming

Undirected Graph

Constraint Solving

Top Venues

J. Symb. Comput.

Publications

Octavian-Florin Maghiar, Adrian Copie, Teodora Selea, Mircea Marin, Flavia Micota, Daniela Zaharie, Ionut Tepeneu
Behaviour Analysis of Trajectory and Population-Based Metaheuristics on Flexible Assembly Scheduling. MIC (2) (2024)
Mircea Marin, Temur Kutsia, Cleo Pau, Mikheil Rukhaia
Enumerating All Maximal Clique-Partitions of an Undirected Graph. FROM (2023)
Octavian-Florin Maghiar, Teodora Selea, Adrian Copie, Flavia Micota, Mircea Marin
Comparative Analysis of Exact, Heuristic and Metaheuristic Algorithms for Flexible Assembly Scheduling. FedCSIS (2023)
Carlos Camino, Volker Diekert, Besik Dundua, Mircea Marin, Géraud Sénizergues
Regular matching problems for infinite trees. Log. Methods Comput. Sci. 18 (1) (2022)
Besik Dundua, Temur Kutsia, Mircea Marin
Variadic equational matching in associative and commutative theories. J. Symb. Comput. 106 (2021)
Mircea Marin, Besik Dundua, Temur Kutsia
A Rule-Based System for Computation and Deduction in Mathematica. WRLA@ETAPS (2020)
Besik Dundua, Temur Kutsia, Mircea Marin, Cleopatra Pau
Constraint Solving over Multiple Similarity Relations. FSCD (2020)
Carlos Camino, Volker Diekert, Besik Dundua, Mircea Marin, Géraud Sénizergues
Regular matching problems for infinite trees. CoRR (2020)
Gabriel Istrate, Cosmin Bonchis, Mircea Marin
Interactive Particle Systems on Hypergraphs, Drift Analysis and the WalkSAT algorithm. CoRR (2019)
Besik Dundua, Temur Kutsia, Mircea Marin
Variadic Equational Matching. CICM (2019)
Mircea Marin, Temur Kutsia, Besik Dundua
A Rule-based Approach to the Decidability of Safety of ABACα. SACMAT (2019)
Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
Constraint logic programming for hedges. Theory Pract. Log. Program. 16 (2) (2016)
Mircea Marin, Temur Kutsia, Besik Dundua
A rewrite-based computational model for functional logic programming. SCSS (2016)
Temur Kutsia, Mircea Marin
Regular expression order-sorted unification and matching. J. Symb. Comput. 67 (2015)
Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
CLP(H): Constraint Logic Programming for Hedges. CoRR (2015)
Mircea Marin, Gabriel Istrate
Learning Cover Context-Free Grammars from Structural Data. ICTAC (2014)
Mircea Marin, Gabriel Istrate
Learning Cover Context-Free Grammars from Structural Data. Sci. Ann. Comput. Sci. 24 (2) (2014)
Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
Constraint Logic Programming for Hedges: A Semantic Reconstruction. FLOPS (2014)
Mircea Marin, Gabriel Istrate
Learning cover context-free grammars from structural data. CoRR (2014)
Temur Kutsia, Mircea Marin
Solving, Reasoning, and Programming in Common Logic. SYNASC (2012)
Mircea Marin
Foreword. Log. J. IGPL 19 (6) (2011)
Mircea Marin, Temur Kutsia
On the computation of quotients and factors of regular languages. Frontiers Comput. Sci. China 4 (2) (2010)
Mircea Marin, Temur Kutsia
Regular Hedge Language Factorization Revisited. Developments in Language Theory (2010)
Temur Kutsia, Mircea Marin
Order-Sorted Unification with Regular Expression Sorts. RTA (2010)
Mircea Marin, Adrian Craciun
Type Inference for Regular Expression Pattern Matching. SYNASC (2010)
Mircea Marin, Temur Kutsia
Linear Systems for Regular Hedge Languages. ADBIS (Workshops) (2009)
Mircea Marin, Adrian Craciun
Factorizations of Regular Hedge Languages. SYNASC (2009)
Besik Dundua, Temur Kutsia, Mircea Marin
Strategies in PRholog WRS (2009)
Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghourabi
Computational Origami Construction as Constraint Solving and Rewriting. Electron. Notes Theor. Comput. Sci. 216 (2008)
Mircea Marin, Temur Kutsia
Matching with Membership Constraints for Hedge and Context Variables. UNIF (2008)
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)
Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi
Modeling Origami for Computational Construction and Beyond. ICCSA (2) (2007)
Mircea Marin, Temur Kutsia
Foundations of the rule-based system rLog. J. Appl. Non Class. Logics 16 (1-2) (2006)
Norio Kobayashi, Mircea Marin, Yoshimasa Tanaka, Hideko Urushihara
Genome. Inf. Media Technol. 1 (2) (2006)
Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi, Asem Kasem
Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami. ICMS (2006)
Temur Kutsia, Mircea Marin
Matching with Regular Constraints. LPAR (2005)
Tetsuo Ida, Hidekazu Takahashi, Mircea Marin
Computational Origami of a Morley's Triangle. MKM (2005)
Mircea Marin, Tetsuo Ida
Rule-Based Programming with sigma-Log. SYNASC (2005)
Mircea Marin, Aart Middeldorp
New completeness results for lazy conditional narrowing. PPDP (2004)
Mircea Marin, Florina Piroi
Deduction and Presentation in rho Log. Electron. Notes Theor. Comput. Sci. 93 (2004)
Tetsuo Ida, Mircea Marin, Hidekazu Takahashi
Constraint Functional Logic Programming for Origami Construction. APLAS (2003)
Tetsuo Ida, Mircea Marin, Taro Suzuki
Reducing Search Space in Solving Higher-Order Equations. Progress in Discovery Science (2002)
Norio Kobayashi, Mircea Marin, Tetsuo Ida
Collaborative Constraint Functional Logic Programming in an Open Environment. APLAS (2001)
Tetsuo Ida, Mircea Marin, Taro Suzuki
Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations. EUROCAST (2001)
Mircea Marin, Tetsuo Ida
Cooperative Constraint Functional Logic Programming. WFLP (2000)
Mircea Marin, Tetsuo Ida, Taro Suzuki
Higher-order Lazy Narrowing Calculi in Perspective. WFLP (2000)
Tetsuo Ida, Mircea Marin
An Open Environment for Cooperative Equational Solving. APLAS (2000)
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)
Wolfgang Schreiner, Werner Danielczyk-Landerl, Mircea Marin, Wolfgang Stöcher
A Generic Programming Environment for High-Performance Mathematical Libraries. Generic Programming (1998)
Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru
A Survey of the Theorema Project. ISSAC (1997)