×

zbMATH — the first resource for mathematics

Ladner, Richard E.

Compute Distance To:
Author ID: ladner.richard-e Recent zbMATH articles by "Ladner, Richard E."
Published as: Ladner, R. E.; Ladner, Richard; Ladner, Richard E.
External Links: MGP · Wikidata · dblp
Documents Indexed: 68 Publications since 1973

Publications by Year

Citations contained in zbMATH Open

53 Publications have been cited 1,232 times in 1,095 Documents Cited by Year
Propositional dynamic logic of regular programs. Zbl 0408.03014
Fischer, Michael J.; Ladner, Richard E.
210
1979
On the structure of polynomial time reducibility. Zbl 0322.68028
Ladner, Richard E.
177
1975
A comparison of polynomial time reducibilities. Zbl 0321.68039
Ladner, R. E.; Lynch, N. A.; Selman, A. L.
135
1975
Parallel prefix computation. Zbl 0445.68066
Ladner, Richard E.; Fischer, Michael J.
133
1980
The computational complexity of provability in systems of modal propositional logic. Zbl 0373.02025
Ladner, Richard E.
117
1977
Signsolvability revisited. Zbl 0543.15016
Klee, Victor; Ladner, Richard; Manber, Rachel
57
1984
Alternating pushdown and stack automata. Zbl 0538.68039
Ladner, Richard E.; Lipton, Richard J.; Stockmeyer, Larry J.
54
1984
Relativization of questions about log space computability. Zbl 0341.68036
Ladner, Richard E.; Lynch, Nancy A.
50
1976
The weak truth table degrees of recursively enumerable sets. Zbl 0324.02028
Ladner, Richard E.; Sasso, Leonard P. jun.
39
1975
Application of model theoretic games to discrete linear orders and finite automata. Zbl 0387.68037
Ladner, Richard E.
37
1977
Space bounds for processing contentless inputs. Zbl 0307.68036
Freedman, A. R.; Ladner, R. E.
23
1975
Semi-matchings for bipartite graphs and load balancing. Zbl 1100.68079
Harvey, Nicholas J. A.; Ladner, Richard E.; Lovász, László; Tamir, Tami
19
2006
Mitotic recursively enumerable sets. Zbl 0286.02042
Ladner, Richard E.
19
1973
Polynomial space counting problems. Zbl 0692.68036
Ladner, Richard E.
15
1989
A completely mitotic nonrecursive r.e. degree. Zbl 0309.02045
Ladner, Richard E.
13
1974
Testing the universal instance assumption. Zbl 0422.68048
Honeyman, Peter; Ladner, Richard E.; Yannakakis, Mihalis
11
1980
Windows scheduling problems for broadcast systems. Zbl 1029.68151
Bar-Noy, Amotz; Ladner, Richard E.
10
2003
Estimating the multiplicities of conflicts to speed their resolution in multiple access channels. Zbl 0634.94002
Greenberg, Albert G.; Flajolet, Phillippe; Ladner, Richard E.
10
1987
Windows scheduling as a restricted version of bin packing. Zbl 1192.68941
Bar-Noy, Amotz; Ladner, Richard E.; Tamir, Tami
9
2007
The complexity of problems in systems of communicating sequential processes. Zbl 0448.68012
Ladner, Richard E.
8
1980
Efficient parallel algorithms for linear recurrence computation. Zbl 0487.68028
Greenberg, Albert C.; Ladner, Richard E.; Paterson, Michael S.; Galil, Zvi
7
1982
Scheduling techniques for media-on-demand. Zbl 1092.68541
Bar-Noy, Amotz; Ladner, Richard E.; Tamir, Tami
6
2003
The influence of caches on the performance of sorting. Zbl 0928.68035
LaMarca, Anthony; Ladner, Richard E.
6
1999
Alternation bounded auxiliary pushdown automata. Zbl 0589.68058
Ladner, Richard E.; Stockmeyer, Larry J.; Lipton, Richard J.
6
1984
The influence of caches on the performance of heaps. Zbl 1073.68892
LaMarca, Anthony; Ladner, Richard E.
5
1996
Straight-line programs to compute finite languages. Zbl 0409.68025
Goodrich, Glenn B.; Ladner, Richard E.; Fischer, Michael J.
5
1977
Semi-matchings for bipartite graphs and load balancing. Zbl 1278.68234
Harvey, Nicholas J. A.; Ladner, Richard E.; Lovász, László; Tamir, Tami
4
2003
Probabilistic game automata. Zbl 0682.68072
Condon, Anne; Ladner, Richard E.
4
1988
Solitaire automata. Zbl 0564.90108
Ladner, Richard E.; Norman, Jeffrey K.
4
1985
Windows scheduling of arbitrary-length jobs on multiple machines. Zbl 1280.90030
Bar-Noy, Amotz; Ladner, Richard E.; Tamir, Tami; VanDeGrift, Tammy
3
2012
Interactive proof systems with polynomially bounded strategies. Zbl 0837.68107
Condon, Anne; Ladner, Richard
3
1995
Probabilistic game automata. Zbl 0613.68027
Condon, Anne; Ladner, Richard
3
1986
Comparison of polynomial-time reducibilities. Zbl 0381.68041
Ladner, Richard; Lynch, Nancy; Selman, Alan
3
1974
Off-line and on-line guaranteed start-up delay for media-on-demand with stream merging. Zbl 1129.68592
Bar-Noy, Amotz; Goshi, Justin; Ladner, Richard E.
2
2006
Windows scheduling as a restricted version of bin packing. Zbl 1317.68290
Bar-Noy, Amotz; Ladner, Richard E.; Tamir, Tami
2
2004
Efficient algorithms for optimal stream merging for media-on-demand. Zbl 1078.68822
Bar-Noy, Amotz; Ladner, Richard E.
2
2004
Competitive on-line stream merging algorithms for media-on-demand. Zbl 1073.68507
Bar-Noy, Amotz; Ladner, Richard E.
2
2003
Fast nearest neighbor search of entropy-constrained vector quantization. Zbl 0970.94007
Johnson, Mary Holland; Ladner, Richard E.; Riskin, Eve A.
2
2000
The influence of caches on the performance of sorting. Zbl 1321.68122
LaMarca, Anthony; Ladner, Richard E.
2
1997
The complexity of computing symmetric functions using threshold circuits. Zbl 0780.68052
Beame, Paul; Brisson, Erik; Ladner, Richard
2
1992
Scheduling techniques for media-on-demand. Zbl 1171.68388
Bar-Noy, Amotz; Ladner, Richard E.; Tamir, Tami
1
2008
A general buffer scheme for the windows scheduling problem. Zbl 1121.90310
Bar-Noy, Amotz; Christensen, Jacob; Ladner, Richard E.; Tamir, Tami
1
2005
Algorithms for dynamic multicast key distribution trees. Zbl 1321.94108
Goshi, Justin; Ladner, Richard E.
1
2003
Windows scheduling problems for broadcast systems. Zbl 1058.94500
Bar-Noy, Amotz; Ladner, Richard E.
1
2002
A comparison of cache aware and cache oblivious static search trees using program instrumentation. Zbl 1026.68790
Ladner, Richard E.; Fortna, Ray; Nguyen, Bao-Hoang
1
2002
Competitive on-line stream merging algorithms for media-on-demand. (Extended abstract). Zbl 0987.68088
Bar-Noy, Amotz; Ladner, Richard E.
1
2001
Optimizing static calendar queues. Zbl 1390.90210
Erickson, K. Bruce; Ladner, Richard E.; Lamarca, Anthony
1
2000
Cache performance analysis of traversals and random accesses. Zbl 0934.68112
Ladner, Richard E.; Fix, James D.; LaMarca, Anthony
1
1999
Counting protocols for reliable end-to-end transmission. Zbl 0915.68008
Ladner, Richard E.; LaMarca, Anthony; Tempero, Ewan
1
1998
Complexity of sub-bus mesh computations. Zbl 0856.68079
Condon, Anne; Ladner, Richard; Lampe, Jordan; Sinha, Rakesh
1
1996
Recoverable sequence transmission protocols. Zbl 0885.68018
Tempero, Ewan D.; Ladner, Richard E.
1
1995
Binary search in a multiprocessing environment. Zbl 0525.68042
Baer, Jean-Loup; Du, Hung-Chang; Ladner, Richard E.
1
1983
Polynomial time reducibility. Zbl 0305.68035
Ladner, Richard E.
1
1973
Windows scheduling of arbitrary-length jobs on multiple machines. Zbl 1280.90030
Bar-Noy, Amotz; Ladner, Richard E.; Tamir, Tami; VanDeGrift, Tammy
3
2012
Scheduling techniques for media-on-demand. Zbl 1171.68388
Bar-Noy, Amotz; Ladner, Richard E.; Tamir, Tami
1
2008
Windows scheduling as a restricted version of bin packing. Zbl 1192.68941
Bar-Noy, Amotz; Ladner, Richard E.; Tamir, Tami
9
2007
Semi-matchings for bipartite graphs and load balancing. Zbl 1100.68079
Harvey, Nicholas J. A.; Ladner, Richard E.; Lovász, László; Tamir, Tami
19
2006
Off-line and on-line guaranteed start-up delay for media-on-demand with stream merging. Zbl 1129.68592
Bar-Noy, Amotz; Goshi, Justin; Ladner, Richard E.
2
2006
A general buffer scheme for the windows scheduling problem. Zbl 1121.90310
Bar-Noy, Amotz; Christensen, Jacob; Ladner, Richard E.; Tamir, Tami
1
2005
Windows scheduling as a restricted version of bin packing. Zbl 1317.68290
Bar-Noy, Amotz; Ladner, Richard E.; Tamir, Tami
2
2004
Efficient algorithms for optimal stream merging for media-on-demand. Zbl 1078.68822
Bar-Noy, Amotz; Ladner, Richard E.
2
2004
Windows scheduling problems for broadcast systems. Zbl 1029.68151
Bar-Noy, Amotz; Ladner, Richard E.
10
2003
Scheduling techniques for media-on-demand. Zbl 1092.68541
Bar-Noy, Amotz; Ladner, Richard E.; Tamir, Tami
6
2003
Semi-matchings for bipartite graphs and load balancing. Zbl 1278.68234
Harvey, Nicholas J. A.; Ladner, Richard E.; Lovász, László; Tamir, Tami
4
2003
Competitive on-line stream merging algorithms for media-on-demand. Zbl 1073.68507
Bar-Noy, Amotz; Ladner, Richard E.
2
2003
Algorithms for dynamic multicast key distribution trees. Zbl 1321.94108
Goshi, Justin; Ladner, Richard E.
1
2003
Windows scheduling problems for broadcast systems. Zbl 1058.94500
Bar-Noy, Amotz; Ladner, Richard E.
1
2002
A comparison of cache aware and cache oblivious static search trees using program instrumentation. Zbl 1026.68790
Ladner, Richard E.; Fortna, Ray; Nguyen, Bao-Hoang
1
2002
Competitive on-line stream merging algorithms for media-on-demand. (Extended abstract). Zbl 0987.68088
Bar-Noy, Amotz; Ladner, Richard E.
1
2001
Fast nearest neighbor search of entropy-constrained vector quantization. Zbl 0970.94007
Johnson, Mary Holland; Ladner, Richard E.; Riskin, Eve A.
2
2000
Optimizing static calendar queues. Zbl 1390.90210
Erickson, K. Bruce; Ladner, Richard E.; Lamarca, Anthony
1
2000
The influence of caches on the performance of sorting. Zbl 0928.68035
LaMarca, Anthony; Ladner, Richard E.
6
1999
Cache performance analysis of traversals and random accesses. Zbl 0934.68112
Ladner, Richard E.; Fix, James D.; LaMarca, Anthony
1
1999
Counting protocols for reliable end-to-end transmission. Zbl 0915.68008
Ladner, Richard E.; LaMarca, Anthony; Tempero, Ewan
1
1998
The influence of caches on the performance of sorting. Zbl 1321.68122
LaMarca, Anthony; Ladner, Richard E.
2
1997
The influence of caches on the performance of heaps. Zbl 1073.68892
LaMarca, Anthony; Ladner, Richard E.
5
1996
Complexity of sub-bus mesh computations. Zbl 0856.68079
Condon, Anne; Ladner, Richard; Lampe, Jordan; Sinha, Rakesh
1
1996
Interactive proof systems with polynomially bounded strategies. Zbl 0837.68107
Condon, Anne; Ladner, Richard
3
1995
Recoverable sequence transmission protocols. Zbl 0885.68018
Tempero, Ewan D.; Ladner, Richard E.
1
1995
The complexity of computing symmetric functions using threshold circuits. Zbl 0780.68052
Beame, Paul; Brisson, Erik; Ladner, Richard
2
1992
Polynomial space counting problems. Zbl 0692.68036
Ladner, Richard E.
15
1989
Probabilistic game automata. Zbl 0682.68072
Condon, Anne; Ladner, Richard E.
4
1988
Estimating the multiplicities of conflicts to speed their resolution in multiple access channels. Zbl 0634.94002
Greenberg, Albert G.; Flajolet, Phillippe; Ladner, Richard E.
10
1987
Probabilistic game automata. Zbl 0613.68027
Condon, Anne; Ladner, Richard
3
1986
Solitaire automata. Zbl 0564.90108
Ladner, Richard E.; Norman, Jeffrey K.
4
1985
Signsolvability revisited. Zbl 0543.15016
Klee, Victor; Ladner, Richard; Manber, Rachel
57
1984
Alternating pushdown and stack automata. Zbl 0538.68039
Ladner, Richard E.; Lipton, Richard J.; Stockmeyer, Larry J.
54
1984
Alternation bounded auxiliary pushdown automata. Zbl 0589.68058
Ladner, Richard E.; Stockmeyer, Larry J.; Lipton, Richard J.
6
1984
Binary search in a multiprocessing environment. Zbl 0525.68042
Baer, Jean-Loup; Du, Hung-Chang; Ladner, Richard E.
1
1983
Efficient parallel algorithms for linear recurrence computation. Zbl 0487.68028
Greenberg, Albert C.; Ladner, Richard E.; Paterson, Michael S.; Galil, Zvi
7
1982
Parallel prefix computation. Zbl 0445.68066
Ladner, Richard E.; Fischer, Michael J.
133
1980
Testing the universal instance assumption. Zbl 0422.68048
Honeyman, Peter; Ladner, Richard E.; Yannakakis, Mihalis
11
1980
The complexity of problems in systems of communicating sequential processes. Zbl 0448.68012
Ladner, Richard E.
8
1980
Propositional dynamic logic of regular programs. Zbl 0408.03014
Fischer, Michael J.; Ladner, Richard E.
210
1979
The computational complexity of provability in systems of modal propositional logic. Zbl 0373.02025
Ladner, Richard E.
117
1977
Application of model theoretic games to discrete linear orders and finite automata. Zbl 0387.68037
Ladner, Richard E.
37
1977
Straight-line programs to compute finite languages. Zbl 0409.68025
Goodrich, Glenn B.; Ladner, Richard E.; Fischer, Michael J.
5
1977
Relativization of questions about log space computability. Zbl 0341.68036
Ladner, Richard E.; Lynch, Nancy A.
50
1976
On the structure of polynomial time reducibility. Zbl 0322.68028
Ladner, Richard E.
177
1975
A comparison of polynomial time reducibilities. Zbl 0321.68039
Ladner, R. E.; Lynch, N. A.; Selman, A. L.
135
1975
The weak truth table degrees of recursively enumerable sets. Zbl 0324.02028
Ladner, Richard E.; Sasso, Leonard P. jun.
39
1975
Space bounds for processing contentless inputs. Zbl 0307.68036
Freedman, A. R.; Ladner, R. E.
23
1975
A completely mitotic nonrecursive r.e. degree. Zbl 0309.02045
Ladner, Richard E.
13
1974
Comparison of polynomial-time reducibilities. Zbl 0381.68041
Ladner, Richard; Lynch, Nancy; Selman, Alan
3
1974
Mitotic recursively enumerable sets. Zbl 0286.02042
Ladner, Richard E.
19
1973
Polynomial time reducibility. Zbl 0305.68035
Ladner, Richard E.
1
1973
all top 5

