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="Misra, J."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A constructive proof of Vizing's theorem
J. Misra
,
David Gries
Information Processing Letters
41
, 1992, pp. 131-133
Deadlock absence proofs for networks of communicating processes
K.M. Chandy
,
J. Misra
Information Processing Letters
9
(4), 1979, November, pp. 185-189
Space-time trade off in implementing certain set operations
J. Misra
Information Processing Letters
8
(2), 1979, February, pp. 81-85
A linear tree partitioning algorithm
S. Kundu
,
J. Misra
SIAM Journal on Computing
6
(1), 1977, March, pp. 151-154
Prospects and limitations of automatic assertion generation for loop programs
J. Misra
SIAM Journal on Computing
6
(4), 1977, December, pp. 718-729