Volker Sorge
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
36
Venues
15
Active years
1997–2026
Best venue rank
C
Where they publish
Papers
36 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICCHP | Supporting VI Learners in Communicating Mathematical Diagrams. | David Austin, Neha Jadhav, Alexei Kolesnikov, Jason Siefken, Volker Sorge |
| 2024 | ICCHP | PreTeXt as Authoring Format for Accessible Alternative Media. | David Austin, Robert Beezer, Michael Cantino, Alexei Kolesnikov, Al Maneki, Volker Sorge |
| 2022 | ICCHP | Towards Semantically Enhanced Audio Rendering of Equations. | Akashdeep Bansal, Volker Sorge, Meenakshi Balakrishnan, Aayush Aggarwal |
| 2022 | ICCHP | Making Equations Accessible in Scientific Documents. | Shivansh Juyal, Sanjeev Sharma, Neha Jadhav, Volker Sorge, Meenakshi Balakrishnan |
| 2018 | ICCHP | An Accessible Interaction Model for Data Visualisation in Statistics. | A. Jonathan R. Godfrey, Paul Murrell, Volker Sorge |
| 2018 | ICCHP | The Dutch Best Practice for Teaching Chemistry Diagrams to the Visually Impaired. | Dorine in 't Veld, Volker Sorge |
| 2016 | ASSETS | Supporting Visual Impaired Learners in Editing Mathematics. | Volker Sorge |
| 2016 | ICCHP | Polyfilling Accessible Chemistry Diagrams. | Volker Sorge |
| 2015 | ICDAR | Trajectory recovery and stroke reconstruction of handwritten mathematical symbols. | Behrang Sabeghi Saroui, Volker Sorge |
| 2014 | AISC | Combining Systems for Mathematical Creativity (Invited Talk). | Volker Sorge |
| 2014 | DAS | Recognition of Handwritten Mathematical Characters on Whiteboards Using Colour Images. | Behrang Sabeghi Saroui, Volker Sorge |
| 2013 | CIARP | A Histogram-Based Approach to Mathematical Line Segmentation. | Mohamed A. Alkalai, Volker Sorge |
| 2013 | ICDAR | Improving Formula Analysis with Line and Mathematics Identification. | Mohamed A. Alkalai, Josef B. Baker, Volker Sorge, Xiaoyan Lin |
| 2013 | ICDAR | A Text Line Detection Method for Mathematical Formula Recognition. | Xiaoyan Lin, Liangcai Gao, Zhi Tang, Josef B. Baker, Mohamed A. Alkalai, Volker Sorge |
| 2012 | AISC | MaxTract: Converting PDF to $\mbox\LaTeX$ , MathML and Text. | Josef B. Baker, Alan P. Sexton, Volker Sorge |
| 2012 | SYNASC | Algebraic Theory Exploration: A Comparison of Technologies. | Quratul-ain Mahesar, Volker Sorge |
| 2011 | ICDAR | Comparing Approaches to Mathematical Document Analysis from PDF. | Josef B. Baker, Alan P. Sexton, Volker Sorge, Masakazu Suzuki |
| 2010 | AISC | Symbolic Domain Decomposition. | Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt |
| 2010 | DAS | Faithful mathematical formula recognition from PDF documents. | Josef B. Baker, Alan P. Sexton, Volker Sorge |
| 2009 | ISSAC | Computing with abstract matrix structures. | Alan P. Sexton, Volker Sorge, Stephen M. Watt |
| 2008 | SYNASC | Abstract Matrix Arithmetic. | Alan P. Sexton, Volker Sorge, Stephen M. Watt |
| 2007 | ICCS | AIMSS: An Architecture for Data Driven Simulations in the Social Sciences. | Catriona M. Kennedy, Georgios Theodoropoulos, Volker Sorge, Edward Ferrari, Peter Lee, Chris Skelcher |
| 2006 | CADE | Automatic Construction and Verification of Isotopy Invariants. | Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton |
| 2006 | ISSAC | Abstract matrices in symbolic computation. | Alan P. Sexton, Volker Sorge |
| 2005 | ICDAR | Semantic Analysis of Matrix Structures. | Alan P. Sexton, Volker Sorge |
| 2005 | SAT | A New Set of Algebraic Benchmark Problems for SAT Solvers. | Andreas Meier, Volker Sorge |
| 2004 | CADE | Automatic Generation of Classification Theorems for Finite Algebras. | Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland |
| 2004 | LPAR | Can a Higher-Order and a First-Order Theorem Prover Cooperate?. | Christoph Benzmller, Volker Sorge, Mateja Jamnik, Manfred Kerber |
| 2003 | CADE | Certifying Solutions to Permutation Group Problems. | Arjeh M. Cohen, Scott H. Murray, Martin Pollet, Volker Sorge |
| 2002 | AISC | Employing Theory Formation to Guide Proof Planning. | Andreas Meier, Volker Sorge, Simon Colton |
| 2002 | CADE | Proof Development with OMEGA. | Jrg H. Siekmann, Christoph Benzmller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jrgen Zimmer |
| 2001 | KI | Experiments with an Agent-Oriented Reasoning System. | Christoph Benzmller, Mateja Jamnik, Manfred Kerber, Volker Sorge |
| 2000 | CADE | Workshop: The Role of Automated Deduction in Mathematics. | Simon Colton, Volker Sorge, Ursula Martin |
| 1999 | EPIA | Critical Agents Supporting Interactive Theorem Proving. | Christoph Benzmller, Volker Sorge |
| 1998 | AIMSA | A Blackboard Architecture for Guiding Interactive Proofs. | Christoph Benzmller, Volker Sorge |
| 1997 | CADE | Omega: Towards a Mathematical Assistant. | Christoph Benzmller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jrg H. Siekmann, Volker Sorge |