Tohru Naoi
Gifu University(JP)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Natural Language Processing Techniques, Advanced Steganography and Watermarking Techniques, Embedded Systems Design Techniques
Most-Cited Works
- → Algebraic semantics and complexity of term rewriting systems(1989)7 cited
- → A cropping‐robust watermarking method based on singular value decomposition and Haar transformation(2003)2 cited
- A Language for Embedded Instruments in the Factory, EBIFRY : To be Consistent Stability with Easiness(2002)
- A Watermarking Method by Singular Value Decomposition(2000)
- A Sector-Labeling for generating the Hilbert Space-filling Curve and Its Intention(2002)
- Automatic Microprogram Synthesis from Algebraic Specification of Hardware(1993)
- Sector-Labeling for the Hilbert Curve Construction and Its Application to Mapped Data Retrieval Algorithms(2002)
- Non-Standard Recursion Theory(Theory of Rewriting Systems and Its Applications)q(1995)
- → A class of ambiguous linear term‐rewriting systems on which call‐by‐need is a normalizing reduction strategy(1987)
- Approximation Reduction and Approximation Rules of Term Rewriting Systems(1987)