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="Wagner, Robert"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Component tools: Integrating Petri nets with other formal methods
Ekkart Kindler
,
Vladimir Rubin
,
Robert Wagner
Lecture Notes in Computer Science
4024
, 2006, pp. 37-56
Evaluating uniform expressions within two steps of minimum parallel time
Robert A. Wagner
Journal of the ACM
44
(2), 1997, pp. 345-361
A refinement methodology for developing data-parallel applications
Lars Nyland
,
Jan Prins
,
Allen Goldberg
,
Peter Mills
,
John Reif
,
Robert Wagner
Lecture Notes in Computer Science
1123
, 1996, pp. 145-150
Prototyping parallel and distributed programs in PROTEUS
Peter H. Mills
,
Lars S. Nyland
,
Jan F. Prins
,
John H. Reif
,
Robert A. Wagner
Proceedings of the 3rd IEEE Symposium on Parallel and Distributed Processing, SPDP'91 (Dallas, Texas, December 2-5, 1991)
, 1991, pp. 26-34
A sparse matrix algorithm on the Boolean vector machine
Robert A. Wagner
,
Merrell L. Patrick
Parallel Computing
6
(3), 1988, pp. 359-371
Parallel solution of arbitrarily sparse linear systems
Robert A. Wagner
Parallel Computing
9
(3), 1988/89, pp. 313-331
Finding test-and-treatment procedures using parallel computation
Louis D. Duval
,
Robert A. Wagner
,
Yijie Han
,
Donald W. Loveland
Journal Parallel Distributed Computing
4
, 1987, pp. 309-318
Evolution of a recursive algorithm for partial sums
Robert Wagner
misc, 1983, May
Towards a method of programming large SIMD arrays of computing elements
Robert Wagner
misc (CS-1982-15), 1982
A shortest path algorihm for edge-sparse graphs
Robert A. Wagner
Journal of the ACM
23
(1), 1976, January, pp. 50-57