Yoshiaki Takata

Available identifiers

zbMath Open takata.yoshiakiMaRDI QIDQ1623152

List of research outcomes

Publication	Date of Publication	Type
Active learning for deterministic bottom-up nominal tree automata	2023-07-28	Paper
Complexity results on register context-free grammars and related formalisms	2022-06-13	Paper
Reactive synthesis from visibly register pushdown automata	2022-03-31	Paper
Optimal run problem for weighted register automata	2020-12-16	Paper
Optimal run problem for weighted register automata	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	2010-10-04	Paper
Parallel Processing and Applied Mathematics	2007-09-25	Paper
Automated Technology for Verification and Analysis	2006-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4473608	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4428374	2003-09-15	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: Yoshiaki Takata