Mircea Marin

According to our database, Mircea Marin authored at least 45 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Enumerating All Maximal Clique-Partitions of an Undirected Graph.

Mircea Marin, Temur Kutsia, Cleo Pau, Mikheil Rukhaia

Proceedings of the Proceedings 7th Symposium on Working Formal Methods, 2023

Comparative Analysis of Exact, Heuristic and Metaheuristic Algorithms for Flexible Assembly Scheduling.

Octavian-Florin Maghiar, Teodora Selea, Adrian Copie, Flavia Micota, Mircea Marin

Proceedings of the 18th Conference on Computer Science and Intelligence Systems, 2023

2022

Regular matching problems for infinite trees.

Carlos Camino, Volker Diekert, Besik Dundua, Mircea Marin, Géraud Sénizergues

Log. Methods Comput. Sci., 2022

2021

Variadic equational matching in associative and commutative theories.

Besik Dundua, Temur Kutsia, Mircea Marin

J. Symb. Comput., 2021

2020

A Rule-Based System for Computation and Deduction in Mathematica.

Mircea Marin, Besik Dundua, Temur Kutsia

Proceedings of the Rewriting Logic and Its Applications - 13th International Workshop, 2020

Constraint Solving over Multiple Similarity Relations.

Besik Dundua, Temur Kutsia, Mircea Marin, Ioana-Cleopatra Pau

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2019

Interactive Particle Systems on Hypergraphs, Drift Analysis and the WalkSAT algorithm.

Gabriel Istrate, Cosmin Bonchis, Mircea Marin

CoRR, 2019

A Rule-based Approach to the Decidability of Safety of ABACα.

Mircea Marin, Temur Kutsia, Besik Dundua

Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, 2019

Variadic Equational Matching.

Besik Dundua, Temur Kutsia, Mircea Marin

Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

2016

<i>CLP(H): </i> Constraint logic programming for hedges.

Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin

Theory Pract. Log. Program., 2016

A rewrite-based computational model for functional logic programming.

Mircea Marin, Temur Kutsia, Besik Dundua

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

2015

Regular expression order-sorted unification and matching.

Temur Kutsia, Mircea Marin

J. Symb. Comput., 2015

CLP(H): Constraint Logic Programming for Hedges.

Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin

CoRR, 2015

2014

Learning Cover Context-Free Grammars from Structural Data.

Mircea Marin, Gabriel Istrate

Sci. Ann. Comput. Sci., 2014

Constraint Logic Programming for Hedges: A Semantic Reconstruction.

Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin

Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

2012

Solving, Reasoning, and Programming in Common Logic.

Temur Kutsia, Mircea Marin

Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

2011

Foreword.

Mircea Marin

Log. J. IGPL, 2011

2010

On the computation of quotients and factors of regular languages.

Mircea Marin, Temur Kutsia

Frontiers Comput. Sci. China, 2010

Type Inference for Regular Expression Pattern Matching.

Mircea Marin, Adrian Craciun

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

Order-Sorted Unification with Regular Expression Sorts.

Temur Kutsia, Mircea Marin

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

Regular Hedge Language Factorization Revisited.

Mircea Marin, Temur Kutsia

Proceedings of the Developments in Language Theory, 14th International Conference, 2010

2009

Strategies in PRholog

Besik Dundua, Temur Kutsia, Mircea Marin

Proceedings of the Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, 2009

Factorizations of Regular Hedge Languages.

Mircea Marin, Adrian Craciun

Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009

Linear Systems for Regular Hedge Languages.

Mircea Marin, Temur Kutsia

Proceedings of the Advances in Databases and Information Systems, 2009

2008

Matching with Membership Constraints for Hedge and Context Variables.

Mircea Marin, Temur Kutsia

Proceedings of the 22nd International Workshop on Unification, 2008

2007

Computational Origami Construction as Constraint Solving and Rewriting.

Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghourabi

Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, 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

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Modeling Origami for Computational Construction and Beyond.

Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi

Proceedings of the Computational Science and Its Applications, 2007

2006

Foundations of the rule-based system rLog.

Mircea Marin, Temur Kutsia

J. Appl. Non Class. Logics, 2006

Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami.

Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi, Asem Kasem

Proceedings of the Mathematical Software, 2006

2005

Rule-Based Programming with sigma-Log.

Mircea Marin, Tetsuo Ida

Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005

Computational Origami of a Morley's Triangle.

Tetsuo Ida, Hidekazu Takahashi, Mircea Marin

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

Matching with Regular Constraints.

Temur Kutsia, Mircea Marin

Proceedings of the Logic for Programming, 2005

2004

New completeness results for lazy conditional narrowing.

Mircea Marin, Aart Middeldorp

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

2003

Deduction and Presentation in rho Log.

Mircea Marin, Florina Piroi

Proceedings of the Mathematical Knowledge Management Symposium, 2003

Constraint Functional Logic Programming for Origami Construction.

Tetsuo Ida, Mircea Marin, Hidekazu Takahashi

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

Reducing Search Space in Solving Higher-Order Equations.

Tetsuo Ida, Mircea Marin, Taro Suzuki

Proceedings of the Progress in Discovery Science, 2002

2001

Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations.

Tetsuo Ida, Mircea Marin, Taro Suzuki

Proceedings of the Computer Aided Systems Theory, 2001

Collaborative Constraint Functional Logic Programming in an Open Environment.

Norio Kobayashi, Mircea Marin, Tetsuo Ida

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000

Higher-order Lazy Narrowing Calculi in Perspective.

Mircea Marin, Tetsuo Ida, Taro Suzuki

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

Cooperative Constraint Functional Logic Programming.

Mircea Marin, Tetsuo Ida

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

An Open Environment for Cooperative Equational Solving.

Tetsuo Ida, Mircea Marin

Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

1999

On Reducing the Search Space of Higher-Order Lazy Narrowing.

Mircea Marin, Tetsuo Ida, Taro Suzuki

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1998

A Generic Programming Environment for High-Performance Mathematical Libraries.

Wolfgang Schreiner, Werner Danielczyk-Landerl, Mircea Marin, Wolfgang Stöcher

Proceedings of the Generic Programming, 1998

1997

A Survey of the Theorema Project.

Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru

Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, 1997