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