Hiroyuki Seki

Available identifiers

zbMath Open seki.hiroyukiMaRDI QIDQ208751

List of research outcomes

Publication	Date of Publication	Type
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

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: Hiroyuki Seki