Publications 2005

1. Tetsuo Ida, Mircea Marin and Hidekazu Takahashi (2005): Computational Origami of a Morley's Triangle. - In: Proceedings of 4th International Conference on Mathematical Knowledge Management (MKM 2005), LNCS 3863, edited by Michael Kohlhase. Springer, pages 267--282.
2. Tetsuo Ida, Hidekazu Takahashi, Dorin Tepeneu and Mircea Marin (2005): Morley's Theorem Revisited through Computational Origami. - In: Proceedings of 7th International Mathematica Symposium (IMS 2005). CD version.
3. Norio Kobayashi, Mircea Marin, Yoshimasa Tanaka and Hideko Urushihara (2005): On the Development of an Analysis System for Upstream Sequences in Dictyostelium discoideum Genome. - Computer Software 22(3):167--172.
4. Temur Kutsia and Mircea Marin (2005): Matching with Regular Constraints. - Institute RISC-Linz, Technical Report (05-05), Schloss Hagenberg, Austria.
5. Temur Kutsia and Mircea Marin (2005): Can Context Sequence Matching be used for XML Querying?. - In: Proceedings of the 19th International Workshop on Unification, edited by Laurent Vigneron. Workshop hardcopy, Nara, Japan.
6. Temur Kutsia and Mircea Marin (2005): Matching with Regular Constraints. - In: Proceedings of the 12th International Conference on Logic, Programming, Artificial Intelligence and Reasoning (LPAR 2005), LNAI 3835, edited by Geoff Sutcliffe, Andrei Voronkov. Springer, pages 215-229.
7. Mircea Marin and Tetsuo Ida (2005): A Rule-based Framework for Automated Reasoning. - In: Proceedings of the 7th Asian Symposium on Computer Mathematics (ASCM 2005), edited by Sung-il Pae, Hyungju Park. KIAS, Korea, pages 28--31.
8. Mircea Marin and Tetsuo Ida (2005): Rule-based Programming with ρLog. - In: 7th international Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). IEEE Computer Society.
9. Mircea Marin and Tetsuo Ida (2005): Progress of ρLog, a rule-based programming system. - In: eProceedings of 7th International Mathematica Symposium (IMS 2005). CD proceedings version.