# Shin-ya Katsumata

According to our database

Collaborative distances:

^{1}, Shin-ya Katsumata authored at least 35 papers between 2001 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

CoRR, 2020

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

2019

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy.

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching.

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018

Log. Methods Comput. Sci., 2018

CoRR, 2018

CoRR, 2018

Proceedings of the Foundations of Software Science and Computation Structures, 2018

Proceedings of the Coalgebraic Methods in Computer Science, 2018

2017

CoRR, 2017

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

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

Proceedings of the Foundations of Software Science and Computation Structures, 2016

2015

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

2014

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Inf. Comput., 2013

Proceedings of the Foundations of Software Science and Computation Structures, 2013

2012

Proceedings of the Proceedings Fourth Workshop on Classical Logic and Computation, 2012

2010

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2008

J. Funct. Program., 2008

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

2005

PhD thesis, 2005

A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage.

Proceedings of the Computer Science Logic, 19th International Workshop, 2005

2004

Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

2003

Proceedings of the Mathematical Foundations of Computer Science 2003, 2003

2002

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

2001

Proceedings of the Eighth Working Conference on Reverse Engineering, 2001

Proceedings of the Programming Languages and Systems, 2001