Richard E. Ladner

According to our database1, Richard E. Ladner
  • authored at least 205 papers between 1973 and 2018.
  • has a "Dijkstra number"2 of three.

Awards

ACM Fellow

ACM Fellow 1995, "For seminal and significant contributions in theoretical computer science research.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Who Teaches Accessibility?: A Survey of U.S. Computing Faculty.
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

Access to Computing Education for Students with Disabilities: (Abstract Only).
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

2018 Panel of Computing Students with Disabilities.
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

2017
Design and Real-World Evaluation of Eyes-Free Yoga: An Exergame for Blind and Low-Vision Exercise.
TACCESS, 2017

Making your presentation accessible.
Interactions, 2017

The Quorum Programming Language (Abstract Only).
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

Access to Computing Education for Students with Disabilities (Abstract Only).
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

Teaching Accessibility.
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

Blocks4All Demonstration: a Blocks-Based Programming Environment for Blind Children.
Proceedings of the 19th International ACM SIGACCESS Conference on Computers and Accessibility, 2017

2016
Tactile Graphics with a Voice.
TACCESS, 2016

AccessComputing Promotes Teaching Accessibility.
Inroads, 2016

"For all" in "computer science for all".
Commun. ACM, 2016

SIG on the State of Accessibility at CHI.
Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, 2016

Promoting Strategic Research on Inclusive Access to Rich Online Content and Services.
Proceedings of the 18th International ACM SIGACCESS Conference on Computers and Accessibility, 2016

Accessibility is Becoming Mainstream.
Proceedings of the 18th International ACM SIGACCESS Conference on Computers and Accessibility, 2016

Improving Real-Time Captioning Experiences for Deaf and Hard of Hearing Students.
Proceedings of the 18th International ACM SIGACCESS Conference on Computers and Accessibility, 2016

A Personalizable Mobile Sound Detector App Design for Deaf and Hard-of-Hearing Users.
Proceedings of the 18th International ACM SIGACCESS Conference on Computers and Accessibility, 2016

2015
Evaluating Intelligibility and Battery Drain of Mobile Sign Language Video Transmitted at Low Frame Rates and Bit Rates.
TACCESS, 2015

Introduction to the ASSETS'13 Special Issue, Part 2.
TACCESS, 2015

Introduction to the ASSETS'13 Special Issue.
TACCESS, 2015

Design for user empowerment.
Interactions, 2015

Increasing the participation of individuals with disabilities in computing.
Commun. ACM, 2015

Introduction to AccessCS10K and Accessible Tools for Teaching Programming.
Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015

Universal Access to Computing Education (Abstract Only).
Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015

A User-Powered American Sign Language Dictionary.
Proceedings of the 18th ACM Conference on Computer Supported Cooperative Work & Social Computing, 2015

StructJumper: A Tool to Help Blind Programmers Navigate and Understand the Structure of Code.
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015

Exploring the Opportunities and Challenges with Exercise Technologies for People who are Blind or Low-Vision.
Proceedings of the 17th International ACM SIGACCESS Conference on Computers & Accessibility, 2015

2014
The impact of the United Nations convention on the rights of persons with disabilities.
Commun. ACM, 2014

Panel of computing students with disabilities.
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

Design for user empowerment.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014

Analyzing the intelligibility of real-time mobile sign language video transmitted below recommended standards.
Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibility, 2014

BraillePlay: educational smartphone games for blind children.
Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibility, 2014

Using computer vision to access appliance displays.
Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibility, 2014

Tactile graphics with a voice demonstration.
Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibility, 2014

Tactile graphics with a voice: using QR codes to access text in tactile graphics.
Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibility, 2014

2013
Fast algorithms for designing nearly optimal lookup tables for complexity control of the H.264 encoder.
Signal, Image and Video Processing, 2013

DigiTaps: eyes-free number entry on touchscreens with minimal audio feedback.
Proceedings of the 26th Annual ACM Symposium on User Interface Software and Technology, 2013

Bilingual Voice Conversion by Weighted Frequency Warping Based on Formant Space.
Proceedings of the Text, Speech, and Dialogue - 16th International Conference, 2013

