Makoto Takeyama

According to our database1, Makoto Takeyama authored at least 18 papers between 1995 and 2013.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
A new method of consensus building for open systems dependability.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2011
Programming assurance cases in Agda.
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010
Towards a Language for Communication among Stakeholders.
Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications.
Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

2005
A Logical Framework with Dependently Typed Records.
Fundam. Inform., 2005

2004
Verifying Haskell programs by combining testing, model checking and interactive theorem proving.
Information & Software Technology, 2004

Random Generators for Dependent Types.
Proceedings of the Theoretical Aspects of Computing, 2004

2003
Combining Testing and Proving in Dependent Type Theory.
Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

A Logical Framework with Dependently Typed Records.
Proceedings of the Typed Lambda Calculi and Applications, 6th International Conference, 2003

Verifying Haskell Programs by Combining Testing and Proving.
Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

2000
An Implementation of Type: Type.
Proceedings of the Types for Proofs and Programs, International Workshop, 2000

1999
Syntactic Control of Interference Revisited.
Theor. Comput. Sci., 1999

Bireflectivity.
Theor. Comput. Sci., 1999

1997
Sketches - Dedicated to Michael Barr on the occasion of his 60th birthday.
Electr. Notes Theor. Comput. Sci., 1997

An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement.
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

1995
Universal structure and a categorical framework for type theory.
PhD thesis, 1995

Syntactic control of interference revisited.
Electr. Notes Theor. Comput. Sci., 1995

Bireflectivity.
Electr. Notes Theor. Comput. Sci., 1995


  Loading...