Takeshi Tsukada

Available identifiers

zbMath Open tsukada.takeshiMaRDI QIDQ2038069

List of research outcomes

Publication	Date of Publication	Type
Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings	2024-12-06	Paper
Signature restriction for polymorphic algebraic effects	2024-08-28	Paper
A temporal logic for higher-order functional programs	2024-04-19	Paper
A type-based HFL model checking algorithm	2024-04-19	Paper
A categorical model of an \textbf{i/o}-typed \(\pi \)-calculus	2023-11-24	Paper
Automated synthesis of functional programs with auxiliary functions	2023-08-02	Paper
Output Without Delay: A π-Calculus Compatible with Categorical Semantics	2023-06-23	Paper
Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination	2023-03-29	Paper
RustHorn: CHC-based verification for Rust programs	2022-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q5028436	2022-02-09	Paper
Predicate abstraction and CEGAR for \(\nu \mathrm{HFL}_\mathbb{Z}\) validity checking	2021-10-18	Paper
A new refinement type system for automated \(\nu\text{HFL}_\mathbb{Z}\) validity checking	2021-07-08	Paper
On Computability of Logical Approaches to Branching-Time Property Verification of Programs	2021-01-21	Paper
Streett Automata Model Checking of Higher-Order Recursion Schemes	2020-05-26	Paper
Higher-order program verification via HFL model checking	2019-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4625705	2019-02-25	Paper
A truly concurrent game model of the asynchronous \(\pi\)-calculus	2017-05-19	Paper
Almost every simply typed \(\lambda\)-term has a long \(\beta\)-reduction sequence	2017-05-19	Paper
Automatically disproving fair termination of higher-order functional programs	2017-05-10	Paper
Higher-order model checking in direct style	2016-12-21	Paper
Verification of higher-order concurrent programs with dynamic resource creation	2016-12-21	Paper
Complexity of model-checking call-by-value programs	2014-04-16	Paper
Unsafe order-2 tree languages are context-sensitive	2014-04-16	Paper
An intersection type system for deterministic pushdown automata	2012-09-21	Paper
Exact flow analysis by higher-order model checking	2012-07-20	Paper
A Logical Foundation for Environment Classifiers	2010-12-20	Paper
Untyped Recursion Schemes and Infinite Intersection Types	2010-04-27	Paper
A Logical Foundation for Environment Classifiers	2009-07-07	Paper

Research outcomes over time

This page was built for person: Takeshi Tsukada