Universal access to computing education (abstract only).
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

VBGhost: a braille-based educational smartphone game for children.
Proceedings of the 15th International ACM SIGACCESS Conference on Computers and Accessibility, 2013

2012
Near-lossless and lossy compression of imaging spectrometer data: comparison of information extraction performance.
Signal, Image and Video Processing, 2012

Windows scheduling of arbitrary-length jobs on multiple machines.
J. Scheduling, 2012

Communication Technologies for People With Sensory Disabilities.
Proceedings of the IEEE, 2012

Strategies for increasing the participation in computing of students with disabilities.
Inroads, 2012

The need to balance innovation and implementation in broadening participation.
Commun. ACM, 2012

Improving the accessibility of computing enrichment programs (abstract only).
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

Input finger detection for nonvisual touch screen text entry in Perkinput.
Proceedings of the Graphics Interface 2012 Conference, 2012

Tapulator: a non-visual calculator using natural prefix-free codes.
Proceedings of the 14th International ACM SIGACCESS Conference on Computers and Accessibility, 2012

Design goals for a system for enhancing AAC with personalized video.
Proceedings of the 14th International ACM SIGACCESS Conference on Computers and Accessibility, 2012

PassChords: secure multi-touch authentication for blind people.
Proceedings of the 14th International ACM SIGACCESS Conference on Computers and Accessibility, 2012

2011
Special Issue on Broadening Participation in Computing Education (Part 2).
TOCE, 2011

Introduction to Special Issue (Part 1): Broadening Participation in Computing Education.
TOCE, 2011

What the disability community can teach us about interactive crowdsourcing.
Interactions, 2011

Data trends on minorities and people with disabilities in computing.
Commun. ACM, 2011

Incentivizing the ASL-STEM forum.
Proceedings of the 7th International Symposium on Wikis and Open Collaboration, 2011

Access overlays: improving non-visual access to large touch screens for blind users.
Proceedings of the 24th Annual ACM Symposium on User Interface Software and Technology, 2011

Improving Compressed Video Sign Language Conversations in the Presence of Data Loss.
Proceedings of the 2011 Data Compression Conference (DCC 2011), 2011

Effect of MobileASL on communication among deaf users.
Proceedings of the International Conference on Human Factors in Computing Systems, 2011

Usable gestures for blind people: understanding preference and performance.
Proceedings of the International Conference on Human Factors in Computing Systems, 2011

Applying the NSF broader impacts criteria to HCI research.
Proceedings of the International Conference on Human Factors in Computing Systems, 2011

Enhancing independence and safety for blind and deaf-blind public transit riders.
Proceedings of the International Conference on Human Factors in Computing Systems, 2011

Evaluating quality and comprehension of real-time sign language video on mobile phones.
Proceedings of the 13th International ACM SIGACCESS Conference on Computers and Accessibility, 2011

The design of human-powered access technology.
Proceedings of the 13th International ACM SIGACCESS Conference on Computers and Accessibility, 2011

Smartphone haptic feedback for nonvisual wayfinding.
Proceedings of the 13th International ACM SIGACCESS Conference on Computers and Accessibility, 2011

2010
WebAnywhere: experiences with a new delivery model for access technology.
Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, 2010

Asl-stem forum: enabling sign language to grow through online collaboration.
Proceedings of the 28th International Conference on Human Factors in Computing Systems, 2010

A web-based user survey for evaluating power saving strategies for deaf users of mobileASL.
Proceedings of the 12th International ACM SIGACCESS Conference on Computers and Accessibility, 2010

V-braille: haptic braille perception using a touch-screen and vibration on mobile phones.
Proceedings of the 12th International ACM SIGACCESS Conference on Computers and Accessibility, 2010

2009
Broadening participation - Opening remarks.
Commun. ACM, 2009

Activity analysis enabling real-time video communication on mobile phones for deaf users.
Proceedings of the 22nd Annual ACM Symposium on User Interface Software and Technology, 2009

