MARIN Mircea マリンミルチア

… Alternative Names

MARIN MIrcea マリンミルチア

MIRCEA Marin MARIN Mircea

Less

Researcher Number	60396603
Other IDs
Affiliation (based on the past Project Information) *help	2010 – 2011: 筑波大学, システム情報系, 講師 2007 – 2010: University of Tsukuba, Graduate School of Systems and Information Engineering, Associate Professor 2006: 筑波大学, 大学院システム情報工学研究科, 講師 2005: 筑波大学, 大学院・システム情報工学研究科, 講師
Review Section/Research Field	Principal Investigator Software Except Principal Investigator Fundamental theory of informatics / Software
Keywords	Principal Investigator ルールベースプログラミング / 情報基礎 / ソフトウェア工学 / ソフトウェア開発効率化・安定化 / XML / パターンマッチング / 正則言語 / ソフトウェア学 Except Principal Investigator 記号計算 / 定理自動証明 … More / ソフトウェア検証 / 計算折紙 / 制約問題 / 折紙計算論 / ソフトウェア学 / 情報基礎 / グロブナ基底 / solvers / rewrite systems / web software / web services / computational origami / symbolic computation / software verification / automated theorem proving / 知識処理 / グロブナー基底 / グリッド / ウェブソフトウェアシステム / 計算折り紙 / 求解系 / 書換系 / ウエブソフトウエアシステム / ウェブサービス / 計算圻り紙 / ソフトウエア検証 / グラフ書換系 / 計算理論 / 制約計算 / 検証支援系 / グラフ書き換え / グロブナ基底計算 / 代数的グラフ書換系 / 自動幾何定理証明 / 書換え系 / 計算折紙論 / 検証 / ソフトウェア / ウェブ / 自動定理証明 / 計算幾何 / 計算モデル Less

Formalization of origami and origami-programming based on algebraic graph rewriting
- Principal Investigator
  
  IDA Tetsuo
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  University of Tsukuba
Modeling and verification of web software based on theories symbolic computation
- Principal Investigator
  
  IDA Tetsuo
- Project Period (FY)
  2008 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  University of Tsukuba
Applications of rule-based programming to verification and transformation of XMLPrincipal Investigator
- Principal Investigator
  
  MARIN Mircea
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  University of Tsukuba
折紙計算論に基づく折り可能性の考究と折紙手法発見
- Principal Investigator
  
  井田哲雄
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  University of Tsukuba
記号計算の手法を用いた折り紙計算論の構築
- Principal Investigator
  
  IDA Tetsuo
- Project Period (FY)
  2005 – 2006
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  University of Tsukuba
ルールベースプログラミングシステムの設計とその応用Principal Investigator
- Principal Investigator
  
  MARIN Mircea
- Project Period (FY)
  2005 – 2006
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  University of Tsukuba
Symbolic Computation and Symbolic Computing Grid Based on the Interaction of Provers, Solvers and Reduces
- Principal Investigator
  
  IDA Tetsuo
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  University of Tsukuba

All 2010 2009 2008 2007 2006 2005 Other

All Journal Article Presentation

[Journal Article] On the computation of quotients and factors of regular languages2010
- Author(s)
  Mircea Marin, Temur Kutsia
- Journal Title
  
  Frontiers of Computer Science in China Springer
  
  Volume: 4(2) Pages: 173-184
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500025
[Journal Article] Factorizations of Regular Hedge Languages2010
- Author(s)
  Mircea Marin, Adrian Craciun
- Journal Title
  
  Proceedings of SYNASC 2010. IEEE Computer Society Order Number P3964
  
  Pages: 307-314
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500025
[Journal Article] Linear Systems for Regular Hedge Languages2010
- Author(s)
  Mircea Marin, Temur Kutsia
- Journal Title
  
  Advances in Databases and Information Systems. Associated Workshops and Doctoral Consortium of ADBIS 2009. Proceedings. LNCS 5968
  
  Pages: 104-112
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300001
[Journal Article] Type inference for regular expression pattern matching.2010
- Author(s)
  M.Marin, A.Craciun.
- Journal Title
  
  Procs.of SYNASC' 2010, Timisoara, Romania(T.Ida, V.Negru, T.Jebelean, D.Petcu, S.Watt, D.Zaharie, editors)(IEEE Computer Society)
  
  Pages: 366-276
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500025
[Journal Article] Linear Systems for Regular Hedge Languages2010
- Author(s)
  Mircea Marin, Temur Kutsia
