Tetsuo Yokoyama

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 14

Top Topics

Programming Language

Top Venues

Theor. Comput. Sci.

New Gener. Comput.

IEICE Trans. Inf. Syst.

Publications

Therese Lyngby, Rasmus Ross Nylandsted, Robert Glück, Tetsuo Yokoyama
Towards Clean Reversible Lossless Compression - A Reversible Programming Experiment with Zip. RC (2024)
Robert Glück, Tetsuo Yokoyama
Reversible computing from a programming language perspective. Theor. Comput. Sci. 953 (2023)
Robert Glück, Tetsuo Yokoyama
Reversible Programming: A Case Study of Two String-Matching Algorithms. HCVS/VPT@ETAPS (2022)
Robert Glück, Tetsuo Yokoyama
Making Programs Reversible with Minimal Extra Data. New Gener. Comput. 40 (2) (2022)
Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama
From reversible programming languages to reversible metalanguages. Theor. Comput. Sci. 920 (2022)
Tetsuo Yokoyama, Tomoo Yokoyama
Complete transition diagrams of generic Hamiltonian flows with a few heteroclinic orbits. Discret. Math. Algorithms Appl. 13 (2) (2021)
Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama
Reversible Programs Have Reversible Semantics. FM Workshops (2) (2019)
Hiroki Masuda, Tetsuo Yokoyama
Analyzing Trade-offs in Reversible Linear and Binary Search Algorithms. CoRR (2019)
Robert Glück, Tetsuo Yokoyama
Constructing a binary tree from its traversals by reversible recursion and iteration. Inf. Process. Lett. 147 (2019)
Robert Glück, Tetsuo Yokoyama
Reversible Computing: Foundations and Software - Preface of Special Issue. New Gener. Comput. 36 (3) (2018)
Robert Glück, Tetsuo Yokoyama
A Minimalist's Reversible While Language. IEICE Trans. Inf. Syst. (5) (2017)
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Fundamentals of reversible flowchart languages. Theor. Comput. Sci. 611 (2016)
Robert Glück, Tetsuo Yokoyama
A Linear-Time Self-Interpreter of a Reversible Imperative Language. Inf. Media Technol. 11 (2016)
Holger Bock Axelsen, Tetsuo Yokoyama
Programming Techniques for Reversible Comparison Sorts. APLAS (2015)
Alexis De Vos, Stéphane Burignat, Robert Glück, Torben Ægidius Mogensen, Holger Bock Axelsen, Michael Kirkedal Thomsen, Eva Rotenberg, Tetsuo Yokoyama
Designing Garbage-Free Reversible Implementations of the Integer Cosine Transform. ACM J. Emerg. Technol. Comput. Syst. 11 (2) (2014)
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Optimizing Reversible Simulation of Injective Functions. J. Multiple Valued Log. Soft Comput. 18 (1) (2012)
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Minimizing Garbage Size by Generating Reversible Simulations. ICNC (2012)
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Towards a Reversible Functional Language. RC (2011)
Tetsuo Yokoyama, Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada
Static Task Scheduling Algorithms Based on Greedy Heuristics for Battery-Powered DVS Systems. IEICE Trans. Inf. Syst. (10) (2010)
Tetsuo Yokoyama
Reversible Computation and Reversible Programming Languages. Electron. Notes Theor. Comput. Sci. 253 (6) (2010)
Tetsuo Yokoyama, Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada
Analyzing and optimizing energy efficiency of algorithms on DVS systems a first step towards algorithmic energy minimization. ASP-DAC (2009)
Gang Zeng, Tetsuo Yokoyama, Hiroyuki Tomiyama, Hiroaki Takada
Practical Energy-Aware Scheduling for Real-Time Multiprocessor Systems. RTCSA (2009)
Tetsuo Yokoyama, Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada
Heuristics for Static Voltage Scheduling Algorithms on Battery-Powered DVS Systems. ICESS (2009)
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Principles of a reversible programming language. Conf. Computing Frontiers (2008)
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Reversible Flowchart Languages and the Structured Reversible Program Theorem. ICALP (2) (2008)
Holger Bock Axelsen, Robert Glück, Tetsuo Yokoyama
Reversible Machine Code and Its Abstract Processor Architecture. CSR (2007)
Tetsuo Yokoyama, Robert Glück
A reversible programming language and its invertible self-interpreter. PEPM (2007)
Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi
Program Optimizations and Transformations in Calculation Form. GTTSE (2005)
Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
Deterministic second-order patterns. Inf. Process. Lett. 89 (6) (2004)
Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
Deterministic Higher-Order Patterns for Program Transformation. LOPSTR (2003)
Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
Yicho - A System for Programming Program Calculations. APLAS (2002)
Hiroyuki Sekiguchi, Koichi Sano, Tetsuo Yokoyama
Interactive 3-dimensional segmentation method based on region growing method. Systems and Computers in Japan 25 (1) (1994)
Shinichi Satou, Koichi Sano, Tetsuo Yokoyama, Hideaki Koizumi
imaging method for magnetic resonance imaging. Systems and Computers in Japan 22 (5) (1991)
Koichi Sano, Kazuo Suzuki, Tetsuo Yokoyama, Hideaki Koizumi
MR image reconstruction from half the data using a phase map. Systems and Computers in Japan 20 (2) (1989)
Koichi Sano, Tetsuo Yokoyama, Shinichi Satou, Hideaki Koizumi
A method of analytic phase correction in magnetic resonance imaging and its application to blood-flow imaging. Systems and Computers in Japan 19 (2) (1988)
Koichi Morishita, Tetsuo Yokoyama
Image registration method using adaptive nonlinear filter. Systems and Computers in Japan 19 (9) (1988)