 | 2009 |
|---|
| 9 |       | 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 |
| 2008 |
|---|
| 8 | | Tetsuo Yokoyama,
Holger Bock Axelsen,
Robert Glück:
Principles of a reversible programming language.
Conf. Computing Frontiers 2008: 43-54 |
| 7 | | Tetsuo Yokoyama,
Holger Bock Axelsen,
Robert Glück:
Reversible Flowchart Languages and the Structured Reversible Program Theorem.
ICALP (2) 2008: 258-270 |
| 2007 |
|---|
| 6 | | Holger Bock Axelsen,
Robert Glück,
Tetsuo Yokoyama:
Reversible Machine Code and Its Abstract Processor Architecture.
CSR 2007: 56-69 |
| 5 | | Tetsuo Yokoyama,
Robert Glück:
A reversible programming language and its invertible self-interpreter.
PEPM 2007: 144-153 |
| 2006 |
|---|
| 4 | | Zhenjiang Hu,
Tetsuo Yokoyama,
Masato Takeichi:
Program Optimizations and Transformations in Calculation Form.
GTTSE 2006: 144-168 |
| 2004 |
|---|
| 3 | | Tetsuo Yokoyama,
Zhenjiang Hu,
Masato Takeichi:
Deterministic second-order patterns.
Inf. Process. Lett. 89(6): 309-314 (2004) |
| 2003 |
|---|
| 2 | | Tetsuo Yokoyama,
Zhenjiang Hu,
Masato Takeichi:
Deterministic Higher-Order Patterns for Program Transformation.
LOPSTR 2003: 128-142 |
| 2002 |
|---|
| 1 |  | Tetsuo Yokoyama,
Zhenjiang Hu,
Masato Takeichi:
Yicho - A System for Programming Program Calculations.
APLAS 2002: 366-382 |
