Get started
Author

Mircea Marin

Observed names: M Marin, M. Marin, MIRCEA MARIN, Marin, Mircea
Observed institutions: University of Stuttgart, Johannes Kepler University of Linz, Austrian Academy of Sciences, University of Tsukuba, West University of Timişoara, Johann Radon Institute for Computational and Applied Mathematics
ORCID: 0000-0002-9324-9838
Observed ORCID: 0000-0002-9324-9838
OpenAlex ID: A5004841884
A survey of the Theorema project
1997 · Bruno Buchberger, Tudor Jebelean, et al. · International Symposium on Symbolic and Algebraic Computation · 68
Foundations of the rule-based system ρLog
2006 · Mircea Marin, Temur Kutsia · Journal of Applied Non-Classical Logics · 30
Matching with Regular Constraints
2005 · Temur Kutsia, Mircea Marin · Lecture notes in computer science · 19
Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami
2006 · Tetsuo Ida, Hidekazu Takahashi, et al. · Lecture notes in computer science · 17
Logical and algebraic view of Huzita's origami axioms with applications to computational origami
2007 · Fadoua Ghourabi, Tetsuo Ida, et al. · ACM Symposium on Applied Computing · 15
Programming with Sequence Variables: the Sequentica Package
2003 · Mircea Marin, Dorin Tepeneu · International Mathematica Symposium (IMS) · 12
A Rule-based Approach to the Decidability of Safety of ABACα
2019 · Mircea Marin, Temur Kutsia, et al. · ACM Symposium on Access Control Models and Technologies (SACMAT) · 11
Functional Logic Programming with Distributed Constraint Solving
· Mircea Marin · 11
Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic
2025 · Mircea Marin, Peter Csaba Ölveczky, et al. · Lecture notes in computer science · 10
Rule-Based Programming with Mathematica
2015 · Mircea Marin, Florina Piroi · 10
Solving, Reasoning, and Programming in Common Logic
2012 · Temur Kutsia, Mircea Marin · International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) · 10
Modeling Origami for Computational Construction and Beyond
2007 · Tetsuo Ida, Hidekazu Takahashi, et al. · Springer eBooks · 10
Collaborative constraint functional logic programming system in an open environment
2003 · Norio Kobayashi, Mircea Marin, et al. · IEICE Transactions on Information and Systems · 9
Cooperative constraint functional logic programming
2002 · M. Marin, T. Ida, et al. · International Workshop on Principles of Software Evolution · 9
On Reducing the Search Space of Higher-Order Lazy Narrowing
1999 · Mircea Marin, Tetsuo Ida, et al. · Lecture notes in computer science · 8
On the Implementation of a Rule-Based Programming System and Some of its Applications
· Mircea Marin, Temur Kutsia · 8
Regular expression order-sorted unification and matching
2014 · Temur Kutsia, Mircea Marin · Journal of Symbolic Computation · 7
New completeness results for lazy conditional narrowing
2004 · Mircea Marin, Aart Middeldorp · International Symposium on Principles and Practice of Declarative Programming (PPDP) · 7
Deduction and Presentation in ρLog
2004 · Mircea Marin, Florina Piroi · Electronic Notes in Theoretical Computer Science · 7
PDF
Strategies in PRholog
2010 · Besik Dundua, Temur Kutsia, et al. · Electronic Proceedings in Theoretical Computer Science · 6
Constraint Solving over Multiple Similarity Relations
2020 · Dundua, Besik, Kutsia, Temur, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 5
PDF
CLP(H):Constraint logic programming for hedges
2015 · BESIK DUNDUA, MÁRIO FLORIDO, et al. · Theory and Practice of Logic Programming · 5
PDF
Constraint Logic Programming for Hedges: A Semantic Reconstruction
2014 · Besik Dundua, Mário Florido, et al. · Lecture notes in computer science · 5
Computational Origami Construction as Constraint Solving and Rewriting
2008 · Tetsuo Ida, Mircea Marin, et al. · Electronic Notes in Theoretical Computer Science · 5
PDF
Strategies in PρLog
2010 · Besik Dundua, Temur Kutsia, et al. · 4
Works count: 78
Citation count: 361
H-index: 10
I10-index: 12
Year
Topic
Type