Travelled to:1 × Canada
1 × Italy
1 × Korea
1 × United Kingdom
2 × Japan
Collaborated with:T.Kutsia T.Ida A.Middeldorp T.Suzuki B.Dundua M.Florido F.Ghourabi H.Takahashi A.Kasem
Talks about:regular (2) origami (2) narrow (2) order (2) logic (2) sort (2) lazi (2) hedg (2) reconstruct (1) constraint (1)
Person: Mircea Marin
DBLP: Marin:Mircea
Contributed to:
2014
2010
2010
2007
20041999Wrote 6 papers:
- FLOPS-2014-DunduaFKM #constraints #logic programming #re-engineering #semantics
- Constraint Logic Programming for Hedges: A Semantic Reconstruction (BD, MF, TK, MM), pp. 285–301.
- DLT-2010-MarinK #revisited
- Regular Hedge Language Factorization Revisited (MM, TK), pp. 328–339.
- RTA-2010-KutsiaM #order #regular expression #unification
- Order-Sorted Unification with Regular Expression Sorts (TK, MM), pp. 193–208.
- SAC-2007-GhourabiITMK #algebra #axiom #logic
- Logical and algebraic view of Huzita’s origami axioms with applications to computational origami (FG, TI, HT, MM, AK), pp. 767–772.
- PPDP-2004-MarinM #lazy evaluation
- New completeness results for lazy conditional narrowing (MM, AM), pp. 120–131.
- FLOPS-1999-MarinIS #higher-order #lazy evaluation #on the
- On Reducing the Search Space of Higher-Order Lazy Narrowing (MM, TI, TS), pp. 319–334.