Takeshi Tsukada

From MaRDI portal
Person:2038069

Available identifiers

zbMath Open tsukada.takeshiMaRDI QIDQ2038069

List of research outcomes





PublicationDate of PublicationType
Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings2024-12-06Paper
Signature restriction for polymorphic algebraic effects2024-08-28Paper
A temporal logic for higher-order functional programs2024-04-19Paper
A type-based HFL model checking algorithm2024-04-19Paper
A categorical model of an \textbf{i/o}-typed \(\pi \)-calculus2023-11-24Paper
Automated synthesis of functional programs with auxiliary functions2023-08-02Paper
Output Without Delay: A π-Calculus Compatible with Categorical Semantics2023-06-23Paper
Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination2023-03-29Paper
RustHorn: CHC-Based Verification for Rust Programs2022-10-13Paper
https://portal.mardi4nfdi.de/entity/Q50284362022-02-09Paper
Predicate abstraction and CEGAR for \(\nu \mathrm{HFL}_\mathbb{Z}\) validity checking2021-10-18Paper
A new refinement type system for automated \(\nu\text{HFL}_\mathbb{Z}\) validity checking2021-07-08Paper
On Computability of Logical Approaches to Branching-Time Property Verification of Programs2021-01-21Paper
Streett Automata Model Checking of Higher-Order Recursion Schemes2020-05-26Paper
Higher-order program verification via HFL model checking2019-09-13Paper
https://portal.mardi4nfdi.de/entity/Q46257052019-02-25Paper
A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus2017-05-19Paper
Almost Every Simply Typed $$\lambda $$-Term Has a Long $$\beta $$-Reduction Sequence2017-05-19Paper
Automatically disproving fair termination of higher-order functional programs2017-05-10Paper
Higher-Order Model Checking in Direct Style2016-12-21Paper
Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation2016-12-21Paper
Complexity of Model-Checking Call-by-Value Programs2014-04-16Paper
Unsafe Order-2 Tree Languages Are Context-Sensitive2014-04-16Paper
An Intersection Type System for Deterministic Pushdown Automata2012-09-21Paper
Exact Flow Analysis by Higher-Order Model Checking2012-07-20Paper
A Logical Foundation for Environment Classifiers2010-12-20Paper
Untyped Recursion Schemes and Infinite Intersection Types2010-04-27Paper
A Logical Foundation for Environment Classifiers2009-07-07Paper

Research outcomes over time

This page was built for person: Takeshi Tsukada