Concepedia

Tetsuo Yokoyama

TY

13

Publications

525

Citations

12

H-Index

1999

Active since

Affiliations

Nanzan University(Current)

University of Copenhagen

Nagoya University

Tetsuo Yokoyama is an author at Nanzan University specializing in engineering, computer engineering, and computer science.

Top concepts

EngineeringComputer ScienceComputer EngineeringFormal MethodsProgram AnalysisAutomated ReasoningFormal VerificationSoftware AnalysisComputer ArchitectureProgramming Languages

Publications per year

1999–2022

13

Publications

13

A reversible programming language and its invertible self-interpreter

Tetsuo Yokoyama, Robert Glück · 2007 · 139 citations

Abstract Machine, Programming Language Theory, Programming Language Janus +14

Principles of a reversible programming language

Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück · 2008 · 122 citations

Engineering, Computer Architecture, Software Analysis +17

Fundamentals of reversible flowchart languages

Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück · Theoretical Computer Science · 2015 · 45 citations

Data Flow, Engineering, Visual Programming Language +4

Reversible Computation and Reversible Programming Languages

Tetsuo Yokoyama · Electronic Notes in Theoretical Computer Science · 2010 · 41 citations · Full text

Reversible Computation, Engineering, Software Engineering +16

Practical Energy-Aware Scheduling for Real-Time Multiprocessor Systems

Gang Zeng, Tetsuo Yokoyama, Hiroyuki Tomiyama et al. · 2009 · 36 citations

Practical Energy-aware Scheduling, Engineering, Energy Efficiency +17

Rows per page

1–5 of 13