The summer academy for advancing deaf and hard of hearing in computing.
Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, 2009

H.264/MPEG-4 AVC Encoder Parameter Selection Algorithms for Complexity Distortion Tradeoff.
Proceedings of the 2009 Data Compression Conference (DCC 2009), 2009

Freedom to roam: a study of mobile device adoption and accessibility for people with visual and motor disabilities.
Proceedings of the 11th International ACM SIGACCESS Conference on Computers and Accessibility, 2009

ClassInFocus: enabling improved visual attention strategies for deaf and hard of hearing students.
Proceedings of the 11th International ACM SIGACCESS Conference on Computers and Accessibility, 2009

2008
Hearing Impairments.
Proceedings of the Web Accessibility - A Foundation for Research, 2008

Optimal delay for media-on-demand with pre-loading and pre-buffering.
Theor. Comput. Sci., 2008

Access and Empowerment: Commentary on "Computers and People with Disabilities".
TACCESS, 2008

A general buffer scheme for the windows scheduling problem.
ACM Journal of Experimental Algorithmics, 2008

Scheduling Techniques for Media-on-Demand.
Algorithmica, 2008

Webanywhere: enabling a screen reading interface for the web on any computer.
Proceedings of the 17th International Conference on World Wide Web, 2008

WebAnywhere: a screen reader on-the-go.
Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, 2008

WebAnywhere: a screen reading interface for the web on any computer.
Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, 2008

The game of life: an outreach model for high school students with disabilities.
Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008

Computer science for everyone: making your computing classes and departments accessible.
Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008

Inspiring blind high school students to pursue computer science with instant messaging chatbots.
Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008

ASL-STEM Forum: A Bottom-Up Approach to Enabling American Sign Language to Grow in STEM Fields.
Proceedings of the Second International Conference on Weblogs and Social Media, 2008

Addressing Performance and Security in a Screen Reading Web Application That Enables Accessibility Anywhere.
Proceedings of the Eighth International Conference on Web Engineering, 2008

Activity detection in conversational sign language video for mobile telecommunication.
Proceedings of the 8th IEEE International Conference on Automatic Face and Gesture Recognition (FG 2008), 2008

Hunting for headings: sighted labeling vs. automatic classification of headings.
Proceedings of the 10th International ACM SIGACCESS Conference on Computers and Accessibility, 2008

2007
MultiStage: A MINMAX Bit Allocation Algorithm for Video Coders.
IEEE Trans. Circuits Syst. Video Techn., 2007

Windows scheduling as a restricted version of bin packing.
ACM Trans. Algorithms, 2007

Increasing the Participation of People with Disabilities in Computing Fields.
IEEE Computer, 2007

A web accessibility report card for top international university web sites.
Proceedings of the 2007 International Cross-Disciplinary Conference on Web Accessibility (W4A 2007), 2007

Accessmonkey: a collaborative scripting framework for web users and developers.
Proceedings of the 2007 International Cross-Disciplinary Conference on Web Accessibility (W4A 2007), 2007

Distortion-Complexity Optimization of the H.264/MPEG-4 AVC Encoder using the GBFOS Algorithm.
Proceedings of the 2007 Data Compression Conference (DCC 2007), 2007

Automated tactile graphics translation: in the field.
Proceedings of the 9th International ACM SIGACCESS Conference on Computers and Accessibility, 2007

Variable frame rate for low power mobile sign language communication.
Proceedings of the 9th International ACM SIGACCESS Conference on Computers and Accessibility, 2007

WebinSitu: a comparative analysis of blind and sighted browsing behavior.
Proceedings of the 9th International ACM SIGACCESS Conference on Computers and Accessibility, 2007

Algorithms to Take Advantage of Hardware Prefetching.
Proceedings of the Nine Workshop on Algorithm Engineering and Experiments, 2007

2006
Algorithms for dynamic multicast key distribution.
ACM Journal of Experimental Algorithmics, 2006

Off-line and on-line guaranteed start-up delay for Media-on-Demand with stream merging.
J. Discrete Algorithms, 2006

