Concepedia

Tetsuo Ida

TI

Statistics

Publications

10

Citations

213

H-Index

10

Active since

1977

Affiliations

University of Tsukuba(Current)

Tetsuo Ida is an author at University of Tsukuba specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningDesignGeometryProgram AnalysisLogic ProgrammingComputer-aided DesignGraph Theory

Publications per year

1977–2011

10

Publications

10

Lazy narrowing: Strong completeness and eager variable elimination

Aart Middeldorp, Satoshi Okui, Tetsuo Ida · Theoretical Computer Science · 1996 · 59 citations

Computational Complexity Theory, Engineering, Parameterized Complexity +7

Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2011)

Dongming Wang, Viorel Negru, Tetsuo Ida et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2011 · 43 citations

Parallel hashing algorithms

Eiichi Goto, Tetsuo Ida, Takao Gunji · Information Processing Letters · 1977 · 17 citations

Cluster Computing, Engineering, Parallel Complexity Theory +6

Leftmost outside-in narrowing calculi

Tetsuo Ida, Koichi Nakahara · Journal of Functional Programming · 1997 · 16 citations

Geometry Of Number, Engineering, Operational Semantics +15

FUNCTIONAL PROGRAMMING WITH STREAMS.

Tetsuo Ida, Jiro Tanaka · IFIP Congress · 1983 · 15 citations

Engineering, Program Analysis, Functional Programming Language +4

1–5 of 10