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

Publications by Year

Citations contained in zbMATH Open

52 Publications have been cited 1,239 times in 1,110 Documents Cited by Year
Propositional dynamic logic of regular programs. Zbl 0408.03014
Fischer, Michael J.; Ladner, Richard E.
225
1979
On the structure of polynomial time reducibility. Zbl 0322.68028
Ladner, Richard E.
185
1975
Parallel prefix computation. Zbl 0445.68066
Ladner, Richard E.; Fischer, Michael J.
136
1980
A comparison of polynomial time reducibilities. Zbl 0321.68039
Ladner, R. E.; Lynch, N. A.; Selman, A. L.
136
1975
The computational complexity of provability in systems of modal propositional logic. Zbl 0373.02025
Ladner, Richard E.
120
1977
Signsolvability revisited. Zbl 0543.15016
Klee, Victor; Ladner, Richard; Manber, Rachel
50
1984
Relativization of questions about log space computability. Zbl 0341.68036
Ladner, Richard E.; Lynch, Nancy A.
50
1976
Alternating pushdown and stack automata. Zbl 0538.68039
Ladner, Richard E.; Lipton, Richard J.; Stockmeyer, Larry J.
42
1984
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.
36
1977
Space bounds for processing contentless inputs. Zbl 0307.68036
Freedman, A. R.; Ladner, R. E.
24
1975
Mitotic recursively enumerable sets. Zbl 0286.02042
Ladner, Richard E.
20
1973
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
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.
14
1974
Estimating the multiplicities of conflicts to speed their resolution in multiple access channels. Zbl 0634.94002
Greenberg, Albert G.; Flajolet, Phillippe; Ladner, Richard E.
12
1987
Testing the universal instance assumption. Zbl 0422.68048
Honeyman, Peter; Ladner, Richard E.; Yannakakis, Mihalis
10
1980
Windows scheduling problems for broadcast systems. Zbl 1029.68151
Bar-Noy, Amotz; Ladner, Richard E.
10
2003
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
Alternation bounded auxiliary pushdown automata. Zbl 0589.68058
Ladner, Richard E.; Stockmeyer, Larry J.; Lipton, Richard J.
6
1984
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 heaps. Zbl 1073.68892
LaMarca, Anthony; Ladner, Richard E.
5
1996
The influence of caches on the performance of sorting. Zbl 0928.68035
LaMarca, Anthony; Ladner, Richard E.
4
1999
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
Straight-line programs to compute finite languages. Zbl 0409.68025
Goodrich, Glenn B.; Ladner, Richard E.; Fischer, Michael J.
4
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
Interactive proof systems with polynomially bounded strategies. Zbl 0837.68107
Condon, Anne; Ladner, Richard
3
1995
Windows scheduling of arbitrary-length jobs on multiple machines. Zbl 1280.90030
Bar-Noy, Amotz; Ladner, Richard E.; Tamir, Tami; VanDeGrift, Tammy
3
2012
The complexity of computing symmetric functions using threshold circuits. Zbl 0780.68052
Beame, Paul; Brisson, Erik; Ladner, Richard
2
1992
Efficient algorithms for optimal stream merging for media-on-demand. Zbl 1078.68822
Bar-Noy, Amotz; Ladner, Richard E.
2
2004
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
The influence of caches on the performance of sorting. Zbl 1321.68122
LaMarca, Anthony; Ladner, Richard E.
2
1997
Fast nearest neighbor search of entropy-constrained vector quantization. Zbl 0970.94007
Johnson, Mary Holland; Ladner, Richard E.; Riskin, Eve A.
2
2000
Competitive on-line stream merging algorithms for media-on-demand. Zbl 1073.68507
Bar-Noy, Amotz; Ladner, Richard E.
2
2003
Comparison of polynomial-time reducibilities. Zbl 0381.68041
Ladner, Richard; Lynch, Nancy; Selman, Alan
2
1974
Counting protocols for reliable end-to-end transmission. Zbl 0915.68008
Ladner, Richard E.; LaMarca, Anthony; Tempero, Ewan
1
1998
Cache performance analysis of traversals and random accesses. Zbl 0934.68112
Ladner, Richard E.; Fix, James D.; LaMarca, Anthony
1
1999
Binary search in a multiprocessing environment. Zbl 0525.68042
Baer, Jean-Loup; Du, Hung-Chang; Ladner, Richard E.
1
1983
Complexity of sub-bus mesh computations. Zbl 0856.68079
Condon, Anne; Ladner, Richard; Lampe, Jordan; Sinha, Rakesh
1
1996
Algorithms for dynamic multicast key distribution trees. Zbl 1321.94108
Goshi, Justin; Ladner, Richard E.
1
2003
Thresholds and optimal binary comparison search trees. Zbl 1032.68067
Anderson, Richard; Kannan, Sampath; Karloff, Howard; Ladner, Richard E.
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
Recoverable sequence transmission protocols. Zbl 0885.68018
Tempero, Ewan D.; Ladner, Richard E.
1
1995
Windows scheduling problems for broadcast systems. Zbl 1058.94500
Bar-Noy, Amotz; Ladner, Richard E.
1
2002
A general buffer scheme for the windows scheduling problem. Zbl 1121.90310
Bar-Noy, Amotz; Christensen, Jacob; Ladner, Richard E.; Tamir, Tami
1
2005
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
Scheduling techniques for media-on-demand. Zbl 1171.68388
Bar-Noy, Amotz; Ladner, Richard E.; Tamir, Tami
1
2008
Optimizing static calendar queues. Zbl 1390.90210
Erickson, K. Bruce; Ladner, Richard E.; Lamarca, Anthony
1
2000
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
Efficient algorithms for optimal stream merging for media-on-demand. Zbl 1078.68822
Bar-Noy, Amotz; Ladner, Richard E.
2
2004
Windows scheduling as a restricted version of bin packing. Zbl 1317.68290
Bar-Noy, Amotz; Ladner, Richard E.; Tamir, Tami
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
Thresholds and optimal binary comparison search trees. Zbl 1032.68067
Anderson, Richard; Kannan, Sampath; Karloff, Howard; Ladner, Richard E.
1
2002
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.
4
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.
12
1987
Solitaire automata. Zbl 0564.90108
Ladner, Richard E.; Norman, Jeffrey K.
4
1985
Signsolvability revisited. Zbl 0543.15016
Klee, Victor; Ladner, Richard; Manber, Rachel
50
1984
Alternating pushdown and stack automata. Zbl 0538.68039
Ladner, Richard E.; Lipton, Richard J.; Stockmeyer, Larry J.
42
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.
136
1980
Testing the universal instance assumption. Zbl 0422.68048
Honeyman, Peter; Ladner, Richard E.; Yannakakis, Mihalis
10
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.
225
1979
The computational complexity of provability in systems of modal propositional logic. Zbl 0373.02025
Ladner, Richard E.
120
1977
Application of model theoretic games to discrete linear orders and finite automata. Zbl 0387.68037
Ladner, Richard E.
36
1977
Straight-line programs to compute finite languages. Zbl 0409.68025
Goodrich, Glenn B.; Ladner, Richard E.; Fischer, Michael J.
4
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.
185
1975
A comparison of polynomial time reducibilities. Zbl 0321.68039
Ladner, R. E.; Lynch, N. A.; Selman, A. L.
136
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.
24
1975
A completely mitotic nonrecursive r.e. degree. Zbl 0309.02045
Ladner, Richard E.
14
1974
Comparison of polynomial-time reducibilities. Zbl 0381.68041
Ladner, Richard; Lynch, Nancy; Selman, Alan
2
1974
Mitotic recursively enumerable sets. Zbl 0286.02042
Ladner, Richard E.
20
1973
all top 5