Cited by 1,359 Authors

25 Downey, Rodney Graham
21 Hemaspaandra, Lane A.
16 Ambos-Spies, Klaus
15 Selman, Alan L.
14 Balbiani, Philippe
13 Vardi, Moshe Y.
12 Halpern, Joseph Yehuda
11 Glaßer, Christian
11 Ladner, Richard E.
11 Mundhenk, Martin
10 Kozen, Dexter C.
9 Book, Ronald Vernon
9 Demri, Stéphane P.
9 Geffert, Viliam
9 Hemaspaandra, Edith
9 Ogihara, Mitsunori
8 Harel, David
8 Homer, Steven
8 Lange, Martin
8 Reif, John H.
8 Schöning, Uwe
8 Shore, Richard A.
8 Vollmer, Heribert
7 Egecioglu, Omer
7 Goodrich, Michael Truman
7 Ibarra, Oscar H.
7 Inoue, Katsushi
7 Ko, Ker-I
7 Lohrey, Markus
7 Meier, Arne
7 Slaman, Theodore A.
6 Benevides, Mario R. F.
6 Birget, Jean-Camille
6 Chlebus, Bogdan Stanislaw
6 Hartmanis, Juris
6 Jonsson, Peter A.
6 Köbler, Johannes
6 Koç, Çetin Kaya
6 Lutz, Carsten
6 Pavan, Aduri
6 Ravikumar, Bala
6 Rothe, Jörg-Matthias
6 Schneider, Thomas
6 Takanami, Itsuo
6 Tamir, Tami
5 Allender, Eric W.
5 Arvind, Vikraman
5 Balcázar, José Luis
5 Faliszewski, Piotr
5 Hell, Pavol
5 Jenner, Birgit
5 Kolaitis, Phokion G.
5 Lempp, Steffen
5 Long, Timothy J.
5 Lynch, Nancy Ann
5 Makowsky, Johann-Andreas
5 Meer, Klaus
5 Nies, André Otfrid
5 Ogiwara, Mitsunori
5 Shader, Bryan L.
5 Shao, Jiayu
5 Smolka, Gert
5 Toda, Seinosuke
5 Vishkin, Uzi
5 Watanabe, Osamu
5 Yen, Hsu-Chun
4 Bar-Noy, Amotz
4 Bedon, Nicolas
4 Boudou, Joseph
4 Brualdi, Richard Anthony
4 Cai, Jin-Yi
4 Chen, Danny Ziyi
4 Chrobak, Marek
4 Creignou, Nadia
4 De Giacomo, Giuseppe
4 Feder, Tomás
4 Göller, Stefan
4 Grädel, Erich
4 Haeusler, Edward Hermann
4 Hella, Lauri T.
4 Kupferman, Orna
4 Kuusisto, Antti
4 Lagerkvist, Victor
4 Maybee, John S.
4 Nešetřil, Jaroslav
4 Nordh, Gustav
4 Sattler, Ulrike
4 Schnoor, Henning
4 Silvestri, Riccardo
4 Sui, Yuefei
4 Suzuki, Toshio
4 Thomas, Michael A.
4 Thomassen, Carsten
4 Torenvliet, Leen
4 Travers, Stephen D.
4 Walukiewicz, Igor
4 Wong, Prudence Wai-Ha
4 Yamakami, Tomoyuki
3 Aizikowitz, Tamar
3 Areces, Carlos
...and 1,259 more Authors
all top 5

