Richard Ladner

@article{chaudhuri1991safety_liveness_context_free_languages,

title = {Safety and Liveness of ω-Context-Free Languages},

author = {S. Chaudhuri and R. E. Ladner},

year  = {1991},

date = {1991-01-01},

journal = {Information Processing Letters},

volume = {37},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{ladner1989computer_accessibility_federal_workers,

title = {Computer Accessibility for Federal Workers with Disabilities: It's the Law},

author = {R. E. Ladner},

year  = {1989},

date = {1989-01-01},

journal = {Communications of the ACM},

volume = {32},

number = {8},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{ladner1989polynomial_space_counting_problems,

title = {Polynomial Space Counting Problems},

author = {R. E. Ladner},

year  = {1989},

date = {1989-01-01},

journal = {SIAM Journal on Computing},

volume = {18},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{condon1988probabilistic_game_automata,

title = {Probabilistic Game Automata},

author = {A. Condon and R. E. Ladner},

year  = {1988},

date = {1988-01-01},

journal = {Journal of Computer and System Sciences},

volume = {36},

number = {3},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{greenberg1987estimating_multiplicities_conflicts,

title = {Estimating the Multiplicities of Conflicts to Speed Their Resolution in Multiple Access Channels},

author = {A. G. Greenberg and P. Flajolet and R. E. Ladner},

year  = {1987},

date = {1987-01-01},

journal = {Journal of the ACM},

volume = {34},

number = {2},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{ladner1987dbnet,

title = {DBNet - A Computer Network for Deaf-Blind People},

author = {R. Ladner},

year  = {1987},

date = {1987-01-01},

journal = {Computer Technology/Special Education/Rehabilitation},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{ladner1985solitaire_automata,

title = {Solitaire Automata},

author = {R. E. Ladner and J. K. Norman},

year  = {1985},

date = {1985-01-01},

journal = {Journal of Computer and System Sciences},

volume = {31},

number = {1},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{klee1984signsolvability_revisited,

title = {Signsolvability Revisited},

author = {V. Klee and R. E. Ladner and R. Manber},

year  = {1984},

date = {1984-01-01},

journal = {Linear Algebra and Its Applications},

volume = {59},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{manber1984concurrency_control_dynamic_search,

title = {Concurrency Control in a Dynamic Search Structure},

author = {U. Manber and R. E. Ladner},

year  = {1984},

date = {1984-01-01},

journal = {ACM Transactions on Database Systems},

volume = {9},

number = {3},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{ladner1984alternating_pushdown_stack,

title = {Alternating Pushdown and Stack Automata},

author = {R. E. Ladner and R. J. Lipton and L. J. Stockmeyer},

year  = {1984},

date = {1984-01-01},

journal = {SIAM Journal on Computing},

volume = {13},

number = {1},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{glinert1984large_font_virtual_terminal,

title = {A Large Font Virtual Terminal Interface - A Software Prosthesis for the Visually Impaired},

author = {E. P. Glinert and R. E. Ladner},

year  = {1984},

date = {1984-01-01},

journal = {Communications of the ACM},

volume = {27},

number = {6},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{baer1983binary_search_multiprocessing,

title = {Binary Search in a Multiprocessing Environment},

author = {J. L. Baer and H. C. Du and R. E. Ladner},

year  = {1983},

date = {1983-01-01},

journal = {IEEE Transactions on Computers},

volume = {c-32},

number = {7},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{greenberg1982efficient_parallel_algorithms,

title = {Efficient Parallel Algorithms for Linear Recurrence Computation},

author = {A. G. Greenberg and R. E. Ladner and M. S. Paterson and Z. Galil},

year  = {1982},

date = {1982-01-01},

journal = {Information Processing Letters},

volume = {15},

number = {1},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{ladner1980complexity_problems_systems_communicating,

title = {The Complexity of Problems in Systems of Communicating Sequential Processes},

author = {R. E. Ladner},

year  = {1980},

date = {1980-01-01},

journal = {Journal of Computer and System Sciences},

volume = {21},

number = {2},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{honeyman1980testing_universal_instance,

title = {Testing the Universal Instance Assumption},

author = {P. Honeyman and R. E. Ladner and M. Yannakakis},

year  = {1980},

date = {1980-01-01},

journal = {Information Processing Letters},

volume = {10},

number = {1},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{ladner1980parallel_prefix_computation,

title = {Parallel Prefix Computation},

author = {R. E. Ladner and M. J. Fischer},

year  = {1980},

date = {1980-01-01},

journal = {Journal of the ACM},

volume = {27},

number = {4},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{fischer1979propositional_dynamic_logic,

title = {Propositional Dynamic Logic of Regular Programs},

author = {M. J. Fischer and R. E. Ladner},

year  = {1979},

date = {1979-01-01},

journal = {Journal of Computer and System Sciences},

volume = {18},

number = {2},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{ladner1977computational_complexity_provability,

title = {The Computational Complexity of Provability in Systems of Modal Propositional Logic},

author = {R. E. Ladner},

year  = {1977},

date = {1977-01-01},

journal = {SIAM Journal on Computing},

volume = {6},

number = {3},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{ladner1977model_theoretic_games,

title = {Application of Model Theoretic Games to Discrete Linear Orders and Finite Automata},

author = {R. E. Ladner},

year  = {1977},

date = {1977-01-01},

journal = {Information and Control},

volume = {33},

number = {4},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{ladner1976relativization_log_space,

title = {Relativization of Questions about Log Space Computability},

author = {R. E. Ladner and N. A. Lynch},

year  = {1976},

date = {1976-01-01},

journal = {Mathematical Systems Theory},

volume = {10},

number = {1},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{freedman1975space_bounds_contentless,

title = {Space Bounds for Processing Contentless Inputs},

author = {A. R. Freedman and R. E. Ladner},

year  = {1975},

date = {1975-01-01},

journal = {Journal of Computer and System Sciences},

volume = {11},

number = {1},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{ladner1975weak_truth_table_degrees,

title = {The Weak Truth Table Degrees of Recursively Enumerable Sets},

author = {R. E. Ladner and L. P. Sasso},

year  = {1975},

date = {1975-01-01},

journal = {Annals of Mathematical Logic},

volume = {8},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{ladner1975structure_polynomial_time_reducibility,

title = {On the Structure of Polynomial Time Reducibility},

author = {R. E. Ladner},

year  = {1975},

date = {1975-01-01},

journal = {Journal of the ACM},

volume = {22},

number = {1},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{ladner1975circuit_value_problem,

title = {The Circuit Value Problem is Log Space Complete},

author = {R. E. Ladner},

year  = {1975},

date = {1975-01-01},

journal = {SIGACT NEWS},

volume = {7},

number = {1},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{ladner1975comparison_polynomial_time_reducibilities,

title = {A Comparison of Polynomial Time Reducibilities},

author = {R. E. Ladner and N. A. Lynch and A. L. Selman},

year  = {1975},

date = {1975-01-01},

journal = {Theoretical Computer Science},

volume = {1},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{ladner1973mitotic_recursively_enumerable,

title = {Mitotic Recursively Enumerable Sets},

author = {R. E. Ladner},

year  = {1973},

date = {1973-01-01},

journal = {Journal of Symbolic Logic},

volume = {38},

number = {2},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{ladner1973completely_mitotic_nonrecursive,

title = {A Completely Mitotic Nonrecursive R.E. Degree},

author = {R. E. Ladner},

year  = {1973},

date = {1973-01-01},

journal = {Transactions of the AMS},

volume = {184},

keywords = {},

pubstate = {published},

tppubtype = {article}

}