- Journal Title
  
  Advances in Databases and Information Systems. As sociated Workshops and Doctoral Consortium of ADBIS 2009. Proceedings. LNCS 5968
  
  Pages: 104-112
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500025
[Journal Article] Strategies in PpLog.2010
- Author(s)
  B.Dundua, T.Kutsia, M.Marin.
- Journal Title
  
  PNTCS 15
  
  Pages: 32-43
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500025
[Journal Article] Strategies in PρLog2010
- Author(s)
  Besik Dundua, Temur Kutsia, Mircea Marin
- Journal Title
  
  9^<th> Intl Workshop on Reduction Strategies in Rewriting and Programming(WRS'09). Electronic Proceedings in Theoretical Computer Science EPTCS 15
  
  Pages: 32-43
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500025
[Journal Article] Factorizations of regular hedge languages.2010
- Author(s)
  M.Marin, A.Craciun.
- Journal Title
  
  Procs.of SYN-ASC' 2009. Timisoara, Romania(S.Watt, V.Negru, T.Ida, T.Jebelean, D.Petcu, D.Zaharie, editors)(IEEE Computer Society.)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500025
[Journal Article] Regular Hedge Language Factorization Revisited2010
- Author(s)
  Mircea Marin, Temur Kutsia
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 6226 Pages: 329-339
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500025
[Journal Article] Regular Hedge Language Factorization Revisited.2010
- Author(s)
  M.Marin, T.Kutsia.
- Journal Title
  
  Proceedlngs of the 14^<th> Intl.Conference on Developments in Language Theory (DLT 2010).(Sheng Yu, editor)(London, Ontario, Canada.LNCS 6224) Springer
  
  Pages: 328-339
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500025
[Journal Article] On the Computation of Quotients and Factors of Regular Languages.2010
- Author(s)
  M.Marin, T.Kutsia.
- Journal Title
  
  Frontiers of Computer Science in China. 4(2)
  
  Pages: 173-184
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500025
[Journal Article] Type Inference for Regular Expression Pattern Matching2010
- Author(s)
  Mircea Marin, Adrian Craciun
- Journal Title
  
  IEEE Computer Society Proceedings of 12^th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
  
  Pages: 366-376
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500025
[Journal Article] Order-Sorted Unification with Regular Expression Sorts2010
- Author(s)
  Temur Kutsia, Mircea Marin
- Journal Title
  
  Leibniz International Proceedings in Informatics(LIPIcs)
  
  Volume: 6 Pages: 193-208
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500025
[Journal Article] Linear Systems for Regular Hedge Languages.2009
- Author(s)
  M.Marin, T.Kutsia.
- Journal Title
  
  ADBIS 2009.(J.Grundspenkis, M.Kirikova, Y.Manoloupoulos, L.Novickis, editors)(Revised Selected Papers. Riga, Latvia. LNCS 5968)
  
  Pages: 104-112
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500025
[Journal Article] Computational Origami Construction as Constraint Solving and Rewriting2008
- Author(s)
  Tetsuo Ida, Mircea Marin,Hidekazu Takahashi, Fadoua Ghourabi
- Journal Title
  
  Electronic Notes in Theoretical Computer Science 216
  
  Pages: 31-44
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19650001
[Journal Article] Computational Origami Construction as Constraint Solving and Rewriting2008
- Author(s)
  Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghourabi
- Journal Title
  
  Electronic Notes in Theoretical Computer Science 216
  
  Pages: 31-44
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500025
[Journal Article] Computational Origami Construction as Colistraint Solving and Rewriting2008
- Author(s)
  Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghourabi
- Journal Title
  
  Electronic Notes in Theoretical Computer Science 216
  
  Pages: 31-44
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300001
[Journal Article] Computational Origami Construction as Constraint Solving and Rewriting2007
- Author(s)
  Tetsuo Ida, Mircea Marin, Hidekazu Takahashi and Fadoua Ghourabi
- Journal Title
  
  Proceedings of the 16th International Workshop on Functional and(Constraint)Logic Programming(WFLP 2007)
  
  Pages: 139-152
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Logical and Algebraic View of Huzita's Origami Axioms with Applications to Computational Origami2007
- Author(s)
  Fadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem kasem
- Journal Title
  
  Proceedings of the 22nd ACM Symposium on Applied Computing
  
  Pages: 767-772
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Modelling Origami for Computational Construction and Beyond2007
- Author(s)
  Tetsuo Ida, Hidekazu Takahashi, Mircea Marin and Fadoua Ghourabi
- Journal Title
  
  International Conference on Computational Science and Its Applications 2007(ICCSA 2007), Lecture Notes in Computer Science, Springer 4706
  
  Pages: 653-665
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Modelling Origami for Computational Construction and Beyond2007
- Author(s)
  Tetsuo Ida, Hidekazu Takahashi, Mircea Marin and Fadoua Ghourabi
- Journal Title
  
  International Conference on Computational Science and Its Applications 2007(ICCSA 2007)Lecture Notes in Computer Science, Springer 4706
  
  Pages: 653-665
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19650001
[Journal Article] Computational Origami Construction as Constraint Solving and Rewriting2007
- Author(s)
  Tetsuo Ida, Mircea Marin, Hidekazu Takahashi and Fadoua Ghourabi
- Journal Title
  
  Proceedings of the 16th International Works hopon Functional and(Constraint) Logic Programming(WFLP 2007)
  
  Pages: 139-152
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Modelling Origami for Computational Construction and Beyond2007
- Author(s)
  Tetsuo, Ida・Hidekazu, Takahashi・Mircea, Marin・Fadoua, Ghourabi
- Journal Title
  
  International Conference on Computational Science and Its Applications 2007 (ICCSA 2007), Lecture Notes in Computer Science, Springer 4706
  
  Pages: 653-665
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Logical and Algebraic view of Huzita's Axioms with Applications to Computational Origami2007
- Author(s)
  F.Ghourabi, T.Ida, H.Takahashi, M.Marin, A.Kasem
- Journal Title
  
  Proceedings of 22 nd ACM Symposium on Applied Computing
  
  Pages: 767-772
- Data Source
  KAKENHI-PROJECT-17700025
[Journal Article] Logical and Algebraic View of Huzita's Origami Axioms with Applications to Computational Origami2007
- Author(s)
  Fadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem
- Journal Title
  
  Proceedings of the 22nd ACM Symposium on Applied Computing
  
  Pages: 767-772
- Data Source
  KAKENHI-PROJECT-17650003
[Journal Article] Logical and Algebraic view of Huzita's Origami Axioms with Applications to Computational Origami2007
- Author(s)
  Fadoua, Ghourabi・Tetsuo, Ida・Hidekazu, Takahashi・Mircea, Marin・Asem, Kasem
- Journal Title
  
  Prooceedings of the 22nd ACM Symposium on Applied Computing
  
  Pages: 767-772
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Logical and Algebraic View of Huzita's Origami Axioms with Applications to Computational Origami2007
- Author(s)
  Fadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi, Mircea Marin and Asem Kasem
- Journal Title
  
  Proceedings of the 22nd ACM Symposium on Applied Computing
  
  Pages: 767-772
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Computational Origami Construction as Constraint Solving and Rewriting2007
- Author(s)
  Tetsuo, Ida・Mircea, Marin・Hidekazu, Takahashi・Fadoua, Ghourabi
- Journal Title
  
  Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007)
  
  Pages: 139-152
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Computational Origami Construction as Constraint Solving and Rewriting2007
- Author(s)
  Tetsuo Ida, Mircea Marin, Hidekazu Takahashi and Fadoua Ghourabi