Cited in 137 Serials

196 Theoretical Computer Science
98 Journal of Computer and System Sciences
61 Information Processing Letters
50 Information and Computation
36 Mathematical Systems Theory
32 Annals of Pure and Applied Logic
28 Algorithmica
26 Linear Algebra and its Applications
25 Discrete Applied Mathematics
25 Journal of Applied Non-Classical Logics
24 The Journal of Symbolic Logic
20 Artificial Intelligence
19 Theory of Computing Systems
16 Studia Logica
14 International Journal of Foundations of Computer Science
14 RAIRO. Informatique Théorique et Applications
14 Journal of Applied Logic
12 Acta Informatica
10 Discrete Mathematics
9 Journal of Complexity
9 Archive for Mathematical Logic
9 Annals of Mathematics and Artificial Intelligence
8 Journal of Automated Reasoning
8 Journal of Logic, Language and Information
7 Computers & Mathematics with Applications
7 SIAM Journal on Computing
6 Linear and Multilinear Algebra
6 Information Sciences
6 Notre Dame Journal of Formal Logic
6 Transactions of the American Mathematical Society
6 Computational Complexity
6 Parallel Algorithms and Applications
6 RAIRO. Theoretical Informatics and Applications
6 ACM Transactions on Computational Logic
6 Journal of Discrete Algorithms
5 European Journal of Operational Research
4 MSCS. Mathematical Structures in Computer Science
4 The Journal of Logic and Algebraic Programming
4 Logical Methods in Computer Science
4 Computer Science Review
3 Lithuanian Mathematical Journal
3 Synthese
3 European Journal of Combinatorics
3 Computers & Operations Research
3 International Journal of Approximate Reasoning
3 International Journal of Algebra and Computation
3 International Journal of Computer Mathematics
3 Acta Mathematica Sinica. New Series
3 Formal Methods in System Design
3 Journal of Scheduling
3 Journal of Logical and Algebraic Methods in Programming
2 Archiv für Mathematische Logik und Grundlagenforschung
2 Journal of Computational Physics
2 Algebra and Logic
2 Computing
2 Journal of Computational and Applied Mathematics
2 Journal of Philosophical Logic
2 Operations Research
2 Science of Computer Programming
2 SIAM Journal on Algebraic and Discrete Methods
2 Discrete & Computational Geometry
2 International Journal of Parallel Programming
2 Mathematical and Computer Modelling
2 Formal Aspects of Computing
2 Journal of Parallel and Distributed Computing
2 Annals of Operations Research
2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
2 Distributed Computing
2 Mathematical Programming. Series A. Series B
2 SIAM Journal on Scientific Computing
2 Mathematical Logic Quarterly (MLQ)
2 Journal of Functional Programming
2 The Bulletin of Symbolic Logic
2 Optimization Letters
2 Science China. Information Sciences
1 Israel Journal of Mathematics
1 Mathematical Notes
1 Moscow University Mathematics Bulletin
1 Problems of Information Transmission
1 ACM Transactions on Database Systems
1 Mathematics of Computation
1 Applied Mathematics and Computation
1 BIT
1 Calcolo
1 Fuzzy Sets and Systems
1 Journal of Combinatorial Theory. Series B
1 Journal of Soviet Mathematics
1 Memoirs of the American Mathematical Society
1 Numerische Mathematik
1 Programming and Computer Software
1 Statistica Neerlandica
1 Cybernetics
1 Advances in Applied Mathematics
1 Mathematical Social Sciences
1 Circuits, Systems, and Signal Processing
1 Parallel Computing
1 Acta Mathematicae Applicatae Sinica. English Series
1 Journal of Symbolic Computation
1 Journal of Computer Science and Technology
1 Journal of Economic Dynamics & Control
...and 37 more Serials
all top 5

Cited in 36 Fields

847 Computer science (68-XX)
468 Mathematical logic and foundations (03-XX)
78 Combinatorics (05-XX)
53 Operations research, mathematical programming (90-XX)
36 Linear and multilinear algebra; matrix theory (15-XX)
31 Numerical analysis (65-XX)
28 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
24 Information and communication theory, circuits (94-XX)
13 Group theory and generalizations (20-XX)
11 Order, lattices, ordered algebraic structures (06-XX)
9 General algebraic systems (08-XX)
9 Probability theory and stochastic processes (60-XX)
7 Quantum theory (81-XX)
6 Convex and discrete geometry (52-XX)
5 Number theory (11-XX)
5 Category theory; homological algebra (18-XX)
5 Biology and other natural sciences (92-XX)
4 Statistics (62-XX)
3 Ordinary differential equations (34-XX)
2 History and biography (01-XX)
2 Commutative algebra (13-XX)
2 Real functions (26-XX)
2 Functions of a complex variable (30-XX)
2 Sequences, series, summability (40-XX)
2 Geometry (51-XX)
2 Systems theory; control (93-XX)
1 General and overarching topics; collections (00-XX)
1 Field theory and polynomials (12-XX)
1 Algebraic geometry (14-XX)
1 Special functions (33-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Difference and functional equations (39-XX)
1 Approximations and expansions (41-XX)
1 Integral transforms, operational calculus (44-XX)
1 General topology (54-XX)
1 Relativity and gravitational theory (83-XX)

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.