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
[1]
Hilfe
Suche: Author="Ogata, Kazuhiro"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Principles of proof scores in CafeOBJ
Kokichi Futatsugi
,
Daniel Gȃinȃ
,
Kazuhiro Ogata
Theoretical Computer Science
464
, 2012, pp. 90-112
Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications
Masaki Nakamura
,
Kazuhiro Ogata
,
Kokichi Futatsugi
Journal Symbolic Computation
45
(5), 2010, pp. 551-573
Flaw and modification of the
iKP
electronic payment protocols
Kazuhiro Ogata
,
Kokichi Futatsugi
Information Processing Letters
86
(2), 2003, pp. 57-62
Experimental implementation of parallel TRAM on massively parallel computer
Kazuhiro Ogata
,
Hiromichi Hirata
,
Shigenori Ioroi
,
Kokichi Futatsugi
Lecture Notes in Computer Science
1470
, 1998, pp. 846-851
Design and implementation of parallel TRAM
Kazuhiro Ogata
,
Masaru Kondo
,
Shigenori Ioroi
,
Kokichi Futatsugi
Lecture Notes in Computer Science
1300
, 1997, pp. 1209-1216