dblp.uni-trier.dewww.uni-trier.de

Tetsuo Ida Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
41EETetsuo Ida, Hidekazu Takahashi: Origami fold as algebraic graph rewriting. SAC 2009: 1132-1137
2008
40EETetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghourabi: Computational Origami Construction as Constraint Solving and Rewriting. Electr. Notes Theor. Comput. Sci. 216: 31-44 (2008)
39EEAsem Kasem, Tetsuo Ida: Computational origami environment on the web. Frontiers of Computer Science in China 2(1): 39-54 (2008)
2007
38EETetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi: Modeling Origami for Computational Construction and Beyond. ICCSA (2) 2007: 653-665
37EEFadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem: Logical and algebraic view of Huzita's origami axioms with applications to computational origami. SAC 2007: 767-772
36EETetsuo Ida: Modeling Origami and Beyond. SYNASC 2007: 13
2006
35 Jacques Calmet, Tetsuo Ida, Dongming Wang: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings Springer 2006
34EETetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi, Asem Kasem: Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami. ICMS 2006: 361-372
33EETetsuo Ida: Tiers of webOrigami Programming. SYNASC 2006: 11
2005
32EETetsuo Ida, Hidekazu Takahashi, Mircea Marin: Computational Origami of a Morley's Triangle. MKM 2005: 267-282
31EEMircea Marin, Tetsuo Ida: Rule-Based Programming with sigma-Log. SYNASC 2005: 31-38
2004
30EETetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu: Proving and Constraint Solving in Computational Origami. AISC 2004: 132-142
29EEJudit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger: Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness. Automated Deduction in Geometry 2004: 19-33
2003
28EETetsuo Ida, Mircea Marin, Hidekazu Takahashi: Constraint Functional Logic Programming for Origami Construction. APLAS 2003: 73-88
2002
27 Tetsuo Ida: Functional Logic Origami Programming. APLAS 2002: 114
26EETetsuo Ida, Mircea Marin, Taro Suzuki: Reducing Search Space in Solving Higher-Order Equations. Progress in Discovery Science 2002: 19-30
2001
25 Norio Kobayashi, Mircea Marin, Tetsuo Ida: Collaborative Constraint Functional Logic Programming in an Open Environment. APLAS 2001: 49-59
24EETetsuo Ida, Mircea Marin, Taro Suzuki: Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations. EUROCAST 2001: 479-493
23EEQiang Li, Yike Guo, John Darlington, Tetsuo Ida: Minimised Geometric Buchberger Algorithm for Integer Programming. Annals OR 108(1-4): 87-109 (2001)
22EETetsuo Ida: Hot Topics in Reduction Strategies - A Panelist's View. Electr. Notes Theor. Comput. Sci. 57: (2001)
2000
21 Tetsuo Ida, Mircea Marin: An Open Environment for Cooperative Equational Solving. APLAS 2000: 163-166
20 Mircea Marin, Tetsuo Ida, Taro Suzuki: Higher-order Lazy Narrowing Calculi in Perspective. WFLP 2000: 238-252
19 Mircea Marin, Tetsuo Ida: Cooperative Constraint Functional Logic Programming. WFLP 2000: 382-390
1999
18 Mircea Marin, Tetsuo Ida, Taro Suzuki: On Reducing the Search Space of Higher-Order Lazy Narrowing. Fuji International Symposium on Functional and Logic Programming 1999: 319-334
1997
17EETaro Suzuki, Koji Nakagawa, Tetsuo Ida: Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language. ALP/HOA 1997: 99-113
16 Qiang Li, Yike Guo, Tetsuo Ida, John Darlington: The Minimised Geometric Buchberger Algorithm: An Optimal Algebraic Algorithm for Integer Programming. ISSAC 1997: 331-338
15 Tetsuo Ida, Koichi Nakahara: Leftmost Outside-In Narrowing Calculi. J. Funct. Program. 7(2): 129-161 (1997)
1996
14EEAart Middeldorp, Satoshi Okui, Tetsuo Ida: Lazy Narrowing: Strong Completeness and Eager Variable Elimination. Theor. Comput. Sci. 167(1&2): 95-130 (1996)
1995
13EEKoichi Nakahara, Aart Middeldorp, Tetsuo Ida: A Complete Narrowing Calculus for Higher-Order Functional Logic Programming PLILP 1995: 97-114
12EETaro Suzuki, Aart Middeldorp, Tetsuo Ida: Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides. RTA 1995: 179-193
11EESatoshi Okui, Aart Middeldorp, Tetsuo Ida: Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract). TAPSOFT 1995: 394-408
1992
10 Myuhng Joo Kim, Chu Shik Jhon, Tetsuo Ida: G-system: A Functionally-Based Communication System Model for Parallel Processing. IFIP Congress (1) 1992: 170-178
1984
9 Tetsuo Ida, Akihiko Konagaya: Comparison of Closure Reduction and Combinatory Reduction Schemes. RIMS Symposia on Software Science and Engineering 1984: 261-291
8 Tetsuo Ida, Jiro Tanaka: Functional Programming with Streams, Part II. New Generation Comput. 2(3): 262-275 (1984)
1983
7 Tetsuo Ida, Jiro Tanaka: Functional Programming with Streams. IFIP Congress 1983: 265-270
6 Tetsuo Ida: Some FP Algebra with Currying Operation. Inf. Process. Lett. 17(5): 259-261 (1983)
1982
5 Eiichi Goto, T. Soma, N. Inada, Tetsuo Ida, M. Idesawa, Kei Hiraki, M. Suzuki, Kentaro Shimizu, B. Philipov: Design of a Lisp Machine - FLATS. Symposium on LISP and Functional Programming 1982: 208-215
1981
4 Kozo Itano, Tetsuo Ida: Software-Fault Detector for Microprocessors. SIGSMALL/SIGMOD Symposium 1981: 64-70
1979
3 Eiichi Goto, Tetsuo Ida, Kei Hiraki: FLATS, a Machine for Numerical, Symbolic and Associative Computing. ISCA 1979: 102-110
1977
2 Tetsuo Ida, Eiichi Goto: Performance of Parallel Hash Hardware with Key Deletion. IFIP Congress 1977: 643-647
1 Eiichi Goto, Tetsuo Ida, Takao Gunji: Parallel Hashing Algorithms. Inf. Process. Lett. 6(1): 8-13 (1977)

