Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Ishihara, Yasunori"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
An equational logic based approach to the security problem against inference attacks on object-oriented databases
Yasunori Ishihara
,
Toshiyuki Morita
,
Hiroyuki Seki
,
Minoru Ito
Journal of Computer and System Sciences
73
(5), 2007, pp. 788-817
Temporal reasoning about two concurrent sequences of events
Yasunori Ishihara
,
Shin Ishii
,
Hiroyuki Seki
,
Minoru Ito
SIAM Journal on Computing
34
(2), 2004-2005, pp. 498-513
Refinements of complexity results on type consistency for object-oriented databases
Yasunori Ishihara
,
Shougo Shimizu
,
Hiroyuki Seki
,
Minoru Ito
Journal of Computer and System Sciences
62
(4), 2001, pp. 537-564