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="Anders, J."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Ancilla-driven quantum computation with twisted graph states
J. Anders
,
E. Andersson
,
D.E. Browne
,
E. Kashefi
,
D.K.L. Oi
Theoretical Computer Science
430
, 2012, pp. 51-72
The weakest specifunction
Yifeng Chen
,
J.W. Sanders
Acta Informatica
41
(7-8), 2005, pp. 383-414
Idempotent relations in Isabelle/HOL
Florian Kammüller
,
J.W. Sanders
Lecture Notes in Computer Science
3407
, 2005, pp. 310-324
Top-down design of Bulk-Synchronous parallel programs
Yifeng Chen
,
J.W. Sanders
Parallel Processing Letters
13
(3), 2003, pp. 389-400
On the antisymmetry of Galois embeddings
J. Burghardt
,
F. Kammüller
,
J.W. Sanders
Information Processing Letters
79
(2), 2001, pp. 57-63
Weakest specifunctions for BSP
Yifing Chen
,
J.W. Sanders
Parallel Processing Letters
11
(4), 2001, pp. 439-454
Prespecification in data refinement
C.A.R. Hoare
,
Jifeng He
,
J.W. Sanders
Information Processing Letters
25
(2), 1987, May, pp. 71-76