The following pages link to Yasunori Ishihara (Q208749):
Displaying 8 items.
- An equational logic based approach to the security problem against inference attacks on object-oriented databases (Q881598) (← links)
- (Q4253334) (← links)
- (Q4428327) (← links)
- Temporal Reasoning about Two Concurrent Sequences of Events (Q4651547) (← links)
- Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers (Q4910473) (← links)
- (Q4994136) (← links)
- Information and Communications Security (Q5464773) (← links)
- Refinements of complexity results on type consistency for object-oriented databases (Q5946054) (← links)