- Journal Title
  
  Proceedings of the 16th International Workshop on Functional and(Constraint)Logic Programming(WELP 2007)
  
  Pages: 139-152
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19650001
[Journal Article] Computational Origami of a Morley's Triangle2006
- Author(s)
  Tetsuo Ida, Mircea Marin, Hidekazu Takahashi
- Journal Title
  
  The 4th International Conference on Mathematical Knowledge Management LNAI 3863
  
  Pages: 267-282
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Progress of ρLog, a rule-based programming system2006
- Author(s)
  M.Marin, T.Ida
- Journal Title
  
  Mathematica in Education and Research 11 (1)
  
  Pages: 50-66
- Data Source
  KAKENHI-PROJECT-17700025
[Journal Article] Solving Regular Constraints for Hedges and Contexts2006
- Author(s)
  T.Kutsia, M.Marin
- Journal Title
  
  Proceedings of the 22th Intl. Workshop on Unification (UNIF 2006)
  
  Pages: 89-107
- Data Source
  KAKENHI-PROJECT-17700025
[Journal Article] Computational Construction of a Maximal Equilateral Triangle Inscribed in an Origami2006
- Author(s)
  Tetsuo, Ida・Hidekazu, Takahashi・Mircea, Marin・Asemkasem・Fadoua, Ghourabi
