default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMakoto Takeyama
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[i2]Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Philippa Ryan, Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama, Yutaka Matsubara, Peter Popov Kazuki Imai, Yoshinori Tsutake:
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1. CoRR abs/2003.00789 (2020)- [i1]Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Philippa Ryan, Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama, Yutaka Matsubara, Peter Popov Kazuki Imai, Yoshinori Tsutake:
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 2. CoRR abs/2003.00790 (2020)
2010 – 2019
- 2019
- [c14]Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama:
A Modelling Approach for System Life Cycles Assurance. SAFECOMP Workshops 2019: 16-27 - 2013
- [c13]Yukiko Yanagisawa, Takashi Ito, Makoto Takeyama, Yasuhiko Yokote:
A new method of consensus building for open systems dependability. ISSRE (Supplemental Proceedings) 2013: 296-302 - 2011
- [c12]Makoto Takeyama:
Programming assurance cases in Agda. ICFP 2011: 142 - 2010
- [c11]Yutaka Matsuno, Jin Nakazawa, Makoto Takeyama, Midori Sugaya, Yutaka Ishikawa:
Towards a Language for Communication among Stakeholders. PRDC 2010: 93-100 - [c10]Takashi Kitamura, Keishi Okamoto, Makoto Takeyama:
Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications. PRDC 2010: 251-252
2000 – 2009
- 2006
- [j5]Osamu Takaki, Makoto Takeyama, Hiroshi Watanabe:
Verification of Transition System Reduction via PVS. Inf. Media Technol. 1(2): 730-741 (2006) - 2005
- [j4]Thierry Coquand, Randy Pollack, Makoto Takeyama:
A Logical Framework with Dependently Typed Records. Fundam. Informaticae 65(1-2): 113-134 (2005) - 2004
- [j3]Peter Dybjer, Qiao Haiyan, Makoto Takeyama:
Verifying Haskell programs by combining testing, model checking and interactive theorem proving. Inf. Softw. Technol. 46(15): 1011-1025 (2004) - [c9]Peter Dybjer, Qiao Haiyan, Makoto Takeyama:
Random Generators for Dependent Types. ICTAC 2004: 341-355 - 2003
- [c8]Peter Dybjer, Qiao Haiyan, Makoto Takeyama:
Verifying Haskell Programs by Combining Testing and Proving. QSIC 2003: 272-279 - [c7]Thierry Coquand, Randy Pollack, Makoto Takeyama:
A Logical Framework with Dependently Typed Records. TLCA 2003: 105-119 - [c6]Peter Dybjer, Qiao Haiyan, Makoto Takeyama:
Combining Testing and Proving in Dependent Type Theory. TPHOLs 2003: 188-203 - 2000
- [c5]Thierry Coquand, Makoto Takeyama:
An Implementation of Type: Type. TYPES 2000: 53-62
1990 – 1999
- 1999
- [j2]Peter J. Freyd, Peter W. O'Hearn, A. John Power, Makoto Takeyama, R. Street, Robert D. Tennent:
Bireflectivity. Theor. Comput. Sci. 228(1-2): 49-76 (1999) - [j1]Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent:
Syntactic Control of Interference Revisited. Theor. Comput. Sci. 228(1-2): 211-252 (1999) - 1997
- [c4]Yoshiki Kinoshita, Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent:
An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement. TACS 1997: 191-212 - [c3]Yoshiki Kinoshita, John Power, Makoto Takeyama:
Sketches - Dedicated to Michael Barr on the occasion of his 60th birthday. MFPS 1997: 235-248 - 1995
- [b1]Makoto Takeyama:
Universal structure and a categorical framework for type theory. University of Edinburgh, UK, 1995 - [c2]Peter J. Freyd, Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama:
Bireflectivity. MFPS 1995: 199-213 - [c1]Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama:
Syntactic control of interference revisited. MFPS 1995: 447-486
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-28 23:33 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:
