Bireflectivity. - Peter J. Freyd; Peter W. O'Hearn; John Power; Robert D. Tennent; Makoto Takeyama (MFPS, 1995)

Universal structure and a categorical framework for type theory. - Makoto Takeyama (1995)

An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement. - Yoshiki Kinoshita; Peter W. O'Hearn; John Power; Makoto Takeyama; Robert D. Tennent (TACS, 1997)

Sketches - Dedicated to Michael Barr on the occasion of his 60th birthday. - Yoshiki Kinoshita; John Power; Makoto Takeyama (MFPS, 1997)

Bireflectivity. - Peter J. Freyd; Peter W. O'Hearn; A. John Power; Makoto Takeyama; R. Street; Robert D. Tennent (Theor. Comput. Sci., 1999)

Syntactic Control of Interference Revisited. - Peter W. O'Hearn; John Power; Makoto Takeyama; Robert D. Tennent (Theor. Comput. Sci., 1999)

An Implementation of Type: Type. - Thierry Coquand; Makoto Takeyama (TYPES, 2000)

Verifying Haskell Programs by Combining Testing and Proving. - Peter Dybjer; Qiao Haiyan; Makoto Takeyama (QSIC, 2003)

Combining Testing and Proving in Dependent Type Theory. - Peter Dybjer; Qiao Haiyan; Makoto Takeyama (TPHOLs, 2003)

Random Generators for Dependent Types. - Peter Dybjer; Qiao Haiyan; Makoto Takeyama (ICTAC, 2004)

Verifying Haskell programs by combining testing, model checking and interactive theorem proving. - Peter Dybjer; Qiao Haiyan; Makoto Takeyama (Inf. Softw. Technol., 2004)

A Logical Framework with Dependently Typed Records. - Thierry Coquand; Randy Pollack; Makoto Takeyama (Fundam. Informaticae, 2005)

Verification of Transition System Reduction via PVS. - Osamu Takaki; Makoto Takeyama; Hiroshi Watanabe (Inf. Media Technol., 2006)

Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications. - Takashi Kitamura 001; Keishi Okamoto; Makoto Takeyama (PRDC, 2010)

Towards a Language for Communication among Stakeholders. - Yutaka Matsuno; Jin Nakazawa; Makoto Takeyama; Midori Sugaya; Yutaka Ishikawa (PRDC, 2010)

Programming assurance cases in Agda. - Makoto Takeyama (ICFP, 2011)

A new method of consensus building for open systems dependability. - Yukiko Yanagisawa; Takashi Ito; Makoto Takeyama; Yasuhiko Yokote (ISSRE (Supplemental Proceedings), 2013)

A Modelling Approach for System Life Cycles Assurance. - Shuji Kinoshita; Yoshiki Kinoshita; Makoto Takeyama (SAFECOMP Workshops, 2019)

Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1. - Robin Bloomfield; Gareth Fletcher; Heidy Khlaaf; Philippa Ryan; Shuji Kinoshita; Yoshiki Kinoshita; Makoto Takeyama; Yutaka Matsubara; Peter Popov Kazuki Imai; Yoshinori Tsutake (CoRR, 2020)

Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 2. - Robin Bloomfield; Gareth Fletcher; Heidy Khlaaf; Philippa Ryan; Shuji Kinoshita; Yoshiki Kinoshita; Makoto Takeyama; Yutaka Matsubara; Peter Popov Kazuki Imai; Yoshinori Tsutake (CoRR, 2020)