- Journal Title
  
  Proceedings of Second Internhational Congress on Mathematical Software LNCS4151
  
  Pages: 361-372
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Computational Construction of a Maximal Equilateral Triangle Inscribed in an Origami2006
- Author(s)
  Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem and Fadoua Ghourabi
- Journal Title
  
  Proceedings of Second International Congres s on Mathematical Software LNCS4151
  
  Pages: 361-372
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Computational Origami of a Morley's Triangle2006
- Author(s)
  Tetsuo Ida, Mircea Marin, Hidekazu Takahashi
- Journal Title
  
  The 4th International Conference on Mathematical Knowledge Management LNAI 3863
  
  Pages: 267-282
- Data Source
  KAKENHI-PROJECT-17650003
[Journal Article] Foundations of the Rule-based System ρLog2006
- Author(s)
  Mircea, Marin・Temur, Kutsia
- Journal Title
  
  Journal of Applied Non-Classical Logic 16(1-2)
  
  Pages: 151-168
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Progress of ρLog, a rule-based programming system2006
- Author(s)
  Mircea, Marin・Tetsuo, Ida
- Journal Title
  
  Mathematica in Education and Research 11(1)
  
  Pages: 50-66
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Progress of RhoLog, a Rule-based Programming System2006
- Author(s)
  Mircea Marin, Tetsuo Ida
- Journal Title
  
  Mathematica in Education and Research. 11
  
  Pages: 50-66
- Data Source
  KAKENHI-PROJECT-17700025
[Journal Article] Foundations of the Rule-based System ρLog2006
- Author(s)
  M.Marin, T.Kutsia
- Journal Title
  
  Journal of Applied Non-Classical Logic 16 (1-2)
  
  Pages: 151-168
- Data Source
  KAKENHI-PROJECT-17700025
[Journal Article] Foundations of the Rule-Based System ρLog2006
- Author(s)
  Mircea Marin, Temur Kutsia
- Journal Title
  
  Journal of Applied Non-Classical Logic 16(1-2)
  
  Pages: 151-168
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Foundations of the Rule-Based System pLog2006
- Author(s)
  Mircea Marin and Temur Kutsia
- Journal Title
  
  Journal of Applied Non-Classical Logic 16(1-2)
  
  Pages: 151-168
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Progress of ρLog, a rule-based programming system2006
- Author(s)
  Mircea Marin, Tetsuo Ida
- Journal Title
  
  Mathematica in Education and Research 11(1)
  
  Pages: 50-66
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Computational Origami System Eos2006
- Author(s)
  Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem, Fadoua Ghourabi
- Journal Title
  
  Proceedings of 4th International Conference on Origami, Science, Mathematics and Education
  
  Pages: 69-69
- Data Source
  KAKENHI-PROJECT-17650003
[Journal Article] Computational construction of a Maximal Equilateral Triangle Inscribed in an Origami2006
- Author(s)
  Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem, Fadoua Ghourabi
- Journal Title
  
  Proceedings of Second International Congress on Mathematical Software LNCS 4151
  
  Pages: 361-372
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Computational Origami of a morley's Triangle2006
- Author(s)
  Tetsuo, Ida・Mircea, Marin・Hidekazu, Takahashi
- Journal Title
  
  The 4th International Conference on Mathematical Knowledge Management LNAI3863
  
  Pages: 267-282
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Computational Construction of a Maximal Equilateral Triangle Inscribed in an Origami2006
- Author(s)
  Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem, Fadoua Ghourabi
- Journal Title
  
  Proceedings of Second International Congress on Mathematical Software LNCS 4151
  
  Pages: 361-372
- Data Source
  KAKENHI-PROJECT-17650003
[Journal Article] Computational Origami of a Morley's Triangle2006
- Author(s)
  Tetsuo Ida, Hidekazu Takahashi, Mircea Marin
- Journal Title
  
  Proceedings of MKM 2005. Lecture Notes in Artificial Intelligence. LNAT3863
  
  Pages: 267-282
- Data Source
  KAKENHI-PROJECT-17700025
