Mircea Marin

56 papers B 6C 6Misc 8Journal 12Unranked 21
YearRankTypeTitle / Venue / Authors
2026 — conf
Efficient Verification of Lingua Franca Programs.
TACAS (2)
Peter Csaba Ölveczky, Mario Reja, Mikheil Rukhaia, Kyungmin Bae, Mircea Marin
2025 — conf
Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic.
Rebeca for Actor Analysis in Action
Mircea Marin, Peter Csaba Ölveczky, Mario Reja, Mikheil Rukhaia, Kyungmin Bae
2024 — conf
Behaviour Analysis of Trajectory and Population-Based Metaheuristics on Flexible Assembly Scheduling.
MIC (2)
Octavian-Florin Maghiar, Adrian Copie, Teodora Selea, Mircea Marin, Flavia Micota, Daniela Zaharie, Ionut Tepeneu
2024 — ed.
Proceedings Eighth Symposium on Working Formal Methods, FROM 2024, Timişoara, Romania, September 16-18.
FROM
Mircea Marin, Laurentiu Leustean
2023 C conf
Comparative Analysis of Exact, Heuristic and Metaheuristic Algorithms for Flexible Assembly Scheduling.
FedCSIS
Octavian-Florin Maghiar, Teodora Selea, Adrian Copie, Flavia Micota, Mircea Marin
2023 — conf
Enumerating All Maximal Clique-Partitions of an Undirected Graph.
FROM
Mircea Marin, Temur Kutsia, Cleo Pau, Mikheil Rukhaia
2022 Misc ed.
24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022
SYNASC
Bruno Buchberger, Mircea Marin, Viorel Negru, Daniela Zaharie
2022 J jnl
Regular matching problems for infinite trees.
Log. Methods Comput. Sci.
Carlos Camino, Volker Diekert, Besik Dundua, Mircea Marin, Géraud Sénizergues
2021 Misc ed.
23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021
SYNASC
Carsten Schneider, Mircea Marin, Viorel Negru, Daniela Zaharie
2021 J jnl
Variadic equational matching in associative and commutative theories.
J. Symb. Comput.
Besik Dundua, Temur Kutsia, Mircea Marin
2020 — conf
A Rule-Based System for Computation and Deduction in Mathematica.
WRLA
Mircea Marin, Besik Dundua, Temur Kutsia
2020 B conf
Constraint Solving over Multiple Similarity Relations.
FSCD
Besik Dundua, Temur Kutsia, Mircea Marin, Ioana-Cleopatra Pau
2020 J jnl
Regular matching problems for infinite trees.
CoRR
Carlos Camino, Volker Diekert, Besik Dundua, Mircea Marin, Géraud Sénizergues
2019 C conf
A Rule-based Approach to the Decidability of Safety of ABACα.
SACMAT
Mircea Marin, Temur Kutsia, Besik Dundua
2019 J jnl
Interactive Particle Systems on Hypergraphs, Drift Analysis and the WalkSAT algorithm.
CoRR
Gabriel Istrate, Cosmin Bonchis, Mircea Marin
2019 — ed.
Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019.
FROM
Mircea Marin, Adrian Craciun
2019 C conf
Variadic Equational Matching.
CICM
Besik Dundua, Temur Kutsia, Mircea Marin
2016 — conf
A rewrite-based computational model for functional logic programming.
SCSS
Mircea Marin, Temur Kutsia, Besik Dundua
2015 J jnl
CLP(H): Constraint Logic Programming for Hedges.
CoRR
Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
2015 J jnl
Regular expression order-sorted unification and matching.
J. Symb. Comput.
Temur Kutsia, Mircea Marin
2014 Misc conf
Constraint Logic Programming for Hedges: A Semantic Reconstruction.
FLOPS
Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
2014 C conf
Learning Cover Context-Free Grammars from Structural Data.
ICTAC
Mircea Marin, Gabriel Istrate
2014 J jnl
Learning Cover Context-Free Grammars from Structural Data.
Sci. Ann. Comput. Sci.
Mircea Marin, Gabriel Istrate
2014 J jnl
Learning cover context-free grammars from structural data.
CoRR
Mircea Marin, Gabriel Istrate
2012 Misc conf
Solving, Reasoning, and Programming in Common Logic.
SYNASC
Temur Kutsia, Mircea Marin
2011 J jnl
Foreword.
Log. J. IGPL
Mircea Marin
2010 J jnl
On the computation of quotients and factors of regular languages.
Frontiers Comput. Sci. China
Mircea Marin, Temur Kutsia
2010 — conf
Order-Sorted Unification with Regular Expression Sorts.
RTA
Temur Kutsia, Mircea Marin
2010 C conf
Regular Hedge Language Factorization Revisited.
Developments in Language Theory
Mircea Marin, Temur Kutsia
2010 Misc conf
Type Inference for Regular Expression Pattern Matching.
SYNASC
Mircea Marin, Adrian Craciun
2009 Misc conf
Factorizations of Regular Hedge Languages.
SYNASC
Mircea Marin, Adrian Craciun
2009 — conf
Linear Systems for Regular Hedge Languages.
ADBIS (Workshops)
Mircea Marin, Temur Kutsia
2009 — conf
Strategies in PRholog
WRS
Besik Dundua, Temur Kutsia, Mircea Marin
2008 — conf
Matching with Membership Constraints for Hedge and Context Variables.
UNIF
Mircea Marin, Temur Kutsia
2008 — ed.
Proceedings of the 22nd International Workshop on Unification, UNIF 2008, Castle of Hagenberg, Austria, July 18, 2008.
UNIF
Mircea Marin
2007 — conf
Computational Origami Construction as Constraint Solving and Rewriting.
WFLP@RDP
Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghourabi
2007 Misc conf
Logical and algebraic view of Huzita's origami axioms with applications to computational origami.
SAC
Fadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem
2007 — conf
Modeling Origami for Computational Construction and Beyond.
ICCSA (2)
Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi
2006 — conf
Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami.
ICMS
Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi, Asem Kasem
2006 J jnl
Foundations of the rule-based system rLog.
J. Appl. Non Class. Logics
Mircea Marin, Temur Kutsia
2006 J jnl
On the Development of an Analysis System for Upstream Sequences in
Inf. Media Technol.
Norio Kobayashi, Mircea Marin, Yoshimasa Tanaka, Hideko Urushihara
2005 — conf
Computational Origami of a Morley's Triangle.
MKM
Tetsuo Ida, Hidekazu Takahashi, Mircea Marin
2005 B conf
Matching with Regular Constraints.
LPAR
Temur Kutsia, Mircea Marin
2005 Misc conf
Rule-Based Programming with sigma-Log.
SYNASC
Mircea Marin, Tetsuo Ida
2004 C conf
New completeness results for lazy conditional narrowing.
PPDP
Mircea Marin, Aart Middeldorp
2003 B conf
Constraint Functional Logic Programming for Origami Construction.
APLAS
Tetsuo Ida, Mircea Marin, Hidekazu Takahashi
2003 — conf
Deduction and Presentation in rho Log.
MKM Symposium
Mircea Marin, Florina Piroi
2002 — conf
Reducing Search Space in Solving Higher-Order Equations.
Progress in Discovery Science
Tetsuo Ida, Mircea Marin, Taro Suzuki
2001 B conf
Collaborative Constraint Functional Logic Programming in an Open Environment.
APLAS
Norio Kobayashi, Mircea Marin, Tetsuo Ida
2001 — conf
Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations.
EUROCAST
Tetsuo Ida, Mircea Marin, Taro Suzuki
2000 B conf
An Open Environment for Cooperative Equational Solving.
APLAS
Tetsuo Ida, Mircea Marin
2000 — conf
Cooperative Constraint Functional Logic Programming.
WFLP
Mircea Marin, Tetsuo Ida
2000 — conf
Higher-order Lazy Narrowing Calculi in Perspective.
WFLP
Mircea Marin, Tetsuo Ida, Taro Suzuki
1999 — conf
On Reducing the Search Space of Higher-Order Lazy Narrowing.
Fuji International Symposium on Functional and Logic Programming
Mircea Marin, Tetsuo Ida, Taro Suzuki
1998 — conf
A Generic Programming Environment for High-Performance Mathematical Libraries.
Generic Programming
Wolfgang Schreiner, Werner Danielczyk-Landerl, Mircea Marin, Wolfgang Stöcher
1997 B conf
A Survey of the Theorema Project.
ISSAC
Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru