Satoshi Matsuoka

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A formal model for a linear time correctness condition of proof nets of multiplicative linear logic	2022-03-23	Paper
Strong typed Böhm theorem and functional completeness on the linear lambda calculus	2021-12-02	Paper
Strong typed Böhm theorem and functional completeness on the linear lambda calculus (available as arXiv preprint)	2021-12-02	Paper
Direct encodings of NP-complete problems into Horn sequents of multiplicative linear logic	2018-07-09	Paper
On intuitionistic proof nets with additional rewrite rules and their approximations Electronic Notes in Theoretical Computer Science	2013-04-19	Paper
A coding theoretic study of MLL proof nets MSCS. Mathematical Structures in Computer Science	2012-06-04	Paper
Model-based fault localization: finding behavioral outliers in large-scale computing systems New Generation Computing	2010-11-03	Paper
Weak typed Böhm theorem on IMLL Annals of Pure and Applied Logic	2007-02-14	Paper
A foundation of solution methods for constraint hierarchies Constraints	2003-08-25	Paper
scientific article; zbMATH DE number 1966257 (Why is no real title available?)	2003-08-18	Paper
Estimating the active dimension of cardiac pacemaking dynamics Physica D	2003-03-04	Paper
scientific article; zbMATH DE number 1756125 (Why is no real title available?)	2002-06-16	Paper
scientific article; zbMATH DE number 1222110 (Why is no real title available?)	2000-03-16	Paper
scientific article; zbMATH DE number 1377612 (Why is no real title available?)	1999-12-14	Paper
A constraint-based approach for visualization and animation Constraints	1998-08-03	Paper

Research outcomes over time

This page was built for person: Satoshi Matsuoka