Keiichi Watanabe

Orcid: 0000-0001-6087-1674

According to our database¹, Keiichi Watanabe authored at least 4 papers between 2016 and 2021.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2021

On Quasi Gyrolinear Maps between Möbius Gyrovector Spaces Induced from Finite Matrices.

[BibT_eX]

[DOI]

Keiichi Watanabe

Symmetry, 2021

2019

Reduction from branching-time property verification of higher-order programs to HFL validity checking.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2019

2018

Higher-Order Program Verification via HFL Model Checking.

[BibT_eX]

[DOI]

Naoki Kobayashi

Takeshi Tsukada

Keiichi Watanabe

Proceedings of the Programming Languages and Systems, 2018

2016

Automatically disproving fair termination of higher-order functional programs.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Keiichi Watanabe

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...