Semi-matchings for bipartite graphs and load balancing.
J. Algorithms, 2006

Optimal Delay for Media-on-Demand with Pre-loading and Pre-buffering.
Proceedings of the Structural Information and Communication Complexity, 2006

Agreement/Disagreement Classification: Exploiting Unlabeled Data using Contrast Classifiers.
Proceedings of the Human Language Technology Conference of the North American Chapter of the Association of Computational Linguistics, 2006

Near-Lossless Compression of Hyperspectral Images.
Proceedings of the International Conference on Image Processing, 2006

MobileASL: : intelligibility of sign language video as constrained by mobile phone technology.
Proceedings of the 8th International ACM SIGACCESS Conference on Computers and Accessibility, 2006

WebInSight: : making web images accessible.
Proceedings of the 8th International ACM SIGACCESS Conference on Computers and Accessibility, 2006

2005
Unequal loss protection for H.263 compressed video.
IEEE Trans. Circuits Syst. Video Techn., 2005

A General Buffer Scheme for the Windows Scheduling Problem.
Proceedings of the Experimental and Efficient Algorithms, 4th InternationalWorkshop, 2005

Windows scheduling of arbitrary length jobs on parallel machines.
Proceedings of the SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2005

Optimal adaptation strategies for Golomb codes on correlated sources.
Proceedings of the 2005 International Conference on Image Processing, 2005

MINMAX Bit Allocation for Quantization-Based Video Coders.
Proceedings of the 2005 Data Compression Conference (DCC 2005), 2005

Stream merging for live continuous broadcast with time-shifting.
Proceedings of the 2nd International Conference on Broadband Networks (BROADNETS 2005), 2005

Automating tactile graphics translation.
Proceedings of the ACM SIGACCESS Conference on Computers and Accessibility, 2005

2004
Efficient Algorithms for Optimal Stream Merging for Media-on-Demand.
SIAM J. Comput., 2004

Comparison of stream merging algorithms for media-on-demand.
Multimedia Syst., 2004

Windows scheduling as a restricted version of Bin Packing.
Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2004

Group Testing for Video Compression.
Proceedings of the 2004 Data Compression Conference (DCC 2004), 2004

Global MINMAX Interframe Bit Allocation for Embedded Video Coding.
Proceedings of the 2004 Data Compression Conference (DCC 2004), 2004

Reduced Complexity Wavelet-Based Predictive Coding of Hyperspectral Images for FPGA Implementation.
Proceedings of the 2004 Data Compression Conference (DCC 2004), 2004

2003
Group testing for image compression using alternative transforms.
Sig. Proc.: Image Comm., 2003

Windows Scheduling Problems for Broadcast Systems.
SIAM J. Comput., 2003

Competitive on-line stream merging algorithms for media-on-demand.
J. Algorithms, 2003

Semi-matchings for Bipartite Graphs and Load Balancing.
Proceedings of the Algorithms and Data Structures, 8th International Workshop, 2003

Off-line and on-line guaranteed start-up delay for media-on-demand with stream merging.
Proceedings of the SPAA 2003: Proceedings of the Fifteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2003

Scheduling techniques for media-on-demand.
Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2003

Algorithms for dynamic multicast key distribution trees.
Proceedings of the Twenty-Second ACM Symposium on Principles of Distributed Computing, 2003

Unequal Loss Protection for H.263 Compressed Video.
Proceedings of the 2003 Data Compression Conference (DCC 2003), 2003

Enhanced Sequitur for Finding Structure in Data.
Proceedings of the 2003 Data Compression Conference (DCC 2003), 2003

2002
Group testing for image compression.
IEEE Trans. Image Processing, 2002

Thresholds and optimal binary comparison search trees.
J. Algorithms, 2002

Windows scheduling problems for broadcast systems.
Proceedings of the Thirteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2002

Extended Golomb Codes for Binary Markov Sources.
Proceedings of the 2002 Data Compression Conference (DCC 2002), 2002

2001
Competitive on-line stream merging algorithms for media-on-demand.
Proceedings of the Twelfth Annual Symposium on Discrete Algorithms, 2001

