Takeshi Tsukada

Available identifiers

zbMath Open tsukada.takeshiMaRDI QIDQ2038069

List of research outcomes

Publication	Date of Publication	Type
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
Almost Every Simply Typed $$\lambda $$-Term Has a Long $$\beta $$-Reduction Sequence	2017-05-19	Paper
A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus	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
Unsafe Order-2 Tree Languages Are Context-Sensitive	2014-04-16	Paper
Complexity of Model-Checking Call-by-Value Programs	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Takeshi Tsukada