[Journal Article] Progress of pLog, a rule-based programming system2006
- Author(s)
  Mircea Marin and Tetsuo Ida
- Journal Title
  
  Mathematica in Education and Research 11(1)
  
  Pages: 50-66
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Computational Construction of a Maximal Equilateral Triangle Inscribed in an Origami2006
- Author(s)
  T.Ida, H.Takahashi, M.Marin, A.Kasem, F.Ghourabi
- Journal Title
  
  Proceedings Second International Congress on Mathematical Software, LNCS 4151
  
  Pages: 361-372
- Data Source
  KAKENHI-PROJECT-17700025
[Journal Article] Morley's Theorem Revisited Through Computational Origami2005
- Author(s)
  Tetsuo, Ida・Hidekazu, Takahashi・Dorin, Tepeneu・Mircea, Marin
- Journal Title
  
  Proceedings of International Mathematica Symposium IMS 2005
  
  Pages: 55-55
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Rule-based Programming with RhoLog2005
- Author(s)
  Mircea Marin, Tetsuo Ida
- Journal Title
  
  Proceedings of SYNASC 2005, Timisoara, Romania. IEEE Computer Society Press.
  
  Pages: 8-8
- Data Source
  KAKENHI-PROJECT-17700025
[Journal Article] Morley's Theorem Revisited Through Computational Origami2005
- Author(s)
  Tetsuo Ida, Hidekazu Takahashi, Dorin Tepeneu, Mircea Marin
- Journal Title
  
  eProceedings of International Mathematica Symposium IMS 2005
  
  Pages: 55-55
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Morley's Theorem Revisited Through Computational Origami2005
- Author(s)
  Tetsuo Ida, Hidekazu Takahashi, Dorin Tepeneu, Mircea Marin
- Journal Title
  
  eProceedings of International Mathematica Symposium IMS 2005.
  
  Pages: 55-55
- Data Source
  KAKENHI-PROJECT-17700025
[Journal Article] Can Context Matching be Used for XML Querying?2005
- Author(s)
  Temur Kutsia, Mircea Marin
