Concepedia

Mircea Marin

MM

Statistics

Publications

8

Citations

174

H-Index

8

Active since

1997

Affiliations

Johannes Kepler University of Linz(Current)

University of Tsukuba

Mircea Marin is an author at Johannes Kepler University of Linz specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceProgram AnalysisLogic ProgrammingFormal VerificationMathematical ProgrammingDesignGeometry

Publications per year

1997–2015

8

Publications

8

A survey of the <i>Theorema</i> project

Bruno Buchberger, Tudor Jebelean, Franz Kriftner et al. · 1997 · 69 citations

Automated Reasoning, Automated Proof

Foundations of the rule-based system ρLog

Mircea Marin, Temur Kutsia · Journal of Applied Non-Classical Logics · 2006 · 30 citations

Mathematical Programming, Engineering, Rule-based Programming +17

Programming with Sequence Variables: the <i>Sequentica</i> Package

Mircea Marin, Dorin Ţepeneu · 2003 · 16 citations

Mathematical Programming, Sequence Modelling, Engineering +2

Logical and algebraic view of Huzita's origami axioms with applications to computational origami

Fadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi et al. · 2007 · 14 citations

Algebraic Logic, Engineering, Geometry +12

Functional Logic Programming with Distributed Constraint Solving

Mircea Marin · 2000 · 12 citations

1–5 of 8