Tetsuo Yokoyama

According to our database, Tetsuo Yokoyama authored at least 35 papers between 1988 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Reversible computing from a programming language perspective.

Robert Glück, Tetsuo Yokoyama

Theor. Comput. Sci., April, 2023

2022

From reversible programming languages to reversible metalanguages.

Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama

Theor. Comput. Sci., 2022

Making Programs Reversible with Minimal Extra Data.

Robert Glück, Tetsuo Yokoyama

New Gener. Comput., 2022

Reversible Programming: A Case Study of Two String-Matching Algorithms.

Robert Glück, Tetsuo Yokoyama

Proceedings of the Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation, 2022

2021

Complete transition diagrams of generic Hamiltonian flows with a few heteroclinic orbits.

Tetsuo Yokoyama, Tomoo Yokoyama

Discret. Math. Algorithms Appl., 2021

2019

Constructing a binary tree from its traversals by reversible recursion and iteration.

Robert Glück, Tetsuo Yokoyama

Inf. Process. Lett., 2019

Analyzing Trade-offs in Reversible Linear and Binary Search Algorithms.

Hiroki Masuda, Tetsuo Yokoyama

CoRR, 2019

Reversible Programs Have Reversible Semantics.

Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

Reversible Computing: Foundations and Software - Preface of Special Issue.

Robert Glück, Tetsuo Yokoyama

New Gener. Comput., 2018

Clean Reversible Simulations of Ranking Binary Trees.

Yuhi Ohkubo, Tetsuo Yokoyama, Chishun Kanayama

Proceedings of the Reversibility and Universality, 2018

2017

A Minimalist's Reversible While Language.

Robert Glück, Tetsuo Yokoyama

IEICE Trans. Inf. Syst., 2017

2016

Fundamentals of reversible flowchart languages.

Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück

Theor. Comput. Sci., 2016

2015

Programming Techniques for Reversible Comparison Sorts.

Holger Bock Axelsen, Tetsuo Yokoyama

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

Designing Garbage-Free Reversible Implementations of the Integer Cosine Transform.

Alexis De Vos, Stéphane Burignat, Robert Glück, Torben Ægidius Mogensen, Holger Bock Axelsen, Michael Kirkedal Thomsen, Eva Rotenberg, Tetsuo Yokoyama

ACM J. Emerg. Technol. Comput. Syst., 2014

2012

Optimizing Reversible Simulation of Injective Functions.

Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück

J. Multiple Valued Log. Soft Comput., 2012

Minimizing Garbage Size by Generating Reversible Simulations.

Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück

Proceedings of the Third International Conference on Networking and Computing, 2012

2011

Towards a Reversible Functional Language.

Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück

Proceedings of the Reversible Computation - Third International Workshop, 2011

2010

Static Task Scheduling Algorithms Based on Greedy Heuristics for Battery-Powered DVS Systems.

Tetsuo Yokoyama, Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada

IEICE Trans. Inf. Syst., 2010

2009

Reversible Computation and Reversible Programming Languages.

Tetsuo Yokoyama

Proceedings of the Workshop on Reversible Computation, 2009

Practical Energy-Aware Scheduling for Real-Time Multiprocessor Systems.

Gang Zeng, Tetsuo Yokoyama, Hiroyuki Tomiyama, Hiroaki Takada

Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009

Heuristics for Static Voltage Scheduling Algorithms on Battery-Powered DVS Systems.

Tetsuo Yokoyama, Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada

Proceedings of the International Conference on Embedded Software and Systems, 2009

Analyzing and optimizing energy efficiency of algorithms on DVS systems a first step towards algorithmic energy minimization.

Tetsuo Yokoyama, Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada

Proceedings of the 14th Asia South Pacific Design Automation Conference, 2009

2008

Reversible Flowchart Languages and the Structured Reversible Program Theorem.

Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

Principles of a reversible programming language.

Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück

Proceedings of the 5th Conference on Computing Frontiers, 2008

2007

A reversible programming language and its invertible self-interpreter.

Tetsuo Yokoyama, Robert Glück

Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

Reversible Machine Code and Its Abstract Processor Architecture.

Holger Bock Axelsen, Robert Glück, Tetsuo Yokoyama

Proceedings of the Computer Science, 2007

2005

Program Optimizations and Transformations in Calculation Form.

Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi

Proceedings of the Generative and Transformational Techniques in Software Engineering, 2005

2004

Deterministic second-order patterns.

Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi

Inf. Process. Lett., 2004

2003

Deterministic Higher-Order Patterns for Program Transformation.

Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi

Proceedings of the Logic Based Program Synthesis and Transformation, 2003

2002

Yicho - A System for Programming Program Calculations.

Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

1994

Interactive 3-dimensional segmentation method based on region growing method.

Hiroyuki Sekiguchi, Koichi Sano, Tetsuo Yokoyama

Syst. Comput. Jpn., 1994

1991

High-precision t₁ imaging method for magnetic resonance imaging.

Shinichi Satou, Koichi Sano, Tetsuo Yokoyama, Hideaki Koizumi

Syst. Comput. Jpn., 1991

1989

MR image reconstruction from half the data using a phase map.

Koichi Sano, Kazuo Suzuki, Tetsuo Yokoyama, Hideaki Koizumi

Syst. Comput. Jpn., 1989

1988

A method of analytic phase correction in magnetic resonance imaging and its application to blood-flow imaging.

Koichi Sano, Tetsuo Yokoyama, Shinichi Satou, Hideaki Koizumi

Syst. Comput. Jpn., 1988

Image registration method using adaptive nonlinear filter.

Koichi Morishita, Tetsuo Yokoyama

Syst. Comput. Jpn., 1988