researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage

Profile Name

mirceamarin

Statistics

Publications: 0
Edited: 0
Credit: 0

Aliases

Marin
Marin, M.
Mircea Marin
Marin, Mircea
M. Marin

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Mircea Marin's Profile

Publications

Unidentified Publications

Publications with a 'Mircea Marin' as author, editor, or advisor:

Constraint Logic Programming for Hedges: A Semantic ReconstructionBesik Dundua, Mário Florido, Temur Kutsia, Mircea Marin. FLOPS 2014: 285-301 [doi]
On the computation of quotients and factors of regular languagesMircea Marin, Temur Kutsia. fcsc, 4(2):173-184, 2010. [doi]
24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022Bruno Buchberger, Mircea Marin, Viorel Negru, Daniela Zaharie, editors, IEEE, 2022. [doi]
Solving, Reasoning, and Programming in Common LogicTemur Kutsia, Mircea Marin. synasc 2012: 119-126 [doi]
Modeling Origami for Computational Construction and BeyondTetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi. iccsa (empty year): 653-665 [doi]
Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order EquationsTetsuo Ida, Mircea Marin, Taro Suzuki. eurocast 2001: 479-493 [doi]
Deduction and Presentation in rho LogMircea Marin, Florina Piroi. ENTCS, 93:161-182, 2004. [doi]
23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021Carsten Schneider, Mircea Marin, Viorel Negru, Daniela Zaharie, editors, IEEE, 2021. [doi]
Regular expression order-sorted unification and matchingTemur Kutsia, Mircea Marin. JSC, 67:42-67, 2015. [doi]
A rewrite-based computational model for functional logic programmingMircea Marin, Temur Kutsia, Besik Dundua. sycss 2016: 95-106 [doi]
Constraint Functional Logic Programming for Origami ConstructionTetsuo Ida, Mircea Marin, Hidekazu Takahashi. aplas 2003: 73-88 [doi]
Comparative Analysis of Exact, Heuristic and Metaheuristic Algorithms for Flexible Assembly SchedulingOctavian-Florin Maghiar, Teodora Selea, Adrian Copie, Flavia Micota, Mircea Marin. FedCSIS 2023: 615-625 [doi]
Proceedings of the 22nd International Workshop on Unification, UNIF 2008, Castle of Hagenberg, Austria, July 18, 2008Mircea Marin, editor, 2008. [doi]
Higher-order Lazy Narrowing Calculi in PerspectiveMircea Marin, Tetsuo Ida, Taro Suzuki. wflp 2000: 238-252
Rule-Based Programming with sigma-LogMircea Marin, Tetsuo Ida. synasc 2005: 31-38 [doi]
Variadic Equational MatchingBesik Dundua, Temur Kutsia, Mircea Marin. mkm 2019: 77-92 [doi]
CLP(H): Constraint logic programming for hedgesBesik Dundua, Mário Florido, Temur Kutsia, Mircea Marin. tplp, 16(2):141-162, 2016. [doi]
A Generic Programming Environment for High-Performance Mathematical LibrariesWolfgang Schreiner, Werner Danielczyk-Landerl, Mircea Marin, Wolfgang Stöcher. Dagstuhl 2000: 256-268 [doi]
Cooperative Constraint Functional Logic ProgrammingMircea Marin, Tetsuo Ida. wflp 2000: 382-390
Reducing Search Space in Solving Higher-Order EquationsTetsuo Ida, Mircea Marin, Taro Suzuki. dsp 2002: 19-30 [doi]
Collaborative Constraint Functional Logic Programming in an Open EnvironmentNorio Kobayashi, Mircea Marin, Tetsuo Ida. aplas 2001: 49-59
Computational Construction of a Maximum Equilateral Triangle Inscribed in an OrigamiTetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi, Asem Kasem. icms 2006: 361-372 [doi]
Matching with Membership Constraints for Hedge and Context VariablesMircea Marin, Temur Kutsia. UNIF 2008: 55-68 [doi]
A Rule-based Approach to the Decidability of Safety of ABACαMircea Marin, Temur Kutsia, Besik Dundua. SACMAT 2019: 173-178 [doi]
A Rule-Based System for Computation and Deduction in MathematicaMircea Marin, Besik Dundua, Temur Kutsia. WRLA 2020: 57-74 [doi]
New completeness results for lazy conditional narrowingMircea Marin, Aart Middeldorp. ppdp 2004: 120-131 [doi]
On Reducing the Search Space of Higher-Order Lazy NarrowingMircea Marin, Tetsuo Ida, Taro Suzuki. FLOPS 1999: 319-334
Variadic equational matching in associative and commutative theoriesBesik Dundua, Temur Kutsia, Mircea Marin. JSC, 106:78-109, 2021. [doi]
Regular Hedge Language Factorization RevisitedMircea Marin, Temur Kutsia. dlt 2010: 328-339 [doi]
Linear Systems for Regular Hedge LanguagesMircea Marin, Temur Kutsia. adbis 2010: 104-112 [doi]
Learning Cover Context-Free Grammars from Structural DataMircea Marin, Gabriel Istrate. ictac 2014: 241-258 [doi]
Matching with Regular ConstraintsTemur Kutsia, Mircea Marin. lpar 2005: 215-229 [doi]
Learning Cover Context-Free Grammars from Structural DataMircea Marin, Gabriel Istrate. cuza, 24(2):253-286, 2014. [doi]
Type Inference for Regular Expression Pattern MatchingMircea Marin, Adrian Craciun. synasc 2010: 366-373 [doi]
Regular matching problems for infinite treesCarlos Camino, Volker Diekert, Besik Dundua, Mircea Marin, Géraud Sénizergues. lmcs, 18(1), 2022. [doi]
Foundations of the rule-based system rLogMircea Marin, Temur Kutsia. jancl, 16(1-2):151-168, 2006.
An Open Environment for Cooperative Equational SolvingTetsuo Ida, Mircea Marin. aplas 2000: 163-166
Computational Origami Construction as Constraint Solving and RewritingTetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghourabi. ENTCS, 216:31-44, 2008. [doi]
Logical and algebraic view of Huzita s origami axioms with applications to computational origamiFadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem. SAC 2007: 767-772 [doi]
ForewordMircea Marin. igpl, 19(6):703-704, 2011. [doi]
Constraint Solving over Multiple Similarity RelationsBesik Dundua, Temur Kutsia, Mircea Marin, Cleopatra Pau. fscd 2020: [doi]
A Survey of the Theorema ProjectBruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru. issac 1997: 384-391
Order-Sorted Unification with Regular Expression SortsTemur Kutsia, Mircea Marin. RTA 2010: 193-208 [doi]
Factorizations of Regular Hedge LanguagesMircea Marin, Adrian Craciun. synasc 2009: 307-314 [doi]
Computational Origami of a Morley s TriangleTetsuo Ida, Hidekazu Takahashi, Mircea Marin. mkm 2005: 267-282 [doi]
Impact of inside spacer process on fully self-aligned 250 GHz SiGe: C HBTs reliability performances: a-Si vs. nitrideM. Diop, N. Revil, M. Marin, F. Monsieur, P. Chevalier, G. Ghibaudo. mr, 48(8-9):1198-1201, 2008. [doi]
Challenges in modeling a multi-energy system at city quarter levelI. Stoyanova, P. Matthes, H. Harb, Christoph Molitor, M. Marin, Rita Streblow, Antonello Monti, Dirk Müller. compeng 2012: 1-5 [doi]
Dc and low frequency noise analysis of hot-carrier induced degradation of low complexity 0.13 mum CMOS bipolar transistorsP. Benoit, J. Raoult, C. Delseny, F. Pascal, L. Snadny, J. C. Vildeuil, M. Marin, B. Martinet, D. Cottin, O. Noblanc. mr, 45(9-11):1800-1806, 2005. [doi]
Parallel Text Query Processing using Composite Inverted ListsM. Marin. his 2002: 612-624
Low frequency noise characterization in 0.13 mum p-MOSFETs. Impact of scaled-down 0.25, 0.18 and 0.13 mum technologies on 1/f noiseM. Marin, Y. Akue Allogo, M. de Murcia, P. Llinares, J. C. Vildeuil. mr, 44(7):1077-1085, 2004. [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL