We stand with Ukraine  

Takeo Uramoto

Orcid: 0000-0002-6527-1093

According to our database1, Takeo Uramoto authored at least 5 papers between 2014 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Fundamental theorem of matrix representations of hyper-dual numbers for computing higher-order derivatives.
[BibTeX]
[DOI]
Yusuke Imoto
,
Naoya Yamanaka
,
Takeo Uramoto
,
Masato Tanaka
,
Masaki Fujikawa
,
Naoto Mitsume
JSIAM Lett., 2020

2016
Canonical finite models of Kleene algebra with tests.
[BibTeX]
[DOI]
Takeo Uramoto
J. Log. Algebraic Methods Program., 2016

Semi-galois Categories I: The Classical Eilenberg Variety Theory.
[BibTeX]
[DOI]
Takeo Uramoto
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015
Semi-galois Categories: The Classical Eilenberg Variety Theory.
[BibTeX]
[DOI]
Takeo Uramoto
CoRR, 2015

2014
A Modified Completeness Theorem of KAT and Decidability of Term Reducibility.
[BibTeX]
[DOI]
Takeo Uramoto
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014


  Loading...