| 2026 | RC | Small-Step Semantics with Meta-level Reversibility for a Reversible Core Language. | Toya Makino, Tetsuo Yokoyama |
| 2024 | RC | Towards Clean Reversible Lossless Compression - A Reversible Programming Experiment with Zip. | Therese Lyngby, Rasmus Ross Nylandsted, Robert Glck, Tetsuo Yokoyama |
| 2019 | FM | Reversible Programs Have Reversible Semantics. | Robert Glck, Robin Kaarsgaard, Tetsuo Yokoyama |
| 2015 | APLAS | Programming Techniques for Reversible Comparison Sorts. | Holger Bock Axelsen, Tetsuo Yokoyama |
| 2011 | RC | Towards a Reversible Functional Language. | Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glck |
| 2009 | ASPDAC | 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 |
| 2009 | RTCSA | Practical Energy-Aware Scheduling for Real-Time Multiprocessor Systems. | Gang Zeng, Tetsuo Yokoyama, Hiroyuki Tomiyama, Hiroaki Takada |
| 2008 | ICALP | Reversible Flowchart Languages and the Structured Reversible Program Theorem. | Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glck |
| 2007 | CSR | Reversible Machine Code and Its Abstract Processor Architecture. | Holger Bock Axelsen, Robert Glck, Tetsuo Yokoyama |
| 2007 | PEPM | A reversible programming language and its invertible self-interpreter. | Tetsuo Yokoyama, Robert Glck |
| 2003 | LOPSTR | Deterministic Higher-Order Patterns for Program Transformation. | Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi |
| 2002 | APLAS | Yicho - A System for Programming Program Calculations. | Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi |