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="Saxe, James B."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Simplify: A theorem prover for program checking
David Detlefs
,
Greg Nelson
,
James B. Saxe
Journal of the ACM
52
(3), 2005, pp. 365-473
Retiming synchronous circuitry
Charles E. Leiserson
,
James B. Saxe
Algorithmica
6
(1), 1991, pp. 5-35
Parity, circuits, and the polynomial-time hierarchy
Merrick Furst
,
James B. Saxe
,
Michael Sipser
Math. Systems Theory
17
, 1984, pp. 13-27
Decomposable searching problems I. Static-to-dynamic transformation
Jon Louis Bentley
,
James B. Saxe
Journal of Algorithms
1
, 1980, pp. 301-358
Dynamic-programming algorithms for recognizing small-bandwidth graphs in polynomial time
James B. Saxe
SIAM Journal on Algebraic Discrete Methods
1
, 1980, pp. 363-369
On the number of range queries in
k
-space
James B. Saxe
Discrete Applied Mathematics
1
, 1979, pp. 217-225