Mircea Marin

Orcid: 0000-0002-9324-9838

According to our database1, Mircea Marin authored at least 48 papers between 1997 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Proceedings Eighth Symposium on Working Formal Methods.
CoRR, 2024

Behaviour Analysis of Trajectory and Population-Based Metaheuristics on Flexible Assembly Scheduling.
Proceedings of the Metaheuristics - 15th International Conference, 2024

2023
Enumerating All Maximal Clique-Partitions of an Undirected Graph.
Proceedings of the Proceedings 7th Symposium on Working Formal Methods, 2023

Comparative Analysis of Exact, Heuristic and Metaheuristic Algorithms for Flexible Assembly Scheduling.
Proceedings of the 18th Conference on Computer Science and Intelligence Systems, 2023

2022
Regular matching problems for infinite trees.
Log. Methods Comput. Sci., 2022

2021
Variadic equational matching in associative and commutative theories.
J. Symb. Comput., 2021

2020
A Rule-Based System for Computation and Deduction in Mathematica.
Proceedings of the Rewriting Logic and Its Applications - 13th International Workshop, 2020

Constraint Solving over Multiple Similarity Relations.
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.
CoRR, 2019

A Rule-based Approach to the Decidability of Safety of ABACα.
Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, 2019

Variadic Equational Matching.
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

2016
<i>CLP(H): </i> Constraint logic programming for hedges.
Theory Pract. Log. Program., 2016

A rewrite-based computational model for functional logic programming.
Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

2015
Regular expression order-sorted unification and matching.
J. Symb. Comput., 2015

CLP(H): Constraint Logic Programming for Hedges.
CoRR, 2015

2014
Learning Cover Context-Free Grammars from Structural Data.
Sci. Ann. Comput. Sci., 2014

Constraint Logic Programming for Hedges: A Semantic Reconstruction.
Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

2012
Solving, Reasoning, and Programming in Common Logic.
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

2011
Foreword.
Log. J. IGPL, 2011

2010
On the computation of quotients and factors of regular languages.
Frontiers Comput. Sci. China, 2010

Type Inference for Regular Expression Pattern Matching.
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

Order-Sorted Unification with Regular Expression Sorts.
Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

Regular Hedge Language Factorization Revisited.
Proceedings of the Developments in Language Theory, 14th International Conference, 2010

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

Factorizations of Regular Hedge Languages.
Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009

Linear Systems for Regular Hedge Languages.
Proceedings of the Advances in Databases and Information Systems, 2009

2008
Matching with Membership Constraints for Hedge and Context Variables.
Proceedings of the 22nd International Workshop on Unification, 2008

2007
Computational Origami Construction as Constraint Solving and Rewriting.
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.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Modeling Origami for Computational Construction and Beyond.
Proceedings of the Computational Science and Its Applications, 2007

2006
Foundations of the rule-based system rLog.
J. Appl. Non Class. Logics, 2006

On the Development of an Analysis System for Upstream Sequences in <i>Dictyostelium discoideum</i> Genome.
Inf. Media Technol., 2006

Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami.
Proceedings of the Mathematical Software, 2006

2005
Rule-Based Programming with sigma-Log.
Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005

Computational Origami of a Morley's Triangle.
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

Matching with Regular Constraints.
Proceedings of the Logic for Programming, 2005

2004
New completeness results for lazy conditional narrowing.
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

2003
Deduction and Presentation in rho Log.
Proceedings of the Mathematical Knowledge Management Symposium, 2003

Constraint Functional Logic Programming for Origami Construction.
Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002
Reducing Search Space in Solving Higher-Order Equations.
Proceedings of the Progress in Discovery Science, 2002

2001
Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations.
Proceedings of the Computer Aided Systems Theory, 2001

Collaborative Constraint Functional Logic Programming in an Open Environment.
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000
Higher-order Lazy Narrowing Calculi in Perspective.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

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

An Open Environment for Cooperative Equational Solving.
Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

1999
On Reducing the Search Space of Higher-Order Lazy Narrowing.
Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1998
A Generic Programming Environment for High-Performance Mathematical Libraries.
Proceedings of the Generic Programming, 1998

1997
A Survey of the Theorema Project.
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, 1997


  Loading...