Thresholds and Optimal Binary Comparison Search Trees.
Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001

Group Testing for Wavelet Packet Image Compression.
Proceedings of the Data Compression Conference, 2001

2000
Optimizing static calendar queues.
ACM Trans. Model. Comput. Simul., 2000

Fast nearest neighbor search of entropy-constrained vector quantization.
IEEE Trans. Image Processing, 2000

Unequal loss protection: graceful degradation of image quality over packet erasure channels through forward error correction.
IEEE Journal on Selected Areas in Communications, 2000

Approximately Optimal Assignment for Unequal Loss Protection.
Proceedings of the 2000 International Conference on Image Processing, 2000

Group Testing for Image Compression.
Proceedings of the Data Compression Conference, 2000

A Comparison of Cache Aware and Cache Oblivious Static Search Trees Using Program Instrumentation.
Proceedings of the Experimental Algorithmics, 2000

1999
Progressive transmission of images using MAP detection over channels with memory.
IEEE Trans. Image Processing, 1999

The Influence of Caches on the Performance of Sorting.
J. Algorithms, 1999

Multiresolution banded refinement to accelerate surface reconstruction from polygons.
Comput. Geom., 1999

Cache Performance Analysis of Traversals and Random Accesses.
Proceedings of the Tenth Annual ACM-SIAM Symposium on Discrete Algorithms, 1999

Generalized Multiple Description Coding Through Unequal Loss Protection.
Proceedings of the 1999 International Conference on Image Processing, 1999

Nearest neighbor search for data compression.
Proceedings of the Data Structures, 1999

Graceful Degradation over Packet Erasure Channels through Forward Error Correction.
Proceedings of the Data Compression Conference, 1999

1998
Sorting by Parallel Insertion on a One-Dimensional Subbus Array.
IEEE Trans. Computers, 1998

Counting Protocols for Reliable End-to-End Transmission.
J. Comput. Syst. Sci., 1998

Recovering from Bit Errors in Scalar-Quantized Discrete Wavelet Transformed Images.
Proceedings of the 1998 IEEE International Conference on Image Processing, 1998

Multiresolution Banded Refinement to Accelerate Surface Reconstruction from Polygons.
Proceedings of the Fourteenth Annual Symposium on Computational Geometry, 1998

1997
The Influence of Caches on the Performance of Sorting.
Proceedings of the Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, 1997

1996
Codebook organization to enhance maximum a posteriori detection of progressive transmission of vector quantized images over noisy channels.
IEEE Trans. Image Processing, 1996

Complexity of Sub-Bus Mesh Computations.
SIAM J. Comput., 1996

The Influence of Caches on the Performance of Heaps.
ACM Journal of Experimental Algorithmics, 1996

Fast nearest neighbor search for ECVQ and other modified distortion measures.
Proceedings of the Proceedings 1996 International Conference on Image Processing, 1996

Image transmission with error concealment on a lossy packet network.
Proceedings of the 1996 IEEE International Conference on Acoustics, 1996

Model-based restoration of document images for OCR.
Proceedings of the Document Recognition III, San Jose, CA, USA, January 28, 1996, 1996

1995
Interactive Proof Systems with Polynomially Bounded Strategies.
J. Comput. Syst. Sci., 1995

Recoverable Sequence Transmission Protocols.
J. ACM, 1995

Optimal One-Way Sorting on a One-Dimensional Sub-Bus Array.
Proceedings of the Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, 1995

1994
Index assignment for progressive transmission of full-search vector quantization.
IEEE Trans. Image Processing, 1994

Theory and Practice of Vector Quantizers Trained on Small Training Sets.
IEEE Trans. Pattern Anal. Mach. Intell., 1994

Improving Generalization with Active Learning.
Machine Learning, 1994

Optimizing Static Calendar Queues
Proceedings of the 35th Annual Symposium on Foundations of Computer Science, 1994

1993
Vector Prefix Addition on Sub-Bus Mesh Computers.
SPAA, 1993

