# Takeshi Tsukada

According to our database

Collaborative distances:

^{1}, Takeshi Tsukada authored at least 38 papers between 2010 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2021

Counterexample generation for program verification based on ownership refinement types.

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

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2020

Proc. ACM Program. Lang., 2020

CoRR, 2020

CoRR, 2020

Predicate Abstraction and CEGAR for $\nu \mathrm {HFL}_\mathbb {Z}$ Validity Checking.

Proceedings of the Static Analysis - 27th International Symposium, 2020

On Computability of Logical Approaches to Branching-Time Property Verification of Programs.

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

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

Proceedings of the Programming Languages and Systems, 2020

A New Refinement Type System for Automated $\nu \text {HFL}_\mathbb {Z}$ Validity Checking.

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019

Log. Methods Comput. Sci., 2019

Proceedings of the Static Analysis - 26th International Symposium, 2019

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

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

Proceedings of the Programming Languages and Systems, 2019

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Species, Profunctors and Taylor Expansion Weighted by SMCC: A Unified Framework for Modelling Nondeterministic, Probabilistic and Quantum Programs.

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Proceedings of the Programming Languages and Systems, 2018

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

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

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

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

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

2016

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

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

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014

Innocent Strategies are Sheaves over Plays - Deterministic, Non-deterministic and Probabilistic Innocence.

CoRR, 2014

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

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

Compositional higher-order model checking via <i>ω</i>-regular games over Böhm trees.

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2012

Proceedings of the Theoretical Computer Science, 2012

Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

2010

Log. Methods Comput. Sci., 2010

Proceedings of the Foundations of Software Science and Computational Structures, 2010