Richard E. Ladner
According to our database^{1},
Richard E. Ladner
authored at least 215 papers
between 1973 and 2018.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 1995, "For seminal and significant contributions in theoretical computer science research.".
IEEE Fellow
IEEE Fellow 2009, "For contributions to computational complexity, algorithms, data compression and accessible computing".
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at zbmath.org

at cra.org

at id.loc.gov

at dl.acm.org
On csauthors.net:
Bibliography
2018
An interview with access computing.
SIGCSE Bulletin, 2018
Session details: Broadening participation.
Commun. ACM, 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
Blocks4All: Overcoming Accessibility Barriers to Blocks Programming for Children with Visual Impairments.
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018
A Large Inclusive Study of Human Listening Rates.
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018
Session details: Keynote.
Proceedings of the 20th International ACM SIGACCESS Conference on Computers and Accessibility, 2018
Designing an Animated Character System for American Sign Language.
Proceedings of the 20th International ACM SIGACCESS Conference on Computers and Accessibility, 2018
2017
Design and RealWorld Evaluation of EyesFree Yoga: An Exergame for Blind and LowVision Exercise.
TACCESS, 2017
AccessCSforall: making computer science accessible to K12 students in the United States.
ACM SIGACCESS, 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 BlocksBased 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 RealTime 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 HardofHearing 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 UserPowered 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 LowVision.
Proceedings of the 17th International ACM SIGACCESS Conference on Computers & Accessibility, 2015
2014
My path to becoming an accessibility researcher.
ACM SIGACCESS, 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 realtime 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: eyesfree 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 braillebased educational smartphone game for children.
Proceedings of the 15th International ACM SIGACCESS Conference on Computers and Accessibility, 2013
2012
Nearlossless and lossy compression of imaging spectrometer data: comparison of information extraction performance.
Signal, Image and Video Processing, 2012
Windows scheduling of arbitrarylength 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 nonvisual calculator using natural prefixfree 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 multitouch 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 ASLSTEM forum.
Proceedings of the 7th International Symposium on Wikis and Open Collaboration, 2011
Access overlays: improving nonvisual 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 deafblind public transit riders.
Proceedings of the International Conference on Human Factors in Computing Systems, 2011
Evaluating quality and comprehension of realtime sign language video on mobile phones.
Proceedings of the 13th International ACM SIGACCESS Conference on Computers and Accessibility, 2011
The design of humanpowered 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
NTID International Symposium on Technology and Deaf Education: a review.
ACM SIGACCESS, 2010
WebAnywhere: experiences with a new delivery model for access technology.
Proceedings of the International CrossDisciplinary Conference on Web Accessibility, 2010
Aslstem forum: enabling sign language to grow through online collaboration.
Proceedings of the 28th International Conference on Human Factors in Computing Systems, 2010
A webbased 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
Vbraille: haptic braille perception using a touchscreen 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 realtime 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/MPEG4 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 mediaondemand with preloading and prebuffering.
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 MediaonDemand.
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 onthego.
Proceedings of the International CrossDisciplinary Conference on Web Accessibility, 2008
WebAnywhere: a screen reading interface for the web on any computer.
Proceedings of the International CrossDisciplinary 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
ASLSTEM Forum: A BottomUp 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 CrossDisciplinary Conference on Web Accessibility (W4A 2007), 2007
Accessmonkey: a collaborative scripting framework for web users and developers.
Proceedings of the 2007 International CrossDisciplinary Conference on Web Accessibility (W4A 2007), 2007
DistortionComplexity Optimization of the H.264/MPEG4 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
An alliance to increase the participation of individuals with disabilities in computing careers.
ACM SIGACCESS, 2006
Algorithms for dynamic multicast key distribution.
ACM Journal of Experimental Algorithmics, 2006
Offline and online guaranteed startup delay for MediaonDemand with stream merging.
J. Discrete Algorithms, 2006
Semimatchings for bipartite graphs and load balancing.
J. Algorithms, 2006
Optimal Delay for MediaonDemand with Preloading and Prebuffering.
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
NearLossless 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 QuantizationBased Video Coders.
Proceedings of the 2005 Data Compression Conference (DCC 2005), 2005
Stream merging for live continuous broadcast with timeshifting.
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 MediaonDemand.
SIAM J. Comput., 2004
Comparison of stream merging algorithms for mediaondemand.
Multimedia Syst., 2004
Windows scheduling as a restricted version of Bin Packing.
Proceedings of the Fifteenth Annual ACMSIAM 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 WaveletBased 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 online stream merging algorithms for mediaondemand.
J. Algorithms, 2003
Semimatchings for Bipartite Graphs and Load Balancing.
Proceedings of the Algorithms and Data Structures, 8th International Workshop, 2003
Offline and online guaranteed startup delay for mediaondemand 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 mediaondemand.
Proceedings of the Fourteenth Annual ACMSIAM Symposium on Discrete Algorithms, 2003
Algorithms for dynamic multicast key distribution trees.
Proceedings of the TwentySecond 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 ACMSIAM Symposium on Discrete Algorithms, 2002
Extended Golomb Codes for Binary Markov Sources.
Proceedings of the 2002 Data Compression Conference (DCC 2002), 2002
2001
Competitive online stream merging algorithms for mediaondemand.
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 entropyconstrained 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 ACMSIAM 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 OneDimensional Subbus Array.
IEEE Trans. Computers, 1998
Counting Protocols for Reliable EndtoEnd Transmission.
J. Comput. Syst. Sci., 1998
Recovering from Bit Errors in ScalarQuantized 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 ACMSIAM 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 SubBus 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
Modelbased 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 OneWay Sorting on a OneDimensional SubBus Array.
Proceedings of the Sixth Annual ACMSIAM Symposium on Discrete Algorithms, 1995
1994
Index assignment for progressive transmission of fullsearch 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 SubBus 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 omegaContextFree 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 DeafBlind People.
Proceedings of the COMPCON'84, Digest of Papers, TwentyEighth 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 PolynomialTime 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