default search action
Tetsuo Yokoyama
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c17]Therese Lyngby
, Rasmus Ross Nylandsted
Towards Clean Reversible Lossless Compression - A Reversible Programming Experiment with Zip. RC 2024: 94-102 - 2023
- [j18]Robert Glück
Reversible computing from a programming language perspective. Theor. Comput. Sci. 953: 113429 (2023) - 2022
- [j17]Robert Glück
Making Programs Reversible with Minimal Extra Data. New Gener. Comput. 40(2): 467-480 (2022) - [j16]Robert Glück
From reversible programming languages to reversible metalanguages. Theor. Comput. Sci. 920: 46-63 (2022) - [c16]Robert Glück
Reversible Programming: A Case Study of Two String-Matching Algorithms. HCVS/VPT@ETAPS 2022: 1-13 - 2021
- [j15]Tetsuo Yokoyama, Tomoo Yokoyama:
Complete transition diagrams of generic Hamiltonian flows with a few heteroclinic orbits. Discret. Math. Algorithms Appl. 13(2): 2150023:1-2150023:32 (2021) - [e2]Shigeru Yamashita
Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings. Lecture Notes in Computer Science 12805, Springer 2021, ISBN 978-3-030-79836-9 [contents]
2010 – 2019
- 2019
- [j14]Robert Glück
Constructing a binary tree from its traversals by reversible recursion and iteration. Inf. Process. Lett. 147: 32-37 (2019) - [c15]Robert Glück
Reversible Programs Have Reversible Semantics. FM Workshops (2) 2019: 413-427 - [i1]Hiroki Masuda, Tetsuo Yokoyama:
Analyzing Trade-offs in Reversible Linear and Binary Search Algorithms. CoRR abs/1910.10406 (2019) - 2018
- [j13]Robert Glück
Reversible Computing: Foundations and Software - Preface of Special Issue. New Gener. Comput. 36(3): 143-144 (2018) - [p1]Yuhi Ohkubo, Tetsuo Yokoyama, Chishun Kanayama:
Clean Reversible Simulations of Ranking Binary Trees. Reversibility and Universality 2018: 243-267 - 2017
- [j12]Robert Glück
A Minimalist's Reversible While Language. IEICE Trans. Inf. Syst. 100-D(5): 1026-1034 (2017) - 2016
- [j11]Robert Glück, Tetsuo Yokoyama:
A Linear-Time Self-Interpreter of a Reversible Imperative Language. Inf. Media Technol. 11: 160-180 (2016) - [j10]Tetsuo Yokoyama, Holger Bock Axelsen
Fundamentals of reversible flowchart languages. Theor. Comput. Sci. 611: 87-115 (2016) - 2015
- [c14]Holger Bock Axelsen, Tetsuo Yokoyama:
Programming Techniques for Reversible Comparison Sorts. APLAS 2015: 407-426 - 2014
- [j9]Alexis De Vos, Stéphane Burignat, Robert Glück
Designing Garbage-Free Reversible Implementations of the Integer Cosine Transform. ACM J. Emerg. Technol. Comput. Syst. 11(2): 11:1-11:15 (2014) - 2013
- [e1]Robert Glück, Tetsuo Yokoyama:
Reversible Computation, 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers. Lecture Notes in Computer Science 7581, Springer 2013, ISBN 978-3-642-36314-6 [contents] - 2012
- [j8]Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück:
Optimizing Reversible Simulation of Injective Functions. J. Multiple Valued Log. Soft Comput. 18(1): 5-24 (2012) - [c13]Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Minimizing Garbage Size by Generating Reversible Simulations. ICNC 2012: 379-387 - 2011
- [c12]Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Towards a Reversible Functional Language. RC 2011: 14-29 - 2010
- [j7]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. 93-D(10): 2737-2746 (2010)
2000 – 2009
- 2009
- [c11]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: 727-732 - [c10]Tetsuo Yokoyama, Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada:
Heuristics for Static Voltage Scheduling Algorithms on Battery-Powered DVS Systems. ICESS 2009: 265-272 - [c9]Gang Zeng, Tetsuo Yokoyama, Hiroyuki Tomiyama, Hiroaki Takada:
Practical Energy-Aware Scheduling for Real-Time Multiprocessor Systems. RTCSA 2009: 383-392 - [c8]Tetsuo Yokoyama:
Reversible Computation and Reversible Programming Languages. RC@ETAPS 2009: 71-81 - 2008
- [c7]Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Principles of a reversible programming language. Conf. Computing Frontiers 2008: 43-54 - [c6]Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Reversible Flowchart Languages and the Structured Reversible Program Theorem. ICALP (2) 2008: 258-270 - 2007
- [c5]Holger Bock Axelsen, Robert Glück, Tetsuo Yokoyama:
Reversible Machine Code and Its Abstract Processor Architecture. CSR 2007: 56-69 - [c4]Tetsuo Yokoyama, Robert Glück
A reversible programming language and its invertible self-interpreter. PEPM 2007: 144-153 - 2005
- [c3]Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi:
Program Optimizations and Transformations in Calculation Form. GTTSE 2005: 144-168 - 2004
- [j6]Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi:
Deterministic second-order patterns. Inf. Process. Lett. 89(6): 309-314 (2004) - 2003
- [c2]Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi:
Deterministic Higher-Order Patterns for Program Transformation. LOPSTR 2003: 128-142 - 2002
- [c1]Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi:
Yicho - A System for Programming Program Calculations. APLAS 2002: 366-382
1990 – 1999
- 1994
- [j5]Hiroyuki Sekiguchi, Koichi Sano, Tetsuo Yokoyama:
Interactive 3-dimensional segmentation method based on region growing method. Syst. Comput. Jpn. 25(1): 88-97 (1994) - 1991
- [j4]Shinichi Satou, Koichi Sano, Tetsuo Yokoyama, Hideaki Koizumi:
High-precision t1 imaging method for magnetic resonance imaging. Syst. Comput. Jpn. 22(5): 60-69 (1991)
1980 – 1989
- 1989
- [j3]Koichi Sano, Kazuo Suzuki, Tetsuo Yokoyama, Hideaki Koizumi:
MR image reconstruction from half the data using a phase map. Syst. Comput. Jpn. 20(2): 60-66 (1989) - 1988
- [j2]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. Syst. Comput. Jpn. 19(2): 74-84 (1988) - [j1]Koichi Morishita, Tetsuo Yokoyama:
Image registration method using adaptive nonlinear filter. Syst. Comput. Jpn. 19(9): 41-50 (1988)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-27 22:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: