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="Boyer, Robert S."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A compressed format for collections of phylogenetic trees and improved consensus performance
Robert S. Boyer
,
Warren A., Jr. Hunt
,
Serita Nelesen
LNCS/LNBI
3692
, 2005, pp. 353-364
Automated proofs of object code for a widely used microprocessor
Robert S. Boyer
,
Yuan Yu
Journal of the ACM
43
(1), 1996, pp. 166-192