The following pages link to Hiroyuki Seki (Q208751):
Displaying 33 items.
- An equational logic based approach to the security problem against inference attacks on object-oriented databases (Q881598) (← links)
- A grammatical approach to RNA-RNA interaction prediction (Q1013373) (← links)
- Compiling and optimizing methods for the functional language ASL/F (Q1082794) (← links)
- On multiple context-free grammars (Q1177161) (← links)
- Complexity results on register context-free grammars and register tree automata (Q1623153) (← links)
- Reactive synthesis from visibly register pushdown automata (Q2119985) (← links)
- An ambiguity hierarchy of weighted context-free grammars (Q2164759) (← links)
- Generalized register context-free grammars (Q2278281) (← links)
- Complexity results on register context-free grammars and related formalisms (Q2672616) (← links)
- (Q2723905) (← links)
- Languages Modulo Normalization (Q3525012) (← links)
- (Q3559957) (← links)
- Chomsky-Schützenberger-Type Characterization of Multiple Context-Free Languages (Q3564899) (← links)
- Analysis of functional programs to detect run-time garbage cells (Q3814779) (← links)
- (Q4253334) (← links)
- (Q4428374) (← links)
- (Q4447253) (← links)
- (Q4473608) (← links)
- (Q4548310) (← links)
- Temporal Reasoning about Two Concurrent Sequences of Events (Q4651547) (← links)
- (Q4808741) (← links)
- Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers (Q4910473) (← links)
- Automatic Generation of History-Based Access Control from Information Flow Specification (Q4931297) (← links)
- (Q4994133) (← links)
- Parallel Processing and Applied Mathematics (Q5307368) (← links)
- Automated Technology for Verification and Analysis (Q5491867) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900572) (← links)
- Optimal run problem for weighted register automata (Q5919052) (← links)
- Optimal run problem for weighted register automata (Q5919287) (← links)
- Refinements of complexity results on type consistency for object-oriented databases (Q5946054) (← links)
- An ambiguity hierarchy of weighted context-free grammars (Q6049933) (← links)
- A game-theoretic approach to indistinguishability of winning objectives as user privacy (Q6605339) (← links)
- Automata and grammars for data words (Q6666782) (← links)
