Tetsuo Ida - RankMe

81 papers A* 1B 6Misc 24Journal 15Unranked 29

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	An e-origami artwork of a big wing crane. SCSS (Work in Progress) Tetsuo Ida
2024	—	`ed.`	Symbolic Computation in Software Science - 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings SCSS Stephen M. Watt, Tetsuo Ida
2023	J	`jnl`	Correction to: Preface. Ann. Math. Artif. Intell. Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia
2023	J	`jnl`	Preface. Ann. Math. Artif. Intell. Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia
2021	—	`conf`	A New Modeling of Classical Folds in Computational Origami. ADG Tetsuo Ida, Hidekazu Takahashi
2020	—	`book`	An Introduction to Computational Origami - A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria Tetsuo Ida
2019	J	`jnl`	Foreword - Formalization of geometry, automated and interactive geometric reasoning. Ann. Math. Artif. Intell. Pascal Schreck, Tetsuo Ida, Laura Kovács
2017	Misc	`ed.`	19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017 SYNASC Tudor Jebelean, Viorel Negru, Dana Petcu, Daniela Zaharie, Tetsuo Ida, Stephen M. Watt
2017	Misc	`conf`	Models of Computation for Origami. SYNASC Tetsuo Ida
2017	—	`conf`	Origami folds in higher-dimension. SCSS Tetsuo Ida, Stephen M. Watt
2016	Misc	`ed.`	18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016 SYNASC James H. Davenport, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
2016	J	`jnl`	Preface to the special issue on geometric reasoning. Ann. Math. Artif. Intell. Jacques D. Fleuriot, Tetsuo Ida
2016	Misc	`conf`	Revisit of "Geometric Exercise in Paper Folding" from a Viewpoint of Computational Origami. SYNASC Tetsuo Ida
2015	Misc	`ed.`	17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015 SYNASC Laura Kovács, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
2015	J	`jnl`	Formalizing polygonal knot origami. J. Symb. Comput. Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi
2014	Misc	`ed.`	16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014 SYNASC Franz Winkler, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
2014	Misc	`conf`	Huzita's Basic Origami Fold in Geometric Algebra. SYNASC Tetsuo Ida
2013	Misc	`ed.`	15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013 SYNASC Nikolaj S. Bjørner, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
2013	—	`ed.`	Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers Automated Deduction in Geometry Tetsuo Ida, Jacques D. Fleuriot
2013	Misc	`conf`	Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification. SYNASC Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi
2013	—	`conf`	Logical and Algebraic Views of a Knot Fold of a Regular Heptagon. SCSS Fadoua Ghourabi, Tetsuo Ida, Kazuko Takahashi
2013	—	`ed.`	Proceedings Fourth International Symposium on Symbolic Computation in Software Science, SCSS 2012, Gammarth, Tunisia, 15-17 December 2012. SCSS Adel Bouhoula, Tetsuo Ida, Fairouz Kamareddine
2012	Misc	`ed.`	14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012 SYNASC Andrei Voronkov, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
2012	Misc	`conf`	Interactive vs. Automated Proofs in Computational Origami. SYNASC Tetsuo Ida
2011	Misc	`ed.`	13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011 SYNASC Dongming Wang, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
2011	J	`jnl`	Morley's theorem revisited: Origami construction and automated proof. J. Symb. Comput. Tetsuo Ida, Asem Kasem, Fadoua Ghourabi, Hidekazu Takahashi
2011	Misc	`conf`	Origami axioms and circle extension. SAC Asem Kasem, Fadoua Ghourabi, Tetsuo Ida
2011	—	`conf`	Proof Assistant Decision Procedures for Formalizing Origami. Calculemus/MKM Cezary Kaliszyk, Tetsuo Ida
2010	Misc	`ed.`	12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010 SYNASC Tetsuo Ida, Viorel Negru, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
2010	J	`jnl`	Origami fold as algebraic graph rewriting. J. Symb. Comput. Tetsuo Ida, Hidekazu Takahashi
2010	—	`conf`	Proof Documents for Automated Origami Theorem Proving. Automated Deduction in Geometry Fadoua Ghourabi, Tetsuo Ida, Asem Kasem
2009	Misc	`ed.`	11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009 SYNASC Stephen M. Watt, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Daniela Zaharie
2009	Misc	`conf`	A Compiler for Origami Construction and Verification. SYNASC Tetsuo Ida
2009	Misc	`conf`	Origami fold as algebraic graph rewriting. SAC Tetsuo Ida, Hidekazu Takahashi
2009	B	`conf`	Symbolic and algebraic methods in computational origami: invited talk. ISSAC Tetsuo Ida
2008	J	`jnl`	Computational origami environment on the web. Frontiers Comput. Sci. China Asem Kasem, Tetsuo Ida
2008	Misc	`conf`	Graph Rewriting in Computational Origami. SYNASC Tetsuo Ida
2007	—	`conf`	Computational Origami Construction as Constraint Solving and Rewriting. WFLP@RDP Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghourabi
2007	Misc	`conf`	Logical and algebraic view of Huzita's origami axioms with applications to computational origami. SAC Fadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem
2007	Misc	`conf`	Modeling Origami and Beyond. SYNASC Tetsuo Ida
2007	—	`conf`	Modeling Origami for Computational Construction and Beyond. ICCSA (2) Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi
2006	Misc	`ed.`	Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings AISC Jacques Calmet, Tetsuo Ida, Dongming Wang
2006	—	`conf`	Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami. ICMS Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi, Asem Kasem
2006	Misc	`conf`	Tiers of webOrigami Programming. SYNASC Tetsuo Ida
2005	—	`conf`	Computational Origami of a Morley's Triangle. MKM Tetsuo Ida, Hidekazu Takahashi, Mircea Marin
2005	J	`jnl`	In memoriam: Professor Eiichi Goto. SIGSAM Bull. Tetsuo Ida
2005	Misc	`conf`	Rule-Based Programming with sigma-Log. SYNASC Mircea Marin, Tetsuo Ida
2004	—	`conf`	Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness. Automated Deduction in Geometry Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger
2004	Misc	`conf`	Proving and Constraint Solving in Computational Origami. AISC Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu
2003	B	`conf`	Constraint Functional Logic Programming for Origami Construction. APLAS Tetsuo Ida, Mircea Marin, Hidekazu Takahashi
2002	B	`conf`	Functional Logic Origami Programming. APLAS Tetsuo Ida
2002	—	`conf`	Reducing Search Space in Solving Higher-Order Equations. Progress in Discovery Science Tetsuo Ida, Mircea Marin, Taro Suzuki
2001	B	`conf`	Collaborative Constraint Functional Logic Programming in an Open Environment. APLAS Norio Kobayashi, Mircea Marin, Tetsuo Ida
2001	—	`conf`	Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations. EUROCAST Tetsuo Ida, Mircea Marin, Taro Suzuki
2001	—	`conf`	Hot Topics in Reduction Strategies - A Panelist's View. WRS Tetsuo Ida
2001	J	`jnl`	Minimised Geometric Buchberger Algorithm for Integer Programming. Ann. Oper. Res. Qiang Li, Yike Guo, John Darlington, Tetsuo Ida
2000	B	`conf`	An Open Environment for Cooperative Equational Solving. APLAS Tetsuo Ida, Mircea Marin
2000	—	`conf`	Cooperative Constraint Functional Logic Programming. WFLP Mircea Marin, Tetsuo Ida
2000	—	`conf`	Higher-order Lazy Narrowing Calculi in Perspective. WFLP Mircea Marin, Tetsuo Ida, Taro Suzuki
1999	—	`conf`	On Reducing the Search Space of Higher-Order Lazy Narrowing. Fuji International Symposium on Functional and Logic Programming Mircea Marin, Tetsuo Ida, Taro Suzuki
1997	—	`ed.`	Functional and Logic Programming, Proceedings of the Second Fuji International Workshop, Shonan Village Center, Japan, 1-4 November 1996. FLOPS Tetsuo Ida, Atsushi Ohori, Masato Takeichi
1997	—	`conf`	Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language. ALP/HOA Taro Suzuki, Koji Nakagawa, Tetsuo Ida
1997	J	`jnl`	Leftmost Outside-In Narrowing Calculi. J. Funct. Program. Tetsuo Ida, Koichi Nakahara
1997	B	`conf`	The Minimised Geometric Buchberger Algorithm: An Optimal Algebraic Algorithm for Integer Programming. ISSAC Qiang Li, Yike Guo, Tetsuo Ida, John Darlington
1996	J	`jnl`	Lazy Narrowing: Strong Completeness and Eager Variable Elimination. Theor. Comput. Sci. Aart Middeldorp, Satoshi Okui, Tetsuo Ida
1995	—	`conf`	A Complete Narrowing Calculus for Higher-Order Functional Logic Programming PLILP Koichi Nakahara, Aart Middeldorp, Tetsuo Ida
1995	—	`ed.`	Functional and Logic Programming, Proceedings of the Fuji International Workshop, Susono, Japan, 17-19 July 1995. FLOPS Masato Takeichi, Tetsuo Ida
1995	—	`conf`	Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract). TAPSOFT Satoshi Okui, Aart Middeldorp, Tetsuo Ida
1995	—	`conf`	Lazy Narrowing: Strong Completeness and Eager Variable Elimination. UNIF Aart Middeldorp, Satoshi Okui, Tetsuo Ida
1995	—	`conf`	Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides. RTA Taro Suzuki, Aart Middeldorp, Tetsuo Ida
1994	—	`conf`	Research on programming languages for massively parallel processing. ISPAN Makoto Amamiya, Masahiko Satoh, Akifumi Makinouchi, Ken-Ichi Hagiwara, Taiichi Yuasa, Hitoshi Aida, Kazunori Ueda, Keijiro Araki, Tetsuo Ida, Takanobu Baba
1992	—	`conf`	G-system: A Functionally-Based Communication System Model for Parallel Processing. IFIP Congress (1) Myuhng Joo Kim, Chu Shik Jhon, Tetsuo Ida
1984	—	`conf`	Comparison of Closure Reduction and Combinatory Reduction Schemes. RIMS Symposia on Software Science and Engineering Tetsuo Ida, Akihiko Konagaya
1984	J	`jnl`	Functional Programming with Streams, Part II. New Gener. Comput. Tetsuo Ida, Jiro Tanaka
1983	—	`conf`	Functional Programming with Streams. IFIP Congress Tetsuo Ida, Jiro Tanaka
1983	J	`jnl`	Some FP Algebra with Currying Operation. Inf. Process. Lett. Tetsuo Ida
1982	—	`conf`	Design of a Lisp Machine - FLATS. Symposium on LISP and Functional Programming Eiichi Goto, Takashi Soma, N. Inada, Tetsuo Ida, Masanori Idesawa, Kei Hiraki, M. Suzuki, Kentaro Shimizu, B. Philipov
1981	—	`conf`	Software-Fault Detector for Microprocessors. SIGSMALL/SIGMOD Symposium Kozo Itano, Tetsuo Ida
1979	A*	`conf`	FLATS, a Machine for Numerical, Symbolic and Associative Computing. ISCA Eiichi Goto, Tetsuo Ida, Kei Hiraki
1977	J	`jnl`	Parallel Hashing Algorithms. Inf. Process. Lett. Eiichi Goto, Tetsuo Ida, Takao Gunji
1977	—	`conf`	Performance of Parallel Hash Hardware with Key Deletion. IFIP Congress Tetsuo Ida, Eiichi Goto