Author of the publication

Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode.

, , , and . ThEdu@FLoC, volume 375 of EPTCS, page 92-111. (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode., , , and . ThEdu@FLoC, volume 375 of EPTCS, page 92-111. (2022)Parser for the Marburg Mathematical Braille Notation NIDRR Project: Universal Math Converter., , and . HCI (4), page 1260-1264. Lawrence Erlbaum, (2003)An Accessible User Interface Concept for Non-Verbal and Spatial Aspects of Business Meetings for Blind and Visually Impaired People., and . MuC, page 125-130. ACM, (2021)Virtual Libraries Initiatives with Usable Results for Print Disabled People., and . ICCHP, volume 2398 of Lecture Notes in Computer Science, page 366-373. Springer, (2002)Harmonisation of the Copyright Law throughout the European Union - A Challenge for All Print Disabled People., , and . ICCHP, volume 2398 of Lecture Notes in Computer Science, page 321-328. Springer, (2002)Schulbuch Barrierefrei (Accessible School Books) - Co-operation Between Publishers and Service Providers in Austria., and . ICCHP, volume 4061 of Lecture Notes in Computer Science, page 32-39. Springer, (2006)Accessibility of Co-Located Meetings - Introduction to the Special Thematic Session., , and . ICCHP-AAATE (1), volume 13341 of Lecture Notes in Computer Science, page 289-294. Springer, (2022)Planning of Inclusive and Accessible Events., and . ICCHP (1), volume 6179 of Lecture Notes in Computer Science, page 266-272. Springer, (2010)Mobility Support for People with Dementia., and . ICCHP (2), volume 9759 of Lecture Notes in Computer Science, page 253-256. Springer, (2016)The Assistive Home - More than Just Another Approach to Independent Living?, and . ICCHP, volume 3118 of Lecture Notes in Computer Science, page 891-897. Springer, (2004)