Tetsuo Yokoyama

Tomoo Yokoyama

Discret. Math. Algorithms Appl., 2021

2019

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

[BibT_eX]

[DOI]

Inf. Process. Lett., 2019

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

[BibT_eX]

[DOI]

Hiroki Masuda

CoRR, 2019

Reversible Programs Have Reversible Semantics.

[BibT_eX]

[DOI]

Robin Kaarsgaard

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

2018

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

[BibT_eX]

[DOI]

New Gener. Comput., 2018

Clean Reversible Simulations of Ranking Binary Trees.

[BibT_eX]

[DOI]

Yuhi Ohkubo

Chishun Kanayama

Proceedings of the Reversibility and Universality, 2018

2017

A Minimalist's Reversible While Language.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2017

2016

Fundamentals of reversible flowchart languages.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

A Linear-Time Self-Interpreter of a Reversible Imperative Language.

[BibT_eX]

[DOI]

Inf. Media Technol., 2016

2015

Programming Techniques for Reversible Comparison Sorts.

[BibT_eX]

[DOI]

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

2014

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

[BibT_eX]

[DOI]

Alexis De Vos

Stéphane Burignat

Torben Ægidius Mogensen

Michael Kirkedal Thomsen

Eva Rotenberg

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

2012

Optimizing Reversible Simulation of Injective Functions.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2012

Minimizing Garbage Size by Generating Reversible Simulations.

[BibT_eX]

[DOI]

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

2011

Towards a Reversible Functional Language.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - Third International Workshop, 2011

2010

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

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2010

2009

Reversible Computation and Reversible Programming Languages.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Reversible Computation, 2009

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2008

Reversible Flowchart Languages and the Structured Reversible Program Theorem.

[BibT_eX]

[DOI]

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

Principles of a reversible programming language.

[BibT_eX]

[DOI]

Proceedings of the 5th Conference on Computing Frontiers, 2008

2007

A reversible programming language and its invertible self-interpreter.

[BibT_eX]

[DOI]

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

Reversible Machine Code and Its Abstract Processor Architecture.

[BibT_eX]

[DOI]

Proceedings of the Computer Science, 2007

2005

Program Optimizations and Transformations in Calculation Form.

[BibT_eX]

[DOI]

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

2004

Deterministic second-order patterns.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2004

2003

Deterministic Higher-Order Patterns for Program Transformation.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2003

2002

Yicho - A System for Programming Program Calculations.

[BibT_eX]

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

1994

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

[BibT_eX]

[DOI]

Hiroyuki Sekiguchi

Koichi Sano

Syst. Comput. Jpn., 1994

1991

High-precision t<sub>1</sub> imaging method for magnetic resonance imaging.

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 1991

1989

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

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 1989

1988

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

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 1988

Image registration method using adaptive nonlinear filter.

[BibT_eX]

[DOI]

Koichi Morishita