勝股 審也
カツマタ シンヤ (Shin'ya Katsumata)
更新日: 04/05
論文
60
表示件数
-
Mathematical Structures in Computer Science 2023年4月
-
Proceedings of the ACM on Programming Languages 2022年8月29日
-
Proceedings of the ACM on Programming Languages 2022年1月16日
-
New Generation Computing 40(2) 403-465 2022年
-
CAV (1) 235-256 2022年
-
CoRR abs/2203.14261 2022年
-
Logical Foundations of Computer Science 217-235 2022年
-
Proceedings of the ACM on Programming Languages 2021年8月22日
-
Journal of Logic and Computation 31(6) 1526-1559 2021年
-
CoRR abs/2108.07509 2021年
-
CoRR abs/2107.10948 2021年
-
CoRR abs/2105.10164 2021年
-
Tests and Proofs - 15th International Conference(TAP@STAF) 22-38 2021年
-
NASA Formal Methods - 13th International Symposium(NFM) 198-213 2021年
-
Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation.36th Annual ACM/IEEE Symposium on Logic in Computer Science(LICS) 1-14 2021年
-
32nd International Conference on Concurrency Theory(CONCUR) 21-22 2021年
-
Programming Languages and Systems 234-263 2021年