- Journal Title
  
  Proceedings of the 19^<th> International Workshop on Unification (UNIF'05), Nara, Japan.
  
  Pages: 77-92
- Data Source
  KAKENHI-PROJECT-17700025
[Journal Article] Morley's Theorem Revisited Through Computational Origami2005
- Author(s)
  Tetsuo Ida, Hidekazu Takahashi, Dorin Tepeneu, Mircea Marin
- Journal Title
  
  eProceedings of International Mathematica Symposium IMS 2005
  
  Pages: 55-55
- Data Source
  KAKENHI-PROJECT-17650003
[Journal Article] Matching with Regular Constraints2005
- Author(s)
  Temur Kutsia, Mircea Marin
- Journal Title
  
  Proceedings of LPAR 2005.Lecture Notes in Artificial Intelligence. 3835
  
  Pages: 215-229
- Data Source
  KAKENHI-PROJECT-17700025
[Journal Article] Morley's Theorem Revisited Through Computational Origami2005
- Author(s)
  Tetsuo Ida, Hidekazu Takahashi, Dorin Tepeneu, Mircea Marin
- Journal Title
  
  Proceedings of International MathematicaSymposium IMS 2005
  
  Pages: 55-55
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Order-sorted Unification with Regular Expression Sorts.
- Author(s)
  T.Kutsia, M.Marin.
- Journal Title
  
  Proceedings of the 21^<st> Internatlonal Conference on Rewri ting Techniques and Applications (RTA 2010), July 11-13, 2010, Edinburgh UK.Vol.6 of the Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl, Germany(Ch.Lynch, editor)
  
  Pages: 193-208
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500025
[Presentation] Order-sorted unification with regular expression sorts.2009
- Author(s)
  T.Kutsia, M.Marin.
- Organizer
  Procs.of UNIF 2009.(Ch.Lynch, P.Narendran, editors)
- Place of Presentation
  Montreal, Canada.
- Year and Date
  2009-08-02
- Data Source
  KAKENHI-PROJECT-20500025
[Presentation] On the Computation of Quotients and Factors of Regular Languages2009
- Author(s)
  Mircea Marin, Temur Kutsia
- Organizer
  Sixth Asian Workshop on Foundations of Software(AWFS 2009). GRACE TR 2009-01, pages 67-78
- Place of Presentation
  National Institute of Informatics, Tokyo
- Year and Date
  2009-04-07
- Data Source
  KAKENHI-PROJECT-20500025
[Presentation] Matching with Membership Constraints for Hedge and Context Variables2008
- Author(s)
  Mircea Marin, Temur Kutsia
- Organizer
  22nd International Workshop on Unification (UNIF 2008)
- Place of Presentation
  Castle of Hagenber9, Austria
- Year and Date
  2008-07-18
- Data Source
  KAKENHI-PROJECT-20500025
[Presentation] Matching with Membership Constraints for Hedge and Context Variables.2008
- Author(s)
  M.Marin, T.Kutsia.
- Organizer
  Procs.of UNIF 2008, pp.55-68.(M.Marin, editor)
- Place of Presentation
  Castle of Hagenberg, Austria.
- Year and Date
  2008-07-18
- Data Source
  KAKENHI-PROJECT-20500025
[Presentation] webOrigami2: A System for Origami Construction and Proving Using Web 2.0 Technologies2007
- Author(s)
  Asem Kasem, Hidekazu Takahashi, Mircea Marin and Tetsuo Ida
- Organizer
  日本ソフトウェア科学会第24回大会
- Place of Presentation
  奈良先端科学技術大学院大学
- Year and Date
  2007-09-14
- Data Source
  KAKENHI-PROJECT-17300004
[Presentation] webOrigami2: A System for Origami Construction and Poroving Using Web 2.0 Technologies2007
- Author(s)
  Asem, Kasem・Hidekazu, Takahashi・Mircea, Marin・Tetsuo, Ida
- Organizer
  日本ソフトウエア科学会第24回大会
- Place of Presentation
  奈良先端科学技術大学院大学
- Year and Date
  2007-09-14
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17300004
[Presentation] webOrigami2: A System for Origami Construction and Proving Using Web 2.0 Technologies2007
- Author(s)
  Asem Kasem, Hidekazu Takahashi, Mircea Marin and Tetsuo Ida
- Organizer
  日本ソフトウェア科学会第24回大会
- Place of Presentation
  奈良先端科学技術大学院大学
- Year and Date
  2007-09-14
- Data Source
  KAKENHI-PROJECT-19650001
[Presentation] webOrigami2 : A System for Origami Construction and Proving Using Web 2.0 Technologies2007
- Author(s)
  Asem Kasem, Hidekazu Takahashi, Mircea Marin and Tetsuo Ida
- Organizer
  Annual Symposium of Japan Society for Software Science and Technology. JSSST
- Place of Presentation
  Nara, Japan
- Year and Date
  2007-09-14
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300004

1. IDA Tetsuo (70100047)

# of Collaborated Projects: 6 results

# of Collaborated Products: 33 results
2. MINAMIDE Yasuhiko (50252531)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
3. SUSUKI Taro (90272179)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

MARIN Mircea マリン ミルチア

MARIN MIrcea マリン ミルチア

MIRCEA Marin MARIN Mircea

Research Projects

Research Products

Co-Researchers

Formalization of origami and origami-programming based on algebraic graph rewriting

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Modeling and verification of web software based on theories symbolic computation

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Applications of rule-based programming to verification and transformation of XMLPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

折紙計算論に基づく折り可能性の考究と折紙手法発見

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

記号計算の手法を用いた折り紙計算論の構築

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

ルールベースプログラミングシステムの設計とその応用Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Symbolic Computation and Symbolic Computing Grid Based on the Interaction of Provers, Solvers and Reduces

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] On the computation of quotients and factors of regular languages2010

Author(s)

Journal Title

Data Source

[Journal Article] Factorizations of Regular Hedge Languages2010

Author(s)

Journal Title

Data Source

[Journal Article] Linear Systems for Regular Hedge Languages2010

Author(s)

Journal Title

Data Source

[Journal Article] Type inference for regular expression pattern matching.2010

Author(s)

Journal Title

Data Source

[Journal Article] Linear Systems for Regular Hedge Languages2010

Author(s)

Journal Title

Data Source

[Journal Article] Strategies in PpLog.2010

Author(s)

Journal Title

Data Source

[Journal Article] Strategies in PρLog2010

Author(s)

Journal Title

Data Source

[Journal Article] Factorizations of regular hedge languages.2010

Author(s)

Journal Title

Data Source

MARIN Mircea マリンミルチア

MARIN MIrcea マリンミルチア