Contact
CSE 476
206-543-9347
ladnercs.washington.edu
Areas of interest:
Access technology, algorithms, complexity
Google Scholar Page
DBLP Page
Semantic Scholar Page
Linkedin Page
Accessibility and Disability in PreK-12 CS: Results from a Landscape Survey of Teachers
Proceedings of the 2024 on RESPECT Annual Conference, Association for Computing Machinery, 2024.
, Accessible to Whom? Bringing Accessibility to Blocks
Proceedings of the 55th ACM Technical Symposium on Computer Science Education, SIGCSE 2024, Volume 1, Portland, OR, USA, March 20-23, 2024, ACM, 2024.
, Understanding and Enhancing The Role of Speechreading in Online d/DHH Communication Accessibility
Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, Association for Computing Machinery, 2023.
, ASL Citizen: A Community-Sourced Dataset for Advancing Isolated Sign Language Recognition
Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023, 2023.
, Program-L: Online Help Seeking Behaviors by Blind and Low Vision Programmers
2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), 2022.
, The FATE Landscape of Sign Language AI Datasets: An Interdisciplinary Perspective
ACM Trans. Access. Comput. 14, 2021.
, Broadening Participation by Teaching Accessibility
Commun. ACM 64, 2021.
, Expanding a Large Inclusive Study of Human Listening Rates
ACM Trans. Access. Comput. 14, 2021.
, Why is Data on Disability so Hard to Collect and Understand?
2020 Research on Equity and Sustained Participation in Engineering, Computing, and Technology (RESPECT), 2020.
, Computer Science Principles for Teachers of Deaf Students
2020 Research on Equity and Sustained Participation in Engineering, Computing, and Technology (RESPECT), 2020.
, Position: Accessible Block-Based Programming: Why and How
2019 IEEE Blocks and Beyond Workshop (B B), 2019.
, GestureCalc: An Eyes-Free Calculator for Touch Screens
The 21st International ACM SIGACCESS Conference on Computers and Accessibility, ACM, 2019.
, Understanding the Impact of TVIs on Technology Use and Selection by Children with Visual Impairments
Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, ACM, 2019.
, Educational Experiences of Blind Programmers
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, ACM, 2019.
, Computer Science Principles for Teachers of Blind and Visually Impaired Students
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, ACM, 2019.
, Designing an Animated Character System for American Sign Language
Proceedings of the 20th International ACM SIGACCESS Conference on Computers and Accessibility, ACM, 2018.
, Who Teaches Accessibility?: A Survey of U.S. Computing Faculty
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, ACM, 2018.
, A Large Inclusive Study of Human Listening Rates
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, ACM, 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, ACM, 2018.
, Making Your Presentation Accessible
interactions 24, 2017.
, Design and Real-World Evaluation of Eyes-Free Yoga: An Exergame for Blind and Low-Vision Exercise
ACM Transactions on Accessible Computing (TACCESS) 9, 2017.
, Lessons learned: Engaging students with disabilities on a national scale
Research on Equity and Sustained Participation in Engineering, Computing, and Technology (RESPECT), 2016, IEEE, 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, ACM, 2016.
, Tactile Graphics with a Voice
ACM Trans. Access. Comput. 8, 2016.
, AccessComputing Promotes Teaching Accessibility
ACM Inroads 7, 2016.
, "For All" in "Computer Science for All"
Commun. ACM 59, 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, ACM, 2016.
, Increasing the Participation of Individuals with Disabilities in Computing
Commun. ACM 58, 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 &\#38; Accessibility, ACM, 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, ACM, 2015.
, Design for User Empowerment
interactions 22, 2015.
, Evaluating Intelligibility and Battery Drain of Mobile Sign Language Video Transmitted at Low Frame Rates and Bit Rates
ACM Trans. Access. Comput. 7, 2015.
, A User-Powered American Sign Language Dictionary
Proceedings of the 18th ACM Conference on Computer Supported Cooperative Work &\#38; Social Computing, ACM, 2015.
, Work-based learning experiences help students with disabilities transition to careers: A case study of University of Washington projects
Work: A Journal of Prevention, Assessment, and Rehabilitation 48, 2014.
, The Accessibility of Mobile Health Sensors for Blind Users
Journal on Technology and Persons with Disabilities 2, 2014.
, The impact of the United Nations convention on the rights of persons with disabilities
Commun. ACM 57, 2014.
, BraillePlay: educational smartphone games for blind children
Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibility, ASSETS '14, Rochester, NY, USA, October 20-22, 2014, 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, ASSETS '14, Rochester, NY, USA, October 20-22, 2014, 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, ASSETS '14, Rochester, NY, USA, October 20-22, 2014, 2014.
, Fast algorithms for designing nearly optimal lookup tables for complexity control of the H.264 encoder
Signal, Image and Video Processing 7, 2013.
, DigiTaps: eyes-free number entry on touchscreens with minimal audio feedback
The 26th Annual ACM Symposium on User Interface Software and Technology, UIST'13, St. Andrews, United Kingdom, October 8-11, 2013, 2013.
, Bilingual Voice Conversion by Weighted Frequency Warping Based on Formant Space
Text, Speech, and Dialogue - 16th International Conference, TSD 2013, Pilsen, Czech Republic, September 1-5, 2013. Proceedings, 2013.
, The need to balance innovation and implementation in broadening participation
Commun. ACM 55, 2012.
, Windows scheduling of arbitrary-length jobs on multiple machines
J. Scheduling 15, 2012.
, PassChords: secure multi-touch authentication for blind people
The 14th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS '12, Boulder, CO, USA, October 22 - 24, 2012, 2012.
, Input finger detection for nonvisual touch screen text entry in Perkinput
Proceedings of the Graphics Interface 2012 Conference, GI '12, Toronto, ON, Canada, May 28-30, 2012, 2012.
, Communication Technologies for People With Sensory Disabilities
Proceedings of the IEEE 100, 2012.
, Near-lossless and lossy compression of imaging spectrometer data: comparison of information extraction performance
Signal, Image and Video Processing 6, 2012.
, Enhancing Independence and Safety for Blind and Deaf-Blind Public Transit Riders
ACM Conference on Human Factors in Computing Systems (CHI), 2011.
, Improving Compressed Video Sign Language Conversations in the Presence of Data Loss
Data Compression Conference 2011, 2011.
, The design of human-powered access technology
The 13th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS '11, Dundee, Scotland, UK, October 24-26, 2011, 2011.
, Usable gestures for blind people: understanding preference and performance
29th International Conference on Human Factors in Computing Systems, 2011.
, Data trends on minorities and people with disabilities in computing
Commun. ACM 54, 2011.
, What the Disability Community Can Teach Us About Interactive Crowd Sourcing
Interactions 18:4, 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, Santa Barbara, CA, USA, October 16-19, 2011, 2011.
, Evaluating quality and comprehension of real-time sign language video on mobile phones
The 13th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS '11, Dundee, Scotland, UK, October 24-26, 2011, 2011.
, Asl-stem forum: enabling sign language to grow through online collaboration
Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Atlanta, Georgia, USA, April 10-15, 2010, 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, ASSETS 2010, Orlando, FL, USA, October 25 - 27, 2010, 2010.
, Accessible Technology and Models of Disabiliity
Design and Use of Assistive Technology: Social, Technical, Ethical, and Economic, 2010.
, ClassInFocus: Enabling Improved Visual Attention Strategies for Deaf and Hard of Hearing Students
ACM SIGACCESS Conference on Assistive Technologies, 2009.
, Activity Analysis Enabling Real-Time Video Communication on Mobile Phones for Deaf Users
Symposium on User Interface Software and Technology, 2009.
, Persons With Disabilities: Broadening Participation and Accessibility Research
Computing Research News, 2009.
, The Summer Academy for Advancing Deaf and Hard of Hearing in Computing
SIGCSE Technical Symposium on Computer Science Education, 2009.
, H.264/MPEG-4 AVC Encoder Parameter Selection Algorithms for Complexity Distortion Tradeoff
Data Compression Conference, 2009.
, ClassInFocus: Enabling Improved Visual Attention Strategies for Deaf and Hard of Hearing Students
Eleventh International ACM SIGACCESS Conference on Computers and Accessibility, 2009.
, Activity Analysis Enabling Real-time Video Communication on Mobile Phones for Deaf Users
ACM Symposium on User Interface Software and Technology, 2009.
, Freedom to Roam: Mobile Device Opportunities and Challenges for People with Visual and Motor Impairments
ACM SIGACCESS Conference on Computers and Accessibility, 2009.
, Broadening participation - Opening Remarks
Communications of the ACM 52:12, 2009.
, Hunting for Headings: Sighted Labeling vs. Automatic Classification of Headings
ACM SIGACCESS Conference on Assistive Technologies, 2008.
, WebAnywhere - A Screen Reader On-the-Go
Dub Retreat, 2008.
, ASL-STEM Forum: A Bottom-Up Approach to Enabling American Sign Language to Grow in STEM Fields
International Conference on Weblogs and Social Media, 2008.
, Scheduling Techniques for Media-on-Demand.
Algorithmica 52, 2008.
, Scheduling Techniques for Media-on-Demand
Algorithmica 52, 2008.
, Optimal Delay for Media-on-Demand with Pre-Loading and Pre-Buffering
Theoretical Computer Science 399, 2008.
, The game of life: an outreach model for high school students with disabilities
39th ACM Technical Symposium on Computer Science Education, 2008.
, WebAnywhere: a screen reader on-the-go
International Cross-Disciplinary Conference on Web Accessibility, 2008.
, MobileASL: Intelligibility of Sign Language Video as Constrained by Mobile Phone Technology
Disability and Rehabilitation: Assistive Technologies 3, 2008.
, WebAnywhere: A Screen Reader On-the-go
International Cross-Disciplinary Conference on Web Accessibility, 2008.
, Webanywhere: enabling a screen reading interface for the web on any computer
17th International World Wide Web Conference, 2008.
, Activity detection in conversational sign language video for mobile telecommunication
8th International Conference on Face and Gesture Recognition, 2008.
, Addressing Performance and Security in a Screen ReadingWeb Application that Enables Accessibility Anywhere. International Conference on Web Engineering
International Conference on Web Engineering, 2008.
, Access and Empowerment: Commentary on "Computers and People with Disabilities"
ACM Transactions on Acessible Computing 1:2:11, 2008.
, Computer science for everyone: making your computing classes and departments accessible
39th ACM Technical Symposium on Computer Science Education, 2008.
, General Buffer Scheme for the Windows Scheduling Problem
ACM Journal on Experimental Algorithmics 13:6, 2008.
, Hunting for Headings: Sighted Labeling vs. Automatic Classification of Headings
Tenth International ACM SIGACCESS Conference on Computers and Accessibility, 2008.
, Hearing Impairments
Web Accessibility: A Foundation for Research, 2008.
, Inspiring Blind High Schoolers to Pursue Computer Science with Instant Messenging Chatbots
39th ACM Technical Symposium on Computer Science Education, 2008.
, Variable Frame Rate for Low Power Mobile Sign Language Communication
ACM SIGACCESS Conference on Assistive Technologies, 2007.
, Reaching students with disabilities
, Computer Science Teachers Association, (CSTA) Voice, 2007.
Increasing the Participation of People with Disabilities in Computing Fields
Computer 40:94-97:5, 2007.
, Variable Frame Rate for Low Power Mobile Sign Language Communication
Variable Frame Rate for Low Power Mobile Sign Language Communication, 2007.
, WebinSitu: A Comparative Analysis of Blind and Sighted Browsing Behavior
Ninth International ACM SIGACCESS Conference on Computers and Accessibility, 2007.
, Windows Scheduling as a Restricted Version of Bin Packing
ACM Transactions on Algorithms 3:3, 2007.
, Equal access: Making your department accessible to students with disabilities
The Journal of Computing Sciences in Colleges, 2007.
, Distortion-Complexity Optimization of the H.264/MPEG-4 AVC Encoder using the GBFOS Algorithm
Data Compression Conference, 2007.
, Algorithms to Take Advantage of Hardware Prefetching
Workshop on Algorithm Engineering and Experiments, 2007.
, Accessmonkey: A Collaborative Scripting Framework for Web Users and Developers
International Cross-Disciplinary Conference on Web Accessibility, 2007.
, Automated Tactile Graphics Translation: In the Field
Ninth International ACM SIGACCESS Conference on Computers and Accessibility, 2007.
, A Web Accessibility Report Card for Top International University Web Sites
International Cross-Disciplinary Conference on Web Accessibility, 2007.
, Broadening Participation of People with Disabilities in Computing Fields
37th Frontiers in Education Conference, 2007.
, Riskin MultiStage: A MINMAX Bit Allocation Algorithm for Video
IEEE Transactions on Circuits and Systems for Video Technology 17:1, 2007.
, MobileASL: Intelligibility of Sign Language Video as Constrained by Mobile Phone Technology
ACM SIGACCESS Conference on Assistive Technologies, 2006.
, Automated Classification of Protein Crystallization Images Using Support Vector Machines with Scale-Invariant Texture and Gabor Features.
Acta Crystallographica D, 2006.
, Predictive Coding of Hyperspectral Images
Hyperspectral Data Compression, Business Media, Inc., 2006.
, Semi-Matchings for Bipartite Graphs and Load Balancing.
Journal of Algorithms 59:1, 2006.
, The Game of Life Workshop - Reaching Out To High School Students With Disabilities
ASEE Annual Conference and Exposition, 2006.
, WebInSight: Making Web Images Accessible
The Eighth International ACM SIGACCESS Conference on Computers and Accessibility, 2006.
, Practical Low Delay Broadcast of Compressed Variable Bit Rate Movies
Data Compression Conference, 2006.
, Predicting Intelligibility of Compressed American Sign Language Video With Objective Quality Metrics
International Workshop on Video Processing and Quality Metrics for Consumer Electronics, 2006.
, Optimal Delay for Media-on-Demand with Pre-loading and Pre-buffering
13th Colloquium on Structural Information and Communication Complexity, 2006.
, MobileASL: Intelligibility of Sign Language Video as Constrained by Mobile Phone Technology
The Eighth International ACM SIGACCESS Conference on Computers and Accessibility, 2006.
, Agreement/Disagreement Classification: Exploiting Unlabeled Data using Contrast Classifiers
Proceedings of the Human Language Technology Conference, 2006.
, Near-Lossless Compression of Hyperspectral Images
International Conference on Image Processing, 2006.
, Off-line and On-line Guaranteed Start-up Delay for Media-on-Demand with Stream Merging
Journal of Discrete Algorithms 4:1, 2006.
, Stream Merging for Live Continuous Broadcast with Time-Shifting
2nd International Conference on Broadband Networks, 2005.
, Optimal Adaptation Strategies for Golomb Codes on Correlated Sources
IEEE International Conference on Image Processing 1, 2005.
, Window Scheduling of Arbitrary Length Jobs on Parallel Machines
Proceedings of the 17th Annual ACM Symposium on Parallel Algorithms, 2005.
, Unequal Loss Protection for H.263 Compressed Video
Transactions on Circuits and Systems for Video Technology 15:5, 2005.
, Cache Efficient Simple Dynamic Progamming
2005 International Conference on the Analysis of Algorithms, 2005.
, MINMAX Bit Allocation for Quantization-Based Video Coders
Data Compression Conference, 2005.
, A General Buffer Scheme for the Windows Scheduling Problem
4th International Workshop on Efficient and Experimental Algorithms, 2005.
, Automating Tactile Graphics Translation
The Seventh International ACM SIGACCESS Conference on Computers and Accessibility, 2005.
, Reduced Complexity Wavelet-Based Predictive Coding of Hyperspectral Images for FPGA Implementation
Data Compression Conference, 2004.
, Windows Scheduling as a Restricted Version of Bin Packing
Fifteenth Annual ACM-SIAM Symposium on Discrete Algorthims, 2004.
, Group Testing for Video Compression
Data Compression Conference, 2004.
, Global MINMAX Interframe Bit Allocation for Embedded Video Coding
Data Compression Conference, 2004.
, Efficient Algorithms for Optimal Stream Merging for Media-on-Demand
SIAM Journal on Computing 33:5, 2004.
, Comparison of Stream Merging Algorithms for Media-on-Demand
Multimedia Systems Journal 9, 2004.
, Unequal Loss Protection for H.263 Compressed Video
IEEE Data Compression Conference, 2003.
, Windows Scheduling Problems for Broadcast Systems
SIAM Journal on Computing 32:4, 2003.
, Unequal Loss Protection for H.263 Compressed Video
IEEE Data Compression Conference, 2003.
, Semi-Matchings for Bipartite Graphs and Load Balancing
Workshop on Algorithms and Data Structures, 2003.
, Algorithms for Dynamic Multicast Key Distribution Trees
Twenty-Second ACM Symposium on Principles of Distributed Computing, 2003.
, Off-line and On-line Guaranteed Start-up Delay for Media-on-Demand with Stream Merging
Fifteenth ACM Symposium on Parallelism in Algorithms and Architectures, 2003.
, Group Testing for Image Compression Using Alternative Transforms
Signal Processing: Image Communication 18, 2003.
, Scheduling Techniques for Media-on-Demand
Thirteenth Annual ACM-SIAM Symposium on Discrete Algorthims, 2003.
, Protecting regions of interest in medical images in a lossy packet network
Medical Imaging 2002: PACS and Integrated Medical Information Systems: Design and Evaluation 4685, 2002.
, Thresholds and Optimal Binary Comparison Search Trees.
Journal of Algorithms 44, 2002.
, Windows Scheduling Problems for Broadcast Systems
Thirteenth Annual ACM-SIAM Symposium on Discrete Algorthims, 2002.
, Nearest Neighbor Search for Data Compression
Near Neighbor Searches, and Methodology: Fifth and Sixth DIMACS Implementation Challenges 59, 2002.
, Group Testing for Image Compression
IEEE Transactions on Image Processing 11:88, 2002.
, A Comparison of Cache Aware and Cache Oblivious Static Search Trees using Program Instrumentation
From Algorithm Design to Robust and Efficient Software, 2002.
, Comparison of Stream Merging Algorithms for Media-on-Demand
Multimedia Computing and Networking, 2002.
, Competitive On-Line Stream Merging Algorithms for Media-on-Demand
Journal of Algorithms 48:1, 2002.
, Thresholds and Optimal Binary Comparison Search Trees
Foundations of Software Technology and Theoretical Computer Science 21st Conference, 2001.
, Wavelet Compression of MODIS Satellite Images
NASA Earth Science Technology Conference, 2001.
, Group Testing for Wavelet Packet Image Compression
IEEE Data Compression Conference, 2001.
, Group Testing for Block Transform Image Compression
Thirty-Fifth Annual Asilomar Conference on Signals, Systems, and Computers, 2001.
, Approximately Optimal Assignment for Unequal Loss Protection
Proceedings 2000 International Conference on Image Processing:367-370, 2001.
, Competitive On-Line Stream Merging Algorithms for Media-on-Demand
Twelfth Annual ACM-SIAM Symposium on Discrete Algorithms, 2001.
, Unequal Loss Protection: Graceful Degradation of Image Quality Over Packet Erasure Channels Through Forward Error Correction
IEEE Journal of Selected Areas in Communications Special Issue on Error-Resilient Image and Video Transmission 18:6, 2000.
, Optimizing Static Calendar Queues
ACM Transactions on Modeling and Simulation 10:3, 2000.
, Group Testing for Image Compression
IEEE Data Compression Conference, 2000.
, Fast Nearest Neighbor Search of Entropy-Constrained Vector Quantization
IEEE Transactions on Image Processing 9:8, 2000.
, Progressive Transmission of Images using MAP Detection over Channels with Memory
IEEE Transactions on Image Processing 8:4, 1999.
, The Influence of Caches on the Performance of Sorting
Journal of Algorithms 31, 1999.
, Nearest Neighbor Search in Vector Quantization
Workshop on Algorithm Engineering and Experimentation, 1999.
, Generalized Multiple Description Coding through Unequal Error Correction
1999 International Conference on Image Processing 1, 1999.
, Cache Performance Analysis of Traversals and Random Accesses
Tenth Annual ACM-SIAM Symposium on Discrete Algorithms, 1999.
, Multiresolution Banded Refinement to Accelerate Surface Reconstruction from Polygons
Computational Geometry 13, 1999.
, Graceful Degradation over Packet Erasure Channels through Forward Error Correction
IEEE Data Compression Conference, 1999.
, Sorting by Parallel Insertion on a One-Dimensional Sub-Bus Array
IEEE Transactions on Computers 47:11, 1998.
, Recovering from Bit Errors in Scalar-Quantized Discrete Wavelet Transformed Images
Proceedings of ICIP 1998, 1998.
, Bit Allocation for Wavelet Image Compression and Uniform Bit Loss
Proceedings of the 32th Annual Conference on Information Sciences and Systems, 1998.
, Counting Protocols for Reliable End-to-End Transmission
Journal of Computer and System Sciences 56:1, 1998.
, Multiresolution Banded Refinement to Accelerate Surface Reconstruction from Polygons
Fourteenth Annual ACM Symposium on Computational Geometry, 1998.
, The Influence of Caches on the Performance of Sorting
Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, 1997.
, Morphological Restoration of Degraded Document Imagery for OCR and Retrieval
IST/SPIE Symposium on Electronic Imaging, 1996.
, Progressive Image Transmission with Error Concealment on a Lossy Packet Network
International Conference on Acoustics, Speech and Signal Processing, 1996.
, The Influence of Caches on the Performance of Heaps
Journal of Experimental Algorithmics 1:4, 1996.
, Fast Nearest Neighbor Search for ECVQ and other Modified Distorsion Measures by Comparing Boundary Distance
IEEE International Conference on Image Processing, 1996.
, Complexity of Sub-Bus Mesh Computations
SIAM Journal on Computing 25:3, 1996.
, 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, 1996.
, Progressive Image Transmission on a Channel with Memory
Thirty-third Annual Allerton Conference on Communications, Control and Computing, 1995.
, Symmetric K-Span Matching Problem
Journal of Undergraduate Research 2:2, 1995.
, Recoverable Sequence Transmission Protocols.
Journal of the ACM 42:5, 1995.
, Optimal One-Way Sorting on a One-Dimensional Sub-Bus Array
Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, 1995.
, Interactive Proof Systems with Polynomial Bounded Strategies
Journal of Computer and Systems Sciences 50, 1995.
, Theory and Practice of Vector Quantizers Trained on Small Training Sets
IEEE Transactions on Pattern Analysis and Machine Intelligence 16, 1994.
, Optimizing Static Calendar Queues
35th Annual Symposium on Foundations of Computer Science, 1994.
, Index Assignment for Progressive Transmission of Full Search Vector Quantization. Correspondence
IEEE Transactions on Image Processing 3:3, 1994.
, Improving Generalization with Self-Directed Learning
Machine Learning 15, 1994.
, Vector Prefix Addition on Sub-Bus Mesh Computers
5th Annual ACM Symposium on Parallel Algorithms and Architectures, 1993.
, Index Assignment for Progressive Transmission of Full Search Vector Quantization
IEEE 1993 International Symposium on Information Theory, 1993.
, Theory and Practice of Vector Quantizers Trained on Small Training Sets
IEEE 1993 International Symposium on Information Theory, 1993.
, The Complexity of Computing Symmetric Functions Using Threshold Circuits
Theoretical Computer Science 100, 1992.
, Parallel Algorithms for Computational Biology (Extended Abstract)
Data Parallel Research Initiative Symposium sponsored by Digital Equipment Corporation, 1992.
, Interactive Proof Systems with Polynomial Bounded Strategies
IEEE Conference on Structure in Complexity Theory, 1992.
, Safety and Liveness of $\omega$-Context-Free Languages
Information Processing Letters 37, 1991.
, Tight Bounds for Weakly-Bounded Protocols
Ninth Annual ACM Symposium on Principles of Distributed Computing, 1990.
, Computer Accessibility for Federal Workers with Disabilities: It's the Law
Communications of the ACM 32:8, 1989.
, Training Connectionist Networks with Queries and Selective Sampling
Advances in Neural Information Processing, 1989.
, Polynomial Space Counting Problems
SIAM Journal on Computing 18, 1989.
, Probabilistic Game Automata
Journal of Computer and System Sciences 36:3, 1988.
, Computer Accessibility for Workers with Disabilities: It's the Law
Directions and Implications of Advanced Computing, 1988.
, Estimating the Multiplicities of Conflicts to Speed Their Resolution in Multiple Access Channels
Journal of the ACM 34:2, 1987.
, DBNet - A Computer Network for Deaf-Blind People
Computer Technology/Special Education/Rehabilitation, 1987.
, A User Interface for Deaf-Blind People (Preliminary Report)
Conference on Human Factors in Computing and Graphics Interface, 1987.
, The Logic of Distributed Protocols
Theoretical Aspects of Reasoning about Knowledge 1986 Conference, 1986.
, Probabilistic Game Automata
Structure in Complexity Theory, Conference held at the University of California, 1986.
, Solitaire Automata
Journal of Computer and System Sciences 31:1, 1985.
, DBNet - A Computer Network for Deaf-Blind People
10th University Study Conference (Sponsored by IBM), 1985.
, Networks for Deaf-Blind People
Spring COMPCON '84, 1984.
, Signsolvability Revisited
Linear Algebra and Its Applications 59, 1984.
, Concurrency Control in a Dynamic Search Structure
ACM Transactions on Database Systems 9:3, 1984.
, Alternating Pushdown and Stack Automata
SIAM Journal on Computing 13:1, 1984.
, A Large Font Virtual Terminal Interface - A Software Prosthesis for the Visually Impaired
Communications of the ACM 27:6, 1984.
, Estimating the Multiplicities of Conflicts in Multiple Access Channels (Preliminary Report)
Proceedings of the 24th IEEE Symposium on Foundations of Computer Science, 1983.
, Binary Search in a Multiprocessing Environment
IEEE Transactions on Computers c-32:7, 1983.
, Efficient Parallel Algorithms for Linear Recurrence Computation
Information Processing Letters 15:1, 1982.
, Concurrency Control in a Dynamic Search Structure
ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1982.
, Qualitative Matrices: Strong Sign-solvability and Weak Satisfiability
Computer-Assisted Analysis and Model Simplification, Academic Press, 1981.
, The Complexity of Problems in Systems of Communicating Sequential Processes
Journal of Computer and System Sciences 21:2, 1980.
, Testing the Universal Instance Assumption
Information Processing Letters 10:1, 1980.
, Complexity Theory with Emphasis on the Complexity of Logical Theories
Proceedings of Logic Colloquium '79, 1980.
, Parallel Prefix Computation
Journal of the ACM 27:4, 1980.
, The Complexity of Problems in Systems of Communicating Sequential Processes
Eleventh Annual ACM Symposium on Theory of Computing, 1979.
, Propositional Dynamic Logic of Regular Programs
Journal of Computer and System Sciences 18:2, 1979.
, Alternating Pushdown Automata
Nineteenth Annual Symposium on Foundations of Computer Science, 1978.
, The Computational Complexity of Provability in Systems of Modal Propositional Logic
SIAM Journal on Computing 6:3, 1977.
, Straight-line Programs to Compute Finite Languages
Conference on Theoretical Computer Science, 1977.
, Application of Model Theoretic Games to Discrete Linear Orders and Finite Automata
Information and Control 33:4, 1977.
, Parallel Prefix Computation
International Conference on Parallel Processing, 1977.
, Propositional Modal Logic of Programs: Extended Abstract
Ninth Annual ACM Symposium on Theory of Computing, 1977.
, Relativization of Questions about Log Space Computability
Mathematical Systems Theory 10:1, 1976.
, Space Bounds for Processing Contentless Inputs
Journal of Computer and System Sciences 11:1, 1975.
, The Weak Truth Table Degrees of Recursively Enumerable Sets
Annals of Mathematical Logic 8, 1975.
, On the Structure of Polynomial Time Reducibility
Journal of the ACM 22:1, 1975.
, The Circuit Value Problem is Log Space Complete
SIGACT NEWS 7:1, 1975.
, A Comparison of Polynomial Time Reducibilities
Theoretical Computer Science 1, 1975.
, Comparison of Polynomial-time Reducibilities
Sixth Annual ACM Symposium on Theory of Computing , 1974.
, Polynomial Time Reducibility
Fifth Annual ACM Symposium on Theory of Computing, 1973.
, Mitotic Recursively Enumerable Sets
Journal of Symbolic Logic 38:2, 1973.
, A Completely Mitotic Nonrecursive R.E. Degree
Transactions of the AMS 184, 1973.
,