 | 2009 |
|---|
| 129 |       | Shaun K. Kane,
Chandrika Jayant,
Jacob O. Wobbrock,
Richard E. Ladner:
Freedom to roam: a study of mobile device adoption and accessibility for people with visual and motor disabilities.
ASSETS 2009: 115-122 |
| 128 | | Anna Carpenter Cavender,
Jeffrey P. Bigham,
Richard E. Ladner:
ClassInFocus: enabling improved visual attention strategies for deaf and hard of hearing students.
ASSETS 2009: 67-74 |
| 127 | | Rahul Vanam,
Eve A. Riskin,
Richard E. Ladner:
H.264/MPEG-4 AVC Encoder Parameter Selection Algorithms for Complexity Distortion Tradeoff.
DCC 2009: 372-381 |
| 126 | | Anna Cavender,
Richard E. Ladner,
Robert I. Roth:
The summer academy for advancing deaf and hard of hearing in computing.
SIGCSE 2009: 514-518 |
| 125 | | Neva Cherniavsky,
Jaehong Chon,
Jacob O. Wobbrock,
Richard E. Ladner,
Eve A. Riskin:
Activity analysis enabling real-time video communication on mobile phones for deaf users.
UIST 2009: 79-88 |
| 2008 |
|---|
| 124 |  | Richard E. Ladner,
Cynthia Dwork:
Proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008
ACM 2008 |
| 123 | | Jeremy T. Brudvik,
Jeffrey P. Bigham,
Anna Cavender,
Richard E. Ladner:
Hunting for headings: sighted labeling vs. automatic classification of headings.
ASSETS 2008: 201-208 |
| 122 | | Neva Cherniavsky,
Richard E. Ladner,
Eve A. Riskin:
Activity detection in conversational sign language video for mobile telecommunication.
FG 2008: 1-6 |
| 121 | | Jeffrey P. Bigham,
Craig Prince,
Richard E. Ladner:
Addressing Performance and Security in a Screen Reading Web Application That Enables Accessibility Anywhere.
ICWE 2008: 273-284 |
| 120 | | Richard E. Ladner,
Tammy VanDeGrift:
The game of life: an outreach model for high school students with disabilities.
SIGCSE 2008: 296-297 |
| 119 | | Jeffrey P. Bigham,
Maxwell B. Aller,
Jeremy T. Brudvik,
Jessica O. Leung,
Lindsay A. Yazzolino,
Richard E. Ladner:
Inspiring blind high school students to pursue computer science with instant messaging chatbots.
SIGCSE 2008: 449-453 |
| 118 | | Richard E. Ladner,
Dan Comden:
Computer science for everyone: making your computing classes and departments accessible.
SIGCSE 2008: 547-548 |
| 117 | | Jeffrey P. Bigham,
Craig Prince,
Sangyun Hahn,
Richard E. Ladner:
WebAnywhere: a screen reading interface for the web on any computer.
W4A 2008: 132-133 |
| 116 | | Jeffrey P. Bigham,
Craig Prince,
Richard E. Ladner:
WebAnywhere: a screen reader on-the-go.
W4A 2008: 73-82 |
| 115 | | Jeffrey P. Bigham,
Craig Prince,
Richard E. Ladner:
Webanywhere: enabling a screen reading interface for the web on any computer.
WWW 2008: 1159-1160 |
| 114 | | Amotz Bar-Noy,
Richard E. Ladner,
Jacob Christensen,
Tami Tamir:
A general buffer scheme for the windows scheduling problem.
ACM Journal of Experimental Algorithmics 13: (2008) |
| 113 | | Amotz Bar-Noy,
Richard E. Ladner,
Tami Tamir:
Scheduling Techniques for Media-on-Demand.
Algorithmica 52(4): 413-439 (2008) |
| 112 | | Amotz Bar-Noy,
Richard E. Ladner,
Tami Tamir:
Optimal delay for media-on-demand with pre-loading and pre-buffering.
Theor. Comput. Sci. 399(1-2): 3-11 (2008) |
| 2007 |
|---|
| 111 | | Shen Pan,
Cary Cherng,
Kevin Dick,
Richard E. Ladner:
Algorithms to Take Advantage of Hardware Prefetching.
ALENEX 2007 |
| 110 | | Neva Cherniavsky,
Anna Cavender,
Richard E. Ladner,
Eve A. Riskin:
Variable frame rate for low power mobile sign language communication.
ASSETS 2007: 163-170 |
| 109 | | Jeffrey P. Bigham,
Anna Cavender,
Jeremy T. Brudvik,
Jacob O. Wobbrock,
Richard E. Ladner:
WebinSitu: a comparative analysis of blind and sighted browsing behavior.
ASSETS 2007: 51-58 |
| 108 | | Chandrika Jayant,
Matthew Renzelmann,
Dana Wen,
Satria Krisnandi,
Richard E. Ladner,
Dan Comden:
Automated tactile graphics translation: in the field.
ASSETS 2007: 75-82 |
| 107 | | Rahul Vanam,
Eve A. Riskin,
Sheila S. Hemami,
Richard E. Ladner:
Distortion-Complexity Optimization of the H.264/MPEG-4 AVC Encoder using the GBFOS Algorithm.
DCC 2007: 303-312 |
| 106 | | Shaun K. Kane,
Jessie A. Shulman,
Timothy J. Shockley,
Richard E. Ladner:
A web accessibility report card for top international university web sites.
W4A 2007: 148-156 |
| 105 | | Jeffrey P. Bigham,
Richard E. Ladner:
Accessmonkey: a collaborative scripting framework for web users and developers.
W4A 2007: 25-34 |
| 104 | | Amotz Bar-Noy,
Richard E. Ladner,
Tami Tamir:
Windows scheduling as a restricted version of bin packing.
ACM Transactions on Algorithms 3(3): (2007) |
| 103 | | Sheryl Burgstahler,
Richard E. Ladner:
Increasing the Participation of People with Disabilities in Computing Fields.
IEEE Computer 40(5): 94-97 (2007) |
| 102 | | Neva Cherniavsky,
Gidon Shavit,
Michael F. Ringenburg,
Richard E. Ladner,
Eve A. Riskin:
MultiStage: A MINMAX Bit Allocation Algorithm for Video Coders.
IEEE Trans. Circuits Syst. Video Techn. 17(1): 59-67 (2007) |
| 2006 |
|---|
| 101 | | Jeffrey P. Bigham,
Ryan S. Kaminsky,
Richard E. Ladner,
Oscar M. Danielsson,
Gordon L. Hempton:
WebInSight: : making web images accessible.
ASSETS 2006: 181-188 |
| 100 | | Anna Cavender,
Richard E. Ladner,
Eve A. Riskin:
MobileASL: : intelligibility of sign language video as constrained by mobile phone technology.
ASSETS 2006: 71-78 |
| 99 | | Sangyun Hahn,
Richard E. Ladner,
Mari Ostendorf:
Agreement/Disagreement Classification: Exploiting Unlabeled Data using Contrast Classifiers.
HLT-NAACL 2006 |
| 98 | | Agnieszka C. Miguel,
Jenny Liu,
Dane Barney,
Richard E. Ladner,
Eve A. Riskin:
Near-Lossless Compression of Hyperspectral Images.
ICIP 2006: 1153-1156 |
| 97 | | Amotz Bar-Noy,
Richard E. Ladner,
Tami Tamir:
Optimal Delay for Media-on-Demand with Pre-loading and Pre-buffering.
SIROCCO 2006: 171-181 |
| 96 | | Justin Goshi,
Richard E. Ladner:
Algorithms for dynamic multicast key distribution.
ACM Journal of Experimental Algorithmics 11: (2006) |
| 95 | | Nicholas J. A. Harvey,
Richard E. Ladner,
László Lovász,
Tami Tamir:
Semi-matchings for bipartite graphs and load balancing.
J. Algorithms 59(1): 53-78 (2006) |
| 94 | | Amotz Bar-Noy,
Justin Goshi,
Richard E. Ladner:
Off-line and on-line guaranteed start-up delay for Media-on-Demand with stream merging.
J. Discrete Algorithms 4(1): 72-105 (2006) |
| 2005 |
|---|
| 93 | | Richard E. Ladner,
Melody Y. Ivory,
Rajesh Rao,
Sheryl Burgstahler,
Dan Comden,
Sangyun Hahn,
Matthew Renzelmann,
Satria Krisnandi,
Mahalakshmi Ramasamy,
Beverly Slabosky,
Andrew Martin,
Amelia Lacenski,
Stuart Olsen,
Dmitri Groce:
Automating tactile graphics translation.
ASSETS 2005: 150-157 |
| 92 | | Amotz Bar-Noy,
Justin Goshi,
Richard E. Ladner,
Tammy VanDeGrift:
Stream merging for live continuous broadcast with time-shifting.
BROADNETS 2005: 953-962 |
| 91 | | Gidon Shavit,
Richard E. Ladner,
Eve A. Riskin:
MINMAX Bit Allocation for Quantization-Based Video Coders.
DCC 2005: 299-308 |
| 90 | | Edwin S. Hong,
Richard E. Ladner:
Optimal adaptation strategies for Golomb codes on correlated sources.
ICIP (1) 2005: 169-172 |
| 89 | | Amotz Bar-Noy,
Richard E. Ladner,
Tami Tamir,
Tammy VanDeGrift:
Windows scheduling of arbitrary length jobs on parallel machines.
SPAA 2005: 56-65 |
| 88 | | Amotz Bar-Noy,
Jacob Christensen,
Richard E. Ladner,
Tami Tamir:
A General Buffer Scheme for the Windows Scheduling Problem.
WEA 2005: 139-151 |
| 87 | | Justin Goshi,
Alexander E. Mohr,
Richard E. Ladner,
Eve A. Riskin,
Alan F. Lippman:
Unequal loss protection for H.263 compressed video.
IEEE Trans. Circuits Syst. Video Techn. 15(3): 412-419 (2005) |
| 2004 |
|---|
| 86 | | Gidon Shavit,
Michael F. Ringenburg,
Jeff West,
Richard E. Ladner,
Eve A. Riskin:
Group Testing for Video Compression.
Data Compression Conference 2004: 212-221 |
| 85 | | Michael F. Ringenburg,
Richard E. Ladner,
Eve A. Riskin:
Global MINMAX Interframe Bit Allocation for Embedded Video Coding.
Data Compression Conference 2004: 222-231 |
| 84 | | Agnieszka C. Miguel,
Amanda R. Askew,
Alexander Chang,
Scott Hauck,
Richard E. Ladner,
Eve A. Riskin:
Reduced Complexity Wavelet-Based Predictive Coding of Hyperspectral Images for FPGA Implementation.
Data Compression Conference 2004: 469-478 |
| 83 | | Amotz Bar-Noy,
Richard E. Ladner,
Tami Tamir:
Windows scheduling as a restricted version of Bin Packing.
SODA 2004: 224-233 |
| 82 | | Amotz Bar-Noy,
Justin Goshi,
Richard E. Ladner,
Kenneth Tam:
Comparison of stream merging algorithms for media-on-demand.
Multimedia Syst. 9(5): 411-423 (2004) |
| 81 | | Amotz Bar-Noy,
Richard E. Ladner:
Efficient Algorithms for Optimal Stream Merging for Media-on-Demand.
SIAM J. Comput. 33(5): 1011-1034 (2004) |
| 2003 |
|---|
| 80 | | Richard E. Ladner:
Proceedings of the Fifth Workshop on Algorithm Engineering and Experiments, Baltimore, MD, USA, January 11, 2003
SIAM 2003 |
| 79 | | Erin Earl,
Richard E. Ladner:
Enhanced Sequitur for Finding Structure in Data.
DCC 2003: 425 |
| 78 | | Justin Goshi,
Richard E. Ladner,
Eve A. Riskin,
Alexander E. Mohr,
Alan F. Lippman:
Unequal Loss Protection for H.263 Compressed Video.
DCC 2003: 73-82 |
| 77 | | Justin Goshi,
Richard E. Ladner:
Algorithms for dynamic multicast key distribution trees.
PODC 2003: 243-251 |
| 76 | | Amotz Bar-Noy,
Richard E. Ladner,
Tami Tamir:
Scheduling techniques for media-on-demand.
SODA 2003: 791-80 |
| 75 | | Amotz Bar-Noy,
Justin Goshi,
Richard E. Ladner:
Off-line and on-line guaranteed start-up delay for media-on-demand with stream merging.
SPAA 2003: 164-173 |
| 74 | | Nicholas J. A. Harvey,
Richard E. Ladner,
László Lovász,
Tami Tamir:
Semi-matchings for Bipartite Graphs and Load Balancing.
WADS 2003: 294-308 |
| 73 | | Amotz Bar-Noy,
Richard E. Ladner:
Competitive on-line stream merging algorithms for media-on-demand.
J. Algorithms 48(1): 59-90 (2003) |
| 72 | | Amotz Bar-Noy,
Richard E. Ladner:
Windows Scheduling Problems for Broadcast Systems.
SIAM J. Comput. 32(4): 1091-1113 (2003) |
| 2002 |
|---|
| 71 | | Edwin S. Hong,
Richard E. Ladner:
Extended Golomb Codes for Binary Markov Sources.
DCC 2002: 456 |
| 70 | | Amotz Bar-Noy,
Richard E. Ladner:
Windows scheduling problems for broadcast systems.
SODA 2002: 433-442 |
| 69 | | Edwin S. Hong,
Richard E. Ladner:
Group testing for image compression.
IEEE Transactions on Image Processing 11(8): 901-911 (2002) |
| 68 | | Richard J. Anderson,
Sampath Kannan,
Howard J. Karloff,
Richard E. Ladner:
Thresholds and optimal binary comparison search trees.
J. Algorithms 44(2): 338-358 (2002) |
| 2001 |
|---|
| 67 | | Edwin S. Hong,
Richard E. Ladner,
Eve A. Riskin:
Group Testing for Wavelet Packet Image Compression.
Data Compression Conference 2001: 73-82 |
| 66 | | Richard J. Anderson,
Sampath Kannan,
Howard J. Karloff,
Richard E. Ladner:
Thresholds and Optimal Binary Comparison Search Trees.
FSTTCS 2001: 83-95 |
| 65 | | Amotz Bar-Noy,
Richard E. Ladner:
Competitive on-line stream merging algorithms for media-on-demand.
SODA 2001: 364-373 |
| 2000 |
|---|
| 64 | | Edwin S. Hong,
Richard E. Ladner:
Group Testing for Image Compression.
Data Compression Conference 2000: 3-12 |
| 63 | | Richard E. Ladner,
Ray Fortna,
Bao-Hoang Nguyen:
A Comparison of Cache Aware and Cache Oblivious Static Search Trees Using Program Instrumentation.
Experimental Algorithmics 2000: 78-92 |
| 62 | | Alexander E. Mohr,
Richard E. Ladner,
Eve A. Riskin:
Approximately Optimal Assignment for Unequal Loss Protection.
ICIP 2000 |
| 61 | | K. Bruce Erickson,
Richard E. Ladner,
Anthony LaMarca:
Optimizing static calendar queues.
ACM Trans. Model. Comput. Simul. 10(3): 179-214 (2000) |
| 60 | | Mary Holland Johnson,
Richard E. Ladner,
Eve A. Riskin:
Fast nearest neighbor search of entropy-constrained vector quantization.
IEEE Transactions on Image Processing 9(8): 1435-1437 (2000) |
| 1999 |
|---|
| 59 | | Alexander E. Mohr,
Eve A. Riskin,
Richard E. Ladner:
Graceful Degradation over Packet Erasure Channels through Forward Error Correction.
Data Compression Conference 1999: 92-101 |
| 58 | | Alexander E. Mohr,
Richard E. Ladner,
Eve A. Riskin:
Generalized Multiple Description Coding Through Unequal Loss Protection.
ICIP (1) 1999: 411-415 |
| 57 | | Richard E. Ladner,
James D. Fix,
Anthony LaMarca:
Cache Performance Analysis of Traversals and Random Accesses.
SODA 1999: 613-622 |
| 56 | | James D. Fix,
Richard E. Ladner:
Multiresolution banded refinement to accelerate surface reconstruction from polygons.
Comput. Geom. 13(1): 49-64 (1999) |
| 55 | | Bindignavile S. Srinivas,
Richard E. Ladner,
Murat Azizoglu,
Eve A. Riskin:
Progressive transmission of images using MAP detection over channels with memory.
IEEE Transactions on Image Processing 8(4): 462-475 (1999) |
| 54 | | Anthony LaMarca,
Richard E. Ladner:
The Influence of Caches on the Performance of Sorting.
J. Algorithms 31(1): 66-104 (1999) |
| 1998 |
|---|
| 53 | | Alexander E. Mohr,
Eve A. Riskin,
Richard E. Ladner:
Recovering from Bit Errors in Scalar-Quantized Discrete Wavelet Transformed Images.
ICIP (3) 1998: 502-506 |
| 52 | | James D. Fix,
Richard E. Ladner:
Multiresolution Banded Refinement to Accelerate Surface Reconstruction from Polygons.
Symposium on Computational Geometry 1998: 240-248 |
| 51 | | James D. Fix,
Richard E. Ladner:
Sorting by Parallel Insertion on a One-Dimensional Subbus Array.
IEEE Trans. Computers 47(11): 1267-1281 (1998) |
| 50 | | Richard E. Ladner,
Anthony LaMarca,
Ewan D. Tempero:
Counting Protocols for Reliable End-to-End Transmission.
J. Comput. Syst. Sci. 56(1): 96-111 (1998) |
| 1997 |
|---|
| 49 | | Anthony LaMarca,
Richard E. Ladner:
The Influence of Caches on the Performance of Sorting.
SODA 1997: 370-379 |
| 1996 |
|---|
| 48 | | Anthony LaMarca,
Richard E. Ladner:
The Influence of Caches on the Performance of Heaps.
ACM Journal of Experimental Algorithmics 1: 4 (1996) |
| 47 | | Ren-Yuh Wang,
Eve A. Riskin,
Richard E. Ladner:
Codebook organization to enhance maximum a posteriori detection of progressive transmission of vector quantized images over noisy channels.
IEEE Transactions on Image Processing 5(1): 37-48 (1996) |
| 46 | | Anne Condon,
Richard E. Ladner,
Jordan Lampe,
Rakesh K. Sinha:
Complexity of Sub-Bus Mesh Computations.
SIAM J. Comput. 25(3): 520-539 (1996) |
| 1995 |
|---|
| 45 | | James D. Fix,
Richard E. Ladner:
Optimal One-Way Sorting on a One-Dimensional Sub-Bus Array.
SODA 1995: 586-594 |
| 44 | | Ewan D. Tempero,
Richard E. Ladner:
Recoverable Sequence Transmission Protocols.
J. ACM 42(5): 1059-1090 (1995) |
| 43 | | Anne Condon,
Richard E. Ladner:
Interactive Proof Systems with Polynomially Bounded Strategies.
J. Comput. Syst. Sci. 50(3): 506-518 (1995) |
| 1994 |
|---|
| 42 | | K. Bruce Erickson,
Richard E. Ladner,
Anthony LaMarca:
Optimizing Static Calendar Queues
FOCS 1994: 732-743 |
| 41 | | David A. Cohn,
Eve A. Riskin,
Richard E. Ladner:
Theory and Practice of Vector Quantizers Trained on Small Training Sets.
IEEE Trans. Pattern Anal. Mach. Intell. 16(1): 54-65 (1994) |
| 40 | | Eve A. Riskin,
Richard E. Ladner,
Ren-Yuh Wang,
Les E. Atlas:
Index assignment for progressive transmission of full-search vector quantization.
IEEE Transactions on Image Processing 3(3): 307-312 (1994) |
| 39 | | David A. Cohn,
Les E. Atlas,
Richard E. Ladner:
Improving Generalization with Active Learning.
Machine Learning 15(2): 201-221 (1994) |
| 1993 |
|---|
| 38 | | Richard E. Ladner,
Jordan Lampe,
Richard A. Rogers:
Vector Prefix Addition on Sub-Bus Mesh Computers.
SPAA 1993: 387-396 |
| 1992 |
|---|
| 37 | | Anne Condon,
Richard E. Ladner:
Interactive Proof Systems with Polynomially Bounded Strategies.
Structure in Complexity Theory Conference 1992: 282-294 |
| 36 | | Paul Beame,
Erik Brisson,
Richard E. Ladner:
The Complexity of Computing Symmetric Functions Using Threshold Circuits.
Theor. Comput. Sci. 100(1): 253- (1992) |
| 1991 |
|---|
| 35 | | Soma Chaudhuri,
Richard E. Ladner:
Safety and Liveness of omega-Context-Free Languages.
Inf. Process. Lett. 37(1): 13-20 (1991) |
| 1990 |
|---|
| 34 | | Ewan D. Tempero,
Richard E. Ladner:
Tight Bounds for Weakly Bounded Protocols.
PODC 1990: 205-218 |
| 1989 |
|---|
| 33 | | Les E. Atlas,
David A. Cohn,
Richard E. Ladner:
Training Connectionist Networks with Queries and Selective Sampling.
NIPS 1989: 566-573 |
| 32 | | Richard E. Ladner:
Computer Accessibility For Federal Workers With Disabilities: It's The Law.
Commun. ACM 32(8): 952-956 (1989) |
| 31 | | Richard E. Ladner:
Polynomial Space Counting Problems.
SIAM J. Comput. 18(6): 1087-1097 (1989) |
| 1988 |
|---|
| 30 | | Anne Condon,
Richard E. Ladner:
Probabilistic Game Automata.
J. Comput. Syst. Sci. 36(3): 452-489 (1988) |
| 1987 |
|---|
| 29 | | Albert G. Greenberg,
Philippe Flajolet,
Richard E. Ladner:
Estimating the multiplicities of conflicts to speed their resolution in multiple access channels.
J. ACM 34(2): 289-325 (1987) |
| 1986 |
|---|
| 28 | | Anne Condon,
Richard E. Ladner:
Probabilistic Game Automata.
Structure in Complexity Theory Conference 1986: 144-162 |
| 27 | | Richard E. Ladner,
John H. Reif:
The Logic of Distributed Protocols.
TARK 1986: 207-222 |
| 1985 |
|---|
| 26 | | Richard E. Ladner,
Jeffrey K. Norman:
Solitaire Automata.
J. Comput. Syst. Sci. 30(1): 116-129 (1985) |
| 1984 |
|---|
| 25 | | Richard E. Ladner:
Networks for Deaf-Blind People.
COMPCON 1984: 34-344 |
| 24 | | Udi Manber,
Richard E. Ladner:
Concurrency Control In a Dynamic Search Structure.
ACM Trans. Database Syst. 9(3): 439-455 (1984) |
| 23 | | Ephraim P. Glinert,
Richard E. Ladner:
A Large Font Virtual Terminal Interface, A Software Prothesis for Visually Impaired.
Commun. ACM 27(6): 567-572 (1984) |
| 22 | | Richard E. Ladner,
Larry J. Stockmeyer,
Richard J. Lipton:
Alternation Bounded Auxiliary Pushdown Automata
Information and Control 62(2/3): 93-108 (1984) |
| 21 | | Richard E. Ladner,
Richard J. Lipton,
Larry J. Stockmeyer:
Alternating Pushdown and Stack Automata.
SIAM J. Comput. 13(1): 135-155 (1984) |
| 1983 |
|---|
| 20 | | Albert G. Greenberg,
Richard E. Ladner:
Estimating the Multiplicities of Conflicts in Multiple Access Channels (Preliminary Report)
FOCS 1983: 383-392 |
| 19 | | Jean-Loup Baer,
Hung-Chang Du,
Richard E. Ladner:
Binary Search in a Multiprocessing Environment.
IEEE Trans. Computers 32(7): 667-677 (1983) |
| 1982 |
|---|
| 18 | | Udi Manber,
Richard E. Ladner:
Concurrency Control in a Dynamic Search Structure.
PODS 1982: 268-282 |
| 17 | | Albert G. Greenberg,
Richard E. Ladner,
Mike Paterson,
Zvi Galil:
Efficient Parallel Algorithms for Linear Recurrence Computation.
Inf. Process. Lett. 15(1): 31-35 (1982) |
| 1980 |
|---|
| 16 | | Peter Honeyman,
Richard E. Ladner,
Mihalis Yannakakis:
Testing the Universal Instance Assumption.
Inf. Process. Lett. 10(1): 14-19 (1980) |
| 15 | | Richard E. Ladner,
Michael J. Fischer:
Parallel Prefix Computation.
J. ACM 27(4): 831-838 (1980) |
| 14 | | Richard E. Ladner:
The Complexity of Problems in Systems of Communicating Sequential Processes.
J. Comput. Syst. Sci. 21(2): 179-194 (1980) |
| 1979 |
|---|
| 13 | | Richard E. Ladner:
The Complexity of Problems in Systems of Communicating Sequential Processes (Extended Abstract)
STOC 1979: 214-223 |
| 12 | | Michael J. Fischer,
Richard E. Ladner:
Propositional Dynamic Logic of Regular Programs.
J. Comput. Syst. Sci. 18(2): 194-211 (1979) |
| 1978 |
|---|
| 11 | | Richard E. Ladner,
Richard J. Lipton,
Larry J. Stockmeyer:
Alternating Pushdown Automata (Preliminary Report)
FOCS 1978: 92-106 |
| 1977 |
|---|
| 10 | | Michael J. Fischer,
Richard E. Ladner:
Propositional Modal Logic of Programs (Extended Abstract)
STOC 1977: 286-294 |
| 9 | | Richard E. Ladner:
Application of Model Theoretic Games to Discrete Linear Orders and Finite Automata
Information and Control 33(4): 281-303 (1977) |
| 8 | | Richard E. Ladner:
The Computational Complexity of Provability in Systems of Modal Propositional Logic.
SIAM J. Comput. 6(3): 467-480 (1977) |
| 1976 |
|---|
| 7 | | Richard E. Ladner,
Nancy A. Lynch:
Relativization of Questions About Log Space Computability.
Mathematical Systems Theory 10: 19-32 (1976) |
| 1975 |
|---|
| 6 | | Richard E. Ladner:
On the Structure of Polynomial Time Reducibility.
J. ACM 22(1): 155-171 (1975) |
| 5 | | A. R. Freedman,
Richard E. Ladner:
Space Bounds for Processing Contentless Inputs.
J. Comput. Syst. Sci. 11(1): 118-128 (1975) |
| 4 | | Richard E. Ladner,
Nancy A. Lynch,
Alan L. Selman:
A Comparison of Polynomial Time Reducibilities.
Theor. Comput. Sci. 1(2): 103-123 (1975) |
| 1974 |
|---|
| 3 | | Richard E. Ladner,
Nancy A. Lynch,
Alan L. Selman:
Comparisons of Polynomial-Time Reducibilities
STOC 1974: 110-121 |
| 1973 |
|---|
| 2 | | Richard E. Ladner:
Polynomial Time Reducibility
STOC 1973: 122-129 |
| 1 | | Richard E. Ladner:
Mitotic Recursively Enumerable Sets.
J. Symb. Log. 38(2): 199-211 (1973) |
