Yoshiaki Takata

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
Verification with common knowledge of rationality for graph games	2025-05-23	Paper
A game-theoretic approach to indistinguishability of winning objectives as user privacy	2024-09-13	Paper
Active learning for deterministic bottom-up nominal tree automata Lecture Notes in Computer Science	2023-07-28	Paper
Complexity results on register context-free grammars and related formalisms Theoretical Computer Science	2022-06-13	Paper
Reactive synthesis from visibly register pushdown automata	2022-03-31	Paper
Optimal run problem for weighted register automata Theoretical Computer Science	2020-12-16	Paper
Optimal run problem for weighted register automata Theoretical Aspects of Computing – ICTAC 2019	2019-12-12	Paper
Generalized register context-free grammars	2019-12-04	Paper
Complexity results on register context-free grammars and register tree automata	2018-11-23	Paper
Automatic generation of history-based access control from information flow specification Automated Technology for Verification and Analysis	2010-10-04	Paper
Parallel Processing and Applied Mathematics Lecture Notes in Computer Science	2007-09-25	Paper
Automated Technology for Verification and Analysis Lecture Notes in Computer Science	2006-10-10	Paper
scientific article; zbMATH DE number 2080702 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 1980976 (Why is no real title available?)	2003-09-15	Paper

Research outcomes over time

This page was built for person: Yoshiaki Takata