Volker Sorge - RankMe

90 papers A 13B 5C 1Misc 8Journal 14Unranked 43

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	PreTeXt as Authoring Format for Accessible Alternative Media. ICCHP (1) David Austin, Robert Beezer, Michael Cantino, Alexei Kolesnikov, Al Maneki, Volker Sorge
2023	—	`conf`	Authoring Web-accessible Mathematical Diagrams. W4A David Austin, Volker Sorge
2023	—	`conf`	Authoring Web-accessible Mathematical Diagrams. W4A David Austin, Volker Sorge
2022	—	`conf`	Making Equations Accessible in Scientific Documents. ICCHP-AAATE (1) Shivansh Juyal, Sanjeev Sharma, Neha Jadhav, Volker Sorge, Meenakshi Balakrishnan
2022	—	`conf`	Towards Semantically Enhanced Audio Rendering of Equations. ICCHP-AAATE (1) Akashdeep Bansal, Volker Sorge, Meenakshi Balakrishnan, Aayush Aggarwal
2020	J	`jnl`	Comprehensive accessibility of equations by visually impaired. ACM SIGACCESS Access. Comput. Akashdeep Bansal, Meenakshi Balakrishnan, Volker Sorge
2020	—	`conf`	Session details: Standards and policy. W4A Volker Sorge
2020	—	`conf`	Towards generating web-accessible STEM documents from PDF. W4A Volker Sorge, Akashdeep Bansal, Neha M. Jadhav, Himanshu Garg, Ayushi Verma, Meenakshi Balakrishnan
2019	—	`conf`	Adaptable Accessibility Features for Mathematics on the Web. W4A Davide Cervone, Volker Sorge
2019	—	`ch.`	Scientific Documents. Web Accessibility (2nd Ed.) Volker Sorge, Dragan Ahmetovic, Cristian Bernareggi, John Gardner
2018	—	`conf`	An Accessible Interaction Model for Data Visualisation in Statistics. ICCHP (1) A. Jonathan R. Godfrey, Paul Murrell, Volker Sorge
2018	—	`ed.`	The 15th Web for All Conference, W4A 2018, Lyon, France, April 23-25, 2018, Proceedings W4A Elaine Pearson, Volker Sorge
2018	—	`conf`	The Dutch Best Practice for Teaching Chemistry Diagrams to the Visually Impaired. ICCHP (1) Dorine in 't Veld, Volker Sorge
2017	—	`conf`	Producing Accessible Statistics Diagrams in R. W4A Donal Fitzpatrick, A. Jonathan R. Godfrey, Volker Sorge
2016	—	`conf`	Employing semantic analysis for enhanced accessibility features in MathJax. CCNC Davide Cervone, Peter Krautzberger, Volker Sorge
2016	—	`conf`	Polyfilling Accessible Chemistry Diagrams. ICCHP (1) Volker Sorge
2016	A	`conf`	Supporting Visual Impaired Learners in Editing Mathematics. ASSETS Volker Sorge
2016	—	`conf`	Towards universal rendering in MathJax. W4A Davide Cervone, Peter Krautzberger, Volker Sorge
2015	—	`ed.`	CICM 2015 - Informal Work in Progress Proceedings, Washington, DC, USA, July 13-17, 2015 CICM (Work in Progress) Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge
2015	—	`conf`	End-to-end solution for accessible chemical diagrams. W4A Volker Sorge, Mark Lee, Sandy Wilkinson
2015	C	`ed.`	Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings CICM Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge
2015	A	`conf`	Trajectory recovery and stroke reconstruction of handwritten mathematical symbols. ICDAR Behrang Sabeghi Saroui, Volker Sorge
2014	Misc	`conf`	Combining Systems for Mathematical Creativity (Invited Talk). AISC Volker Sorge
2014	J	`jnl`	Mathematical formula identification and performance evaluation in PDF documents. Int. J. Document Anal. Recognit. Xiaoyan Lin, Liangcai Gao, Zhi Tang, Josef B. Baker, Volker Sorge
2014	B	`conf`	Recognition of Handwritten Mathematical Characters on Whiteboards Using Colour Images. Document Analysis Systems Behrang Sabeghi Saroui, Volker Sorge
2014	—	`conf`	Towards making mathematics a first class citizen in general screen readers. W4A Volker Sorge, Charles L. Chen, T. V. Raman, David Tseng
2013	—	`conf`	A Histogram-Based Approach to Mathematical Line Segmentation. CIARP (1) Mohamed A. Alkalai, Volker Sorge
2013	A	`conf`	A Text Line Detection Method for Mathematical Formula Recognition. ICDAR Xiaoyan Lin, Liangcai Gao, Zhi Tang, Josef B. Baker, Mohamed A. Alkalai, Volker Sorge
2013	A	`conf`	Improving Formula Analysis with Line and Mathematics Identification. ICDAR Mohamed A. Alkalai, Josef B. Baker, Volker Sorge, Xiaoyan Lin
2012	—	`conf`	A Term Rewriting System for Kuratowski's Closure-Complement Problem. RTA Osama Al-Hassani, Quratul-ain Mahesar, Claudio Sacerdoti Coen, Volker Sorge
2012	J	`jnl`	Abstracting symbolic matrices - Special issue on artificial intelligence and symbolic computation. Ann. Math. Artif. Intell. Randa Almomen, Alan P. Sexton, Volker Sorge
2012	Misc	`conf`	Algebraic Theory Exploration: A Comparison of Technologies. SYNASC Quratul-ain Mahesar, Volker Sorge
2012	—	`conf`	Chemical structure recognition: a rule-based approach. DRR Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge
2012	—	`ed.`	Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings AISC/MKM/Calculemus Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge
2012	—	`conf`	MaxTract: Converting PDF to $\mbox\LaTeX$ , MathML and Text. AISC/MKM/Calculemus Josef B. Baker, Alan P. Sexton, Volker Sorge
2012	—	`conf`	MolRec at CLEF 2012 - Overview and Analysis of Results. CLEF (Online Working Notes/Labs/Workshop) Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge
2011	A	`conf`	Comparing Approaches to Mathematical Document Analysis from PDF. ICDAR Josef B. Baker, Alan P. Sexton, Volker Sorge, Masakazu Suzuki
2011	—	`conf`	Enumeration of AG-Groupoids. Calculemus/MKM Andreas Distler, Muhammad Shah, Volker Sorge
2011	—	`conf`	Performance of MolRec at TREC 2011 Overview and Analysis of Results. TREC Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge
2010	B	`conf`	Faithful mathematical formula recognition from PDF documents. Document Analysis Systems Josef B. Baker, Alan P. Sexton, Volker Sorge
2010	—	`conf`	Symbolic Domain Decomposition. AISC/MKM/Calculemus Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt
2010	J	`jnl`	Symbolic Domain Decomposition. CoRR Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt
2009	—	`conf`	A Linear Grammar Approach to Mathematical Formula Recognition from PDF. Calculemus/MKM Josef B. Baker, Alan P. Sexton, Volker Sorge
2009	B	`conf`	Computing with abstract matrix structures. ISSAC Alan P. Sexton, Volker Sorge, Stephen M. Watt
2009	J	`jnl`	Preface. Ann. Math. Artif. Intell. Jacques Calmet, Volker Sorge
2009	—	`conf`	Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. Calculemus/MKM Alan P. Sexton, Volker Sorge, Stephen M. Watt
2009	J	`jnl`	Resource Adaptive Agents in Interactive Theorem Proving CoRR Christoph Benzmüller, Volker Sorge
2008	Misc	`conf`	Abstract Matrix Arithmetic. SYNASC Alan P. Sexton, Volker Sorge, Stephen M. Watt
2008	J	`jnl`	Automatic Construction and Verification of Isotopy Invariants. J. Autom. Reason. Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton
2008	J	`jnl`	Combined reasoning by automated cooperation. J. Appl. Log. Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber
2008	—	`ed.`	Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings AISC/MKM/Calculemus Serge Autexier, John A. Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk
2007	—	`conf`	A Rational Reconstruction of a System for Experimental Mathematics. Calculemus/MKM Jacques Carette, William M. Farmer, Volker Sorge
2007	Misc	`conf`	AIMSS: An Architecture for Data Driven Simulations in the Social Sciences. International Conference on Computational Science (1) Catriona M. Kennedy, Georgios Theodoropoulos, Volker Sorge, Edward Ferrari, Peter Lee, Chris Skelcher
2006	B	`conf`	Abstract matrices in symbolic computation. ISSAC Alan P. Sexton, Volker Sorge
2006	A	`conf`	Automatic Construction and Verification of Isotopy Invariants. IJCAR Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton
2006	—	`conf`	Capturing Abstract Matrices from Paper. MKM Toshihiro Kanahori, Alan P. Sexton, Volker Sorge, Masakazu Suzuki
2006	—	`conf`	Managing Automatically Formed Mathematical Theories. MKM Simon Colton, Pedro Torres, Paul A. Cairns, Volker Sorge
2006	—	`conf`	Towards a Parser for Mathematical Formula Recognition. MKM Amar Raja, Matthew Rayner, Alan P. Sexton, Volker Sorge
2005	—	`conf`	A Database of Glyphs for OCR of Mathematical Documents. MKM Alan P. Sexton, Volker Sorge
2005	A	`conf`	A New Set of Algebraic Benchmark Problems for SAT Solvers. SAT Andreas Meier, Volker Sorge
2005	J	`jnl`	Applying SAT Solving in Classification of Finite Algebras. J. Autom. Reason. Andreas Meier, Volker Sorge
2005	—	`conf`	Bridging Theorem Proving and Mathematical Knowledge Retrieval. Mechanizing Mathematical Reasoning Christoph Benzmüller, Andreas Meier, Volker Sorge
2005	—	`conf`	Connecting Logical Representations and Efficient Computations. Calculemus Martin Pollet, Volker Sorge
2005	—	`conf`	Database-Driven Mathematical Character Recognition. GREC Alan P. Sexton, Volker Sorge
2005	J	`jnl`	Integration of automated reasoning and computer algebra systems. J. Symb. Comput. Olga Caprotti, Volker Sorge
2005	—	`conf`	Processing Textbook-Style Matrices. MKM Alan P. Sexton, Volker Sorge
2005	A	`conf`	Semantic Analysis of Matrix Structures. ICDAR Alan P. Sexton, Volker Sorge
2004	A	`conf`	Automatic Generation of Classification Theorems for Finite Algebras. IJCAR Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland
2004	B	`conf`	Can a Higher-Order and a First-Order Theorem Prover Cooperate?. LPAR Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber
2004	—	`conf`	Intuitive and Formal Representations: The Case of Matrices. MKM Martin Pollet, Volker Sorge, Manfred Kerber
2003	A	`conf`	Certifying Solutions to Permutation Group Problems. CADE Arjeh M. Cohen, Scott H. Murray, Martin Pollet, Volker Sorge
2002	Misc	`ed.`	Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings AISC Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge
2002	J	`jnl`	Comparing Approaches to the Exploration of the Domain of Residue Classes. J. Symb. Comput. Andreas Meier, Martin Pollet, Volker Sorge
2002	Misc	`conf`	Employing Theory Formation to Guide Proof Planning. AISC Andreas Meier, Volker Sorge, Simon Colton
2002	A	`conf`	Proof Development with OMEGA. CADE Jörg H. Siekmann, Christoph Benzmüller, 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, Jürgen Zimmer
2001	—	`conf`	Classifying Isomorphic Residue Classes. EUROCAST Andreas Meier, Martin Pollet, Volker Sorge
2001	—	`conf`	Experiments with an Agent-Oriented Reasoning System. KI/ÖGAI Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
2001	—	`—`	Ω-ANTS: a blackboard architecture for the integration of reasoning techniques into proof planning. Volker Sorge
2000	—	`conf`	Non-Trivial Symbolic Computations in Proof Planning. FroCoS Volker Sorge
2000	—	`conf`	Resource Guided Concurrent Deduction. ARW Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
2000	A	`conf`	Workshop: The Role of Automated Deduction in Mathematics. CADE Simon Colton, Volker Sorge, Ursula Martin
1999	—	`conf`	Agent based mathematical reasoning. Calculemus Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
1999	J	`jnl`	Agent-Oriented Integration of Distributed Mathematical Services. J. Univers. Comput. Sci. Andreas Franke, Stephan M. Hess, Christoph G. Jung, Michael Kohlhase, Volker Sorge
1999	Misc	`conf`	Critical Agents Supporting Interactive Theorem Proving. EPIA Christoph Benzmüller, Volker Sorge
1999	—	`conf`	Employing external reasoners in proof planning. Calculemus Erica Melis, Volker Sorge
1999	J	`jnl`	Integrating Tps and Omega. J. Univers. Comput. Sci. Christoph Benzmüller, Matthew Bishop, Volker Sorge
1998	Misc	`conf`	A Blackboard Architecture for Guiding Interactive Proofs. AIMSA Christoph Benzmüller, Volker Sorge
1998	J	`jnl`	Integrating Computer Algebra into Proof Planning. J. Autom. Reason. Manfred Kerber, Michael Kohlhase, Volker Sorge
1997	A	`conf`	Omega: Towards a Mathematical Assistant. CADE Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge
1996	—	`conf`	Integrating Computer Algebra with Proof Planning. DISCO Manfred Kerber, Michael Kohlhase, Volker Sorge