Coauthor Index

1Bruno Buchberger [29] [30]
2Jacques Calmet [35]
3John Darlington [16] [23]
4Fadoua Ghourabi [34] [37] [38] [40]
5Eiichi Goto [1] [2] [3] [5]
6Takao Gunji [1]
7Yike Guo [16] [23]
8Kei Hiraki [3] [5]
9M. Idesawa [5]
10N. Inada [5]
11Kozo Itano [4]
12Chu Shik Jhon [10]
13Asem Kasem [34] [37] [39]
14Myuhng Joo Kim [10]
15Norio Kobayashi [25]
16Akihiko Konagaya [9]
17Qiang Li [16] [23]
18Mircea Marin [18] [19] [20] [21] [24] [25] [26] [28] [31] [32] [34] [37] [38] [40]
19Aart Middeldorp [11] [12] [13] [14]
20Koji Nakagawa [17]
21Koichi Nakahara [13] [15]
22Satoshi Okui [11] [14]
23B. Philipov [5]
24Judit Robu [29] [30]
25Kentaro Shimizu [5]
26T. Soma [5]
27M. Suzuki [5]
28Taro Suzuki [12] [17] [18] [20] [24] [26]
29Hidekazu Takahashi [28] [29] [32] [34] [37] [38] [40] [41]
30Jiro Tanaka [7] [8]
31Dorin Tepeneu [29] [30]
32Dongming Wang [35]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)