Hiroyuki Seki

Available identifiers

zbMath Open seki.hiroyukiMaRDI QIDQ208751

List of research outcomes

Publication	Date of Publication	Type
Automata and grammars for data words	2025-01-20	Paper
A game-theoretic approach to indistinguishability of winning objectives as user privacy	2024-09-13	Paper
When is context-freeness distinguishable from regularity? An extension of Parikh's theorem	2024-02-28	Paper
An ambiguity hierarchy of weighted context-free grammars	2023-09-18	Paper
Active learning for deterministic bottom-up nominal tree automata	2023-07-28	Paper
An ambiguity hierarchy of weighted context-free grammars	2022-08-16	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
https://portal.mardi4nfdi.de/entity/Q4994133	2021-06-17	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
Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers	2013-03-18	Paper
Automatic Generation of History-Based Access Control from Information Flow Specification	2010-10-04	Paper
Chomsky-Schützenberger-Type Characterization of Multiple Context-Free Languages	2010-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q3559957	2010-05-17	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
A grammatical approach to RNA-RNA interaction prediction	2009-04-17	Paper
Languages Modulo Normalization	2008-09-16	Paper
Parallel Processing and Applied Mathematics	2007-09-25	Paper
An equational logic based approach to the security problem against inference attacks on object-oriented databases	2007-05-30	Paper
Automated Technology for Verification and Analysis	2006-10-10	Paper
Temporal Reasoning about Two Concurrent Sequences of Events	2005-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q4808741	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4473608	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4447253	2004-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q4428374	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4548310	2002-08-26	Paper
Refinements of complexity results on type consistency for object-oriented databases	2001-10-14	Paper
https://portal.mardi4nfdi.de/entity/Q2723905	2001-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4253334	1999-11-08	Paper
On multiple context-free grammars	1992-06-26	Paper
Analysis of functional programs to detect run-time garbage cells	1988-01-01	Paper
Compiling and optimizing methods for the functional language ASL/F	1986-01-01	Paper

Research outcomes over time

This page was built for person: Hiroyuki Seki