Cited by 1,371 Authors

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

Cited in 139 Serials

188 Theoretical Computer Science
96 Journal of Computer and System Sciences
56 Information Processing Letters
52 Information and Computation
36 Mathematical Systems Theory
31 Annals of Pure and Applied Logic
28 Algorithmica
27 Journal of Applied Non-Classical Logics
25 Discrete Applied Mathematics
24 The Journal of Symbolic Logic
21 Linear Algebra and its Applications
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
13 Acta Informatica
10 Discrete Mathematics
9 Journal of Complexity
9 Archive for Mathematical Logic
9 Journal of Logic, Language and Information
9 Annals of Mathematics and Artificial Intelligence
8 SIAM Journal on Computing
8 Journal of Automated Reasoning
6 Computers & Mathematics with Applications
6 Linear and Multilinear Algebra
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 Information Sciences
5 European Journal of Operational Research
5 Journal of Logical and Algebraic Methods in Programming
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 Distributed Computing
3 Formal Methods in System Design
3 Journal of Functional Programming
3 Journal of Scheduling
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 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 Mathematical Programming. Series A. Series B
2 SIAM Journal on Scientific Computing
2 Mathematical Logic Quarterly (MLQ)
2 The Bulletin of Symbolic Logic
2 Theory and Practice of Logic Programming
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 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
1 Applied Mathematics Letters
...and 39 more Serials
all top 5

Cited in 36 Fields

864 Computer science (68-XX)
487 Mathematical logic and foundations (03-XX)
76 Combinatorics (05-XX)
52 Operations research, mathematical programming (90-XX)
32 Numerical analysis (65-XX)
31 Linear and multilinear algebra; matrix theory (15-XX)
29 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
23 Information and communication theory, circuits (94-XX)
13 Order, lattices, ordered algebraic structures (06-XX)
13 General algebraic systems (08-XX)
13 Group theory and generalizations (20-XX)
10 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 Statistics (62-XX)
5 Biology and other natural sciences (92-XX)
4 Category theory; homological algebra (18-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.