1992
The Complexity of Computing Symmetric Functions Using Threshold Circuits.
Theor. Comput. Sci., 1992

Interactive Proof Systems with Polynomially Bounded Strategies.
Proceedings of the Seventh Annual Structure in Complexity Theory Conference, 1992

1991
Safety and Liveness of omega-Context-Free Languages.
Inf. Process. Lett., 1991

1990
Tight Bounds for Weakly Bounded Protocols.
Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, 1990

1989
Polynomial Space Counting Problems.
SIAM J. Comput., 1989

Computer Accessibility For Federal Workers With Disabilities: It's The Law.
Commun. ACM, 1989

Training Connectionist Networks with Queries and Selective Sampling.
Proceedings of the Advances in Neural Information Processing Systems 2, 1989

1988
Probabilistic Game Automata.
J. Comput. Syst. Sci., 1988

1987
Estimating the multiplicities of conflicts to speed their resolution in multiple access channels.
J. ACM, 1987

1986
The Logic of Distributed Protocols.
Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986

Probabilistic Game Automata.
Proceedings of the Structure in Complexity Theory, 1986

1985
Solitaire Automata.
J. Comput. Syst. Sci., 1985

1984
Concurrency Control In a Dynamic Search Structure.
ACM Trans. Database Syst., 1984

Alternating Pushdown and Stack Automata.
SIAM J. Comput., 1984

Alternation Bounded Auxiliary Pushdown Automata
Information and Control, 1984

A Large Font Virtual Terminal Interface, A Software Prothesis for Visually Impaired.
Commun. ACM, 1984

Networks for Deaf-Blind People.
Proceedings of the COMPCON'84, Digest of Papers, Twenty-Eighth IEEE Computer Society International Conference, San Francisco, California, USA, February 27, 1984

1983
Binary Search in a Multiprocessing Environment.
IEEE Trans. Computers, 1983

Estimating the Multiplicities of Conflicts in Multiple Access Channels (Preliminary Report)
Proceedings of the 24th Annual Symposium on Foundations of Computer Science, 1983

1982
Efficient Parallel Algorithms for Linear Recurrence Computation.
Inf. Process. Lett., 1982

Concurrency Control in a Dynamic Search Structure.
Proceedings of the ACM Symposium on Principles of Database Systems, 1982

1980
The Complexity of Problems in Systems of Communicating Sequential Processes.
J. Comput. Syst. Sci., 1980

Parallel Prefix Computation.
J. ACM, 1980

Testing the Universal Instance Assumption.
Inf. Process. Lett., 1980

1979
Propositional Dynamic Logic of Regular Programs.
J. Comput. Syst. Sci., 1979

The Complexity of Problems in Systems of Communicating Sequential Processes (Extended Abstract)
Proceedings of the 11h Annual ACM Symposium on Theory of Computing, April 30, 1979

1978
Alternating Pushdown Automata (Preliminary Report)
Proceedings of the 19th Annual Symposium on Foundations of Computer Science, 1978

1977
Application of Model Theoretic Games to Discrete Linear Orders and Finite Automata
Information and Control, April, 1977

The Computational Complexity of Provability in Systems of Modal Propositional Logic.
SIAM J. Comput., 1977

Propositional Modal Logic of Programs (Extended Abstract)
Proceedings of the 9th Annual ACM Symposium on Theory of Computing, 1977

1976
Relativization of Questions About Log Space Computability.
Mathematical Systems Theory, 1976

1975
A Comparison of Polynomial Time Reducibilities.
Theor. Comput. Sci., 1975

Space Bounds for Processing Contentless Inputs.
J. Comput. Syst. Sci., 1975

On the Structure of Polynomial Time Reducibility.
J. ACM, 1975

1974
Comparisons of Polynomial-Time Reducibilities
Proceedings of the 6th Annual ACM Symposium on Theory of Computing, April 30, 1974

1973
Mitotic Recursively Enumerable Sets.
J. Symb. Log., 1973

Polynomial Time Reducibility
Proceedings of the 5th Annual ACM Symposium on Theory of Computing, April 30, 1973


  Loading...