% csauthors.net - beta - BibTeX bibliography of Volker Sorge
@inproceedings{conf/disco/KerberKS96,
title = {Integrating Computer Algebra with Proof Planning.},
year = {1996},
booktitle = {DISCO},
author = {{Manfred Kerber} and {Michael Kohlhase} and {Volker Sorge}},
publisher = {Springer},
booktitle = {Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings}
}
@inproceedings{conf/cade/BenzmullerCFFHKKKMMSSS97,
title = {Omega: Towards a Mathematical Assistant.},
year = {1997},
booktitle = {CADE},
author = {{Christoph Benzmüller} and {Lassaad Cheikhrouhou} and {Detlef Fehrer} and {Armin Fiedler} and {Xiaorong Huang} and {Manfred Kerber} and {Michael Kohlhase} and {Karsten Konrad} and {Andreas Meier 002} and {Erica Melis} and {Wolf Schaarschmidt} and {Jörg H. Siekmann} and {Volker Sorge}},
publisher = {Springer},
booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings}
}
@inproceedings{conf/aimsa/BenzmullerS98,
title = {A Blackboard Architecture for Guiding Interactive Proofs.},
year = {1998},
booktitle = {AIMSA},
author = {{Christoph Benzmüller} and {Volker Sorge}},
publisher = {Springer},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings}
}
@article{journals/jar/KerberKS98,
title = {Integrating Computer Algebra into Proof Planning.},
year = {1998},
journal = {J. Autom. Reason.},
author = {{Manfred Kerber} and {Michael Kohlhase} and {Volker Sorge}}
}
@inproceedings{conf/epia/BenzmullerS99,
title = {Critical Agents Supporting Interactive Theorem Proving.},
year = {1999},
booktitle = {EPIA},
author = {{Christoph Benzmüller} and {Volker Sorge}},
publisher = {Springer},
booktitle = {Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21-24, 1999, Proceedings}
}
@inproceedings{journals/entcs/BenzmullerJKS99,
title = {Agent based mathematical reasoning.},
year = {1999},
booktitle = {Calculemus},
author = {{Christoph Benzmüller} and {Mateja Jamnik} and {Manfred Kerber} and {Volker Sorge}},
publisher = {Elsevier},
booktitle = {Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999}
}
@inproceedings{journals/entcs/MelisS99,
title = {Employing external reasoners in proof planning.},
year = {1999},
booktitle = {Calculemus},
author = {{Erica Melis} and {Volker Sorge}},
publisher = {Elsevier},
booktitle = {Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999}
}
@article{journals/fac/SiekmannHBCFHKKMMPS99,
title = {LUI: Lovely MEGA User Interface.},
year = {1999},
journal = {Formal Aspects Comput.},
author = {{Jörg H. Siekmann} and {Stephan M. Hess} and {Christoph Benzmüller} and {Lassaad Cheikhrouhou} and {Armin Fiedler} and {Helmut Horacek} and {Michael Kohlhase} and {Karsten Konrad} and {Andreas Meier 002} and {Erica Melis} and {Martin Pollet} and {Volker Sorge}}
}
@article{journals/jucs/BenzmullerBS99,
title = {Integrating Tps and Omega.},
year = {1999},
journal = {J. Univers. Comput. Sci.},
author = {{Christoph Benzmüller} and {Matthew Bishop} and {Volker Sorge}}
}
@article{journals/jucs/FrankeHJKS99,
title = {Agent-Oriented Integration of Distributed Mathematical Services.},
year = {1999},
journal = {J. Univers. Comput. Sci.},
author = {{Andreas Franke 001} and {Stephan M. Hess} and {Christoph G. Jung} and {Michael Kohlhase} and {Volker Sorge}}
}
@inproceedings{conf/arw/BenzmullerJKS00,
title = {Resource Guided Concurrent Deduction.},
year = {2000},
booktitle = {ARW},
author = {{Christoph Benzmüller} and {Mateja Jamnik} and {Manfred Kerber} and {Volker Sorge}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the Seventh Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, King's College London, UK, 20-21 July 2000.}
}
@inproceedings{conf/cade/ColtonSM00,
title = {Workshop: The Role of Automated Deduction in Mathematics.},
year = {2000},
booktitle = {CADE},
author = {{Simon Colton} and {Volker Sorge} and {Ursula Martin}},
publisher = {Springer},
booktitle = {Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings}
}
@inproceedings{conf/frocos/Sorge00,
title = {Non-Trivial Symbolic Computations in Proof Planning.},
year = {2000},
booktitle = {FroCoS},
author = {{Volker Sorge}},
publisher = {Springer},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings}
}
@inproceedings{conf/eurocast/MeierPS01,
title = {Classifying Isomorphic Residue Classes.},
year = {2001},
booktitle = {EUROCAST},
author = {{Andreas Meier 002} and {Martin Pollet} and {Volker Sorge}},
publisher = {Springer},
booktitle = {Computer Aided Systems Theory - EUROCAST 2001, Las Palmas de Gran Canaria, Spain, February 19-23, 2001, Revised Papers}
}
@inproceedings{conf/ki/BenzmullerJKS01,
title = {Experiments with an Agent-Oriented Reasoning System.},
year = {2001},
booktitle = {KI/ÖGAI},
author = {{Christoph Benzmüller} and {Mateja Jamnik} and {Manfred Kerber} and {Volker Sorge}},
publisher = {Springer},
booktitle = {KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings}
}
@phdthesis{phd/de/Sorge2004,
title = {Ω-ANTS: a blackboard architecture for the integration of reasoning techniques into proof planning.},
year = {2001},
author = {{Volker Sorge}}
}
@inproceedings{conf/aisc/MeierSC02,
title = {Employing Theory Formation to Guide Proof Planning.},
year = {2002},
booktitle = {AISC},
author = {{Andreas Meier 002} and {Volker Sorge} and {Simon Colton}},
publisher = {Springer},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings}
}
@inproceedings{conf/cade/SiekmannBBCFFHKMMMNPSUWZ02,
title = {Proof Development with OMEGA.},
year = {2002},
booktitle = {CADE},
author = {{Jörg H. Siekmann} and {Christoph Benzmüller} and {Vladimir Brezhnev} and {Lassaad Cheikhrouhou} and {Armin Fiedler} and {Andreas Franke 001} and {Helmut Horacek} and {Michael Kohlhase} and {Andreas Meier 002} and {Erica Melis} and {Markus Moschner} and {Immanuel Normann} and {Martin Pollet} and {Volker Sorge} and {Carsten Ullrich} and {Claus-Peter Wirth} and {Jürgen Zimmer}},
publisher = {Springer},
booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings}
}
@article{journals/jsc/MeierPS02,
title = {Comparing Approaches to the Exploration of the Domain of Residue Classes.},
year = {2002},
journal = {J. Symb. Comput.},
author = {{Andreas Meier 002} and {Martin Pollet} and {Volker Sorge}}
}
@inproceedings{conf/cade/CohenMPS03,
title = {Certifying Solutions to Permutation Group Problems.},
year = {2003},
booktitle = {CADE},
author = {{Arjeh M. Cohen} and {Scott H. Murray} and {Martin Pollet} and {Volker Sorge}},
publisher = {Springer},
booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}
}
@inproceedings{conf/cade/ColtonMSM04,
title = {Automatic Generation of Classification Theorems for Finite Algebras.},
year = {2004},
booktitle = {IJCAR},
author = {{Simon Colton} and {Andreas Meier 002} and {Volker Sorge} and {Roy L. McCasland}},
publisher = {Springer},
booktitle = {Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings}
}
@inproceedings{conf/lpar/BenzmullerSJK04,
title = {Can a Higher-Order and a First-Order Theorem Prover Cooperate?.},
year = {2004},
booktitle = {LPAR},
author = {{Christoph Benzmüller} and {Volker Sorge} and {Mateja Jamnik} and {Manfred Kerber}},
publisher = {Springer},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings}
}
@inproceedings{conf/mkm/PolletSK04,
title = {Intuitive and Formal Representations: The Case of Matrices.},
year = {2004},
booktitle = {MKM},
author = {{Martin Pollet} and {Volker Sorge} and {Manfred Kerber}},
publisher = {Springer},
booktitle = {Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings}
}
@inproceedings{conf/birthday/BenzmullerMS05,
title = {Bridging Theorem Proving and Mathematical Knowledge Retrieval.},
year = {2005},
booktitle = {Mechanizing Mathematical Reasoning},
author = {{Christoph Benzmüller} and {Andreas Meier 002} and {Volker Sorge}},
publisher = {Springer},
booktitle = {Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday}
}
@inproceedings{conf/grec/SextonS05,
title = {Database-Driven Mathematical Character Recognition.},
year = {2005},
booktitle = {GREC},
author = {{Alan P. Sexton} and {Volker Sorge}},
publisher = {Springer},
booktitle = {Graphics Recognition. Ten Years Review and Future Perspectives, 6th Internation Workshop, GREC 2005, Hong Kong, China, August 25-26, 2005, Revised Selected Papers}
}
@inproceedings{conf/icdar/SextonS05,
title = {Semantic Analysis of Matrix Structures.},
year = {2005},
booktitle = {ICDAR},
author = {{Alan P. Sexton} and {Volker Sorge}},
publisher = {IEEE Computer Society},
booktitle = {Eighth International Conference on Document Analysis and Recognition (ICDAR 2005), 29 August - 1 September 2005, Seoul, Korea}
}
@inproceedings{conf/mkm/SextonS05,
title = {Processing Textbook-Style Matrices.},
year = {2005},
booktitle = {MKM},
author = {{Alan P. Sexton} and {Volker Sorge}},
publisher = {Springer},
booktitle = {Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}
}
@inproceedings{conf/mkm/SextonS05a,
title = {A Database of Glyphs for OCR of Mathematical Documents.},
year = {2005},
booktitle = {MKM},
author = {{Alan P. Sexton} and {Volker Sorge}},
publisher = {Springer},
booktitle = {Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}
}
@inproceedings{conf/sat/MeierS05,
title = {A New Set of Algebraic Benchmark Problems for SAT Solvers.},
year = {2005},
booktitle = {SAT},
author = {{Andreas Meier 002} and {Volker Sorge}},
publisher = {Springer},
booktitle = {Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings}
}
@inproceedings{journals/entcs/PolletS06,
title = {Connecting Logical Representations and Efficient Computations.},
year = {2005},
booktitle = {Calculemus},
author = {{Martin Pollet} and {Volker Sorge}},
publisher = {Elsevier},
booktitle = {Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005}
}
@article{journals/jar/MeierS05,
title = {Applying SAT Solving in Classification of Finite Algebras.},
year = {2005},
journal = {J. Autom. Reason.},
author = {{Andreas Meier 002} and {Volker Sorge}}
}
@article{journals/jsc/CaprottiS05,
title = {Integration of automated reasoning and computer algebra systems.},
year = {2005},
journal = {J. Symb. Comput.},
author = {{Olga Caprotti} and {Volker Sorge}}
}
@inproceedings{conf/issac/SextonS06,
title = {Abstract matrices in symbolic computation.},
year = {2006},
booktitle = {ISSAC},
author = {{Alan P. Sexton} and {Volker Sorge}},
publisher = {ACM},
booktitle = {Symbolic and Algebraic Computation, International Symposium, ISSAC 2006, Genoa, Italy, July 9-12, 2006, Proceedings}
}
@inproceedings{conf/mkm/ColtonTCS06,
title = {Managing Automatically Formed Mathematical Theories.},
year = {2006},
booktitle = {MKM},
author = {{Simon Colton} and {Pedro Torres 001} and {Paul A. Cairns} and {Volker Sorge}},
publisher = {Springer},
booktitle = {Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings}
}
@inproceedings{conf/mkm/KanahoriSSS06,
title = {Capturing Abstract Matrices from Paper.},
year = {2006},
booktitle = {MKM},
author = {{Toshihiro Kanahori} and {Alan P. Sexton} and {Volker Sorge} and {Masakazu Suzuki}},
publisher = {Springer},
booktitle = {Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings}
}
@inproceedings{conf/mkm/RajaRSS06,
title = {Towards a Parser for Mathematical Formula Recognition.},
year = {2006},
booktitle = {MKM},
author = {{Amar Raja} and {Matthew Rayner} and {Alan P. Sexton} and {Volker Sorge}},
publisher = {Springer},
booktitle = {Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings}
}
@inproceedings{conf/iccS/KennedyTSFLS07,
title = {AIMSS: An Architecture for Data Driven Simulations in the Social Sciences.},
year = {2007},
booktitle = {International Conference on Computational Science (1)},
author = {{Catriona M. Kennedy} and {Georgios Theodoropoulos 001} and {Volker Sorge} and {Edward Ferrari} and {Peter Lee 003} and {Chris Skelcher}},
publisher = {Springer},
booktitle = {Computational Science - ICCS 2007, 7th International Conference Beijing, China, May 27-30, 2007, Proceedings, Part I}
}
@inproceedings{conf/mkm/CaretteFS07,
title = {A Rational Reconstruction of a System for Experimental Mathematics.},
year = {2007},
booktitle = {Calculemus/MKM},
author = {{Jacques Carette} and {William M. Farmer} and {Volker Sorge}},
publisher = {Springer},
booktitle = {Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings}
}
@inproceedings{conf/synasc/SextonSW08,
title = {Abstract Matrix Arithmetic.},
year = {2008},
booktitle = {SYNASC},
author = {{Alan P. Sexton} and {Volker Sorge} and {Stephen M. Watt}},
publisher = {IEEE Computer Society},
booktitle = {SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008}
}
@article{journals/japll/BenzmullerSJK08,
title = {Combined reasoning by automated cooperation.},
year = {2008},
journal = {J. Appl. Log.},
author = {{Christoph Benzmüller} and {Volker Sorge} and {Mateja Jamnik} and {Manfred Kerber}}
}
@article{journals/jar/SorgeMMC08,
title = {Automatic Construction and Verification of Isotopy Invariants.},
year = {2008},
journal = {J. Autom. Reason.},
author = {{Volker Sorge} and {Andreas Meier 002} and {Roy L. McCasland} and {Simon Colton}}
}
@inproceedings{conf/issac/SextonSW09,
title = {Computing with abstract matrix structures.},
year = {2009},
booktitle = {ISSAC},
author = {{Alan P. Sexton} and {Volker Sorge} and {Stephen M. Watt}},
publisher = {ACM},
booktitle = {Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings}
}
@inproceedings{conf/mkm/BakerSS09,
title = {A Linear Grammar Approach to Mathematical Formula Recognition from PDF.},
year = {2009},
booktitle = {Calculemus/MKM},
author = {{Josef B. Baker} and {Alan P. Sexton} and {Volker Sorge}},
publisher = {Springer},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings}
}
@inproceedings{conf/mkm/SextonSW09,
title = {Reasoning with Generic Cases in the Arithmetic of Abstract Matrices.},
year = {2009},
booktitle = {Calculemus/MKM},
author = {{Alan P. Sexton} and {Volker Sorge} and {Stephen M. Watt}},
publisher = {Springer},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings}
}
@article{journals/amai/CalmetS09,
title = {Preface.},
year = {2009},
journal = {Ann. Math. Artif. Intell.},
author = {{Jacques Calmet} and {Volker Sorge}}
}
@article{journals/corr/abs-0901-3585,
title = {Resource Adaptive Agents in Interactive Theorem Proving},
year = {2009},
journal = {CoRR},
author = {{Christoph Benzmüller} and {Volker Sorge}}
}
@inproceedings{conf/aisc/CaretteSSW10,
title = {Symbolic Domain Decomposition.},
year = {2010},
booktitle = {AISC/MKM/Calculemus},
author = {{Jacques Carette} and {Alan P. Sexton} and {Volker Sorge} and {Stephen M. Watt}},
publisher = {Springer},
booktitle = {Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings}
}
@inproceedings{conf/das/BakerSS10,
title = {Faithful mathematical formula recognition from PDF documents.},
year = {2010},
booktitle = {Document Analysis Systems},
author = {{Josef B. Baker} and {Alan P. Sexton} and {Volker Sorge}},
publisher = {ACM},
booktitle = {The Ninth IAPR International Workshop on Document Analysis Systems, DAS 2010, June 9-11, 2010, Boston, Massachusetts, USA}
}
@inproceedings{conf/icdar/BakerSSS11,
title = {Comparing Approaches to Mathematical Document Analysis from PDF.},
year = {2011},
booktitle = {ICDAR},
author = {{Josef B. Baker} and {Alan P. Sexton} and {Volker Sorge} and {Masakazu Suzuki}},
publisher = {IEEE Computer Society},
booktitle = {2011 International Conference on Document Analysis and Recognition, ICDAR 2011, Beijing, China, September 18-21, 2011}
}
@inproceedings{conf/mkm/DistlerSS11,
title = {Enumeration of AG-Groupoids.},
year = {2011},
booktitle = {Calculemus/MKM},
author = {{Andreas Distler} and {Muhammad Shah} and {Volker Sorge}},
publisher = {Springer},
booktitle = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings}
}
@inproceedings{conf/trec/SadawiSS11,
title = {Performance of MolRec at TREC 2011 Overview and Analysis of Results.},
year = {2011},
booktitle = {TREC},
author = {{Noureddin M. Sadawi} and {Alan P. Sexton} and {Volker Sorge}},
publisher = {National Institute of Standards and Technology (NIST)},
booktitle = {Proceedings of The Twentieth Text REtrieval Conference, TREC 2011, Gaithersburg, Maryland, USA, November 15-18, 2011}
}
@inproceedings{conf/aisc/BakerSS12,
title = {MaxTract: Converting PDF to \$\\mbox\\LaTeX\$ , MathML and Text.},
year = {2012},
booktitle = {AISC/MKM/Calculemus},
author = {{Josef B. Baker} and {Alan P. Sexton} and {Volker Sorge}},
publisher = {Springer},
booktitle = {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}
}
@inproceedings{conf/clef/SadawiSS12,
title = {MolRec at CLEF 2012 - Overview and Analysis of Results.},
year = {2012},
booktitle = {CLEF (Online Working Notes/Labs/Workshop)},
author = {{Noureddin M. Sadawi} and {Alan P. Sexton} and {Volker Sorge}},
publisher = {CEUR-WS.org},
booktitle = {CLEF 2012 Evaluation Labs and Workshop, Online Working Notes, Rome, Italy, September 17-20, 2012}
}
@inproceedings{conf/drr/SadawiSS12,
title = {Chemical structure recognition: a rule-based approach.},
year = {2012},
booktitle = {DRR},
author = {{Noureddin M. Sadawi} and {Alan P. Sexton} and {Volker Sorge}},
publisher = {SPIE},
booktitle = {Document Recognition and Retrieval XIX, part of the IS&T-SPIE Electronic Imaging Symposium, Burlingame, California, USA, January 25-26, 2012, Proceedings}
}
@inproceedings{conf/rta/Al-HassaniMCS12,
title = {A Term Rewriting System for Kuratowski's Closure-Complement Problem.},
year = {2012},
booktitle = {RTA},
author = {{Osama Al-Hassani} and {Quratul-ain Mahesar} and {Claudio Sacerdoti Coen} and {Volker Sorge}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan}
}
@inproceedings{conf/synasc/MahesarS12,
title = {Algebraic Theory Exploration: A Comparison of Technologies.},
year = {2012},
booktitle = {SYNASC},
author = {{Quratul-ain Mahesar} and {Volker Sorge}},
publisher = {IEEE Computer Society},
booktitle = {14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012}
}
@article{journals/amai/AlmomenSS12,
title = {Abstracting symbolic matrices - Special issue on artificial intelligence and symbolic computation.},
year = {2012},
journal = {Ann. Math. Artif. Intell.},
author = {{Randa Almomen} and {Alan P. Sexton} and {Volker Sorge}}
}
@inproceedings{conf/ciarp/AlkalaiS13,
title = {A Histogram-Based Approach to Mathematical Line Segmentation.},
year = {2013},
booktitle = {CIARP (1)},
author = {{Mohamed A. Alkalai} and {Volker Sorge}},
publisher = {Springer},
booktitle = {Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications - 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part I}
}
@inproceedings{conf/icdar/AlkalaiBSL13,
title = {Improving Formula Analysis with Line and Mathematics Identification.},
year = {2013},
booktitle = {ICDAR},
author = {{Mohamed A. Alkalai} and {Josef B. Baker} and {Volker Sorge} and {Xiaoyan Lin}},
publisher = {IEEE Computer Society},
booktitle = {12th International Conference on Document Analysis and Recognition, ICDAR 2013, Washington, DC, USA, August 25-28, 2013}
}
@inproceedings{conf/icdar/LinGTBAS13,
title = {A Text Line Detection Method for Mathematical Formula Recognition.},
year = {2013},
booktitle = {ICDAR},
author = {{Xiaoyan Lin} and {Liangcai Gao} and {Zhi Tang 001} and {Josef B. Baker} and {Mohamed A. Alkalai} and {Volker Sorge}},
publisher = {IEEE Computer Society},
booktitle = {12th International Conference on Document Analysis and Recognition, ICDAR 2013, Washington, DC, USA, August 25-28, 2013}
}
@inproceedings{conf/aisc/Sorge14,
title = {Combining Systems for Mathematical Creativity (Invited Talk).},
year = {2014},
booktitle = {AISC},
author = {{Volker Sorge}},
publisher = {Springer},
booktitle = {Artificial Intelligence and Symbolic Computation - 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings}
}
@inproceedings{conf/das/SarouiS14,
title = {Recognition of Handwritten Mathematical Characters on Whiteboards Using Colour Images.},
year = {2014},
booktitle = {Document Analysis Systems},
author = {{Behrang Sabeghi Saroui} and {Volker Sorge}},
publisher = {IEEE Computer Society},
booktitle = {11th IAPR International Workshop on Document Analysis Systems, DAS 2014, Tours, France, April 7-10, 2014}
}
@inproceedings{conf/w4a/SorgeCRT14,
title = {Towards making mathematics a first class citizen in general screen readers.},
year = {2014},
booktitle = {W4A},
author = {{Volker Sorge} and {Charles L. Chen} and {T. V. Raman 001} and {David Tseng}},
publisher = {ACM},
booktitle = {International Web for All Conference, W4A '14, Seoul, Republic of Korea, April 7-9, 2014}
}
@article{journals/ijdar/LinGTBS14,
title = {Mathematical formula identification and performance evaluation in PDF documents.},
year = {2014},
journal = {Int. J. Document Anal. Recognit.},
author = {{Xiaoyan Lin} and {Liangcai Gao} and {Zhi Tang 001} and {Josef B. Baker} and {Volker Sorge}}
}
@inproceedings{conf/icdar/SarouiS15,
title = {Trajectory recovery and stroke reconstruction of handwritten mathematical symbols.},
year = {2015},
booktitle = {ICDAR},
author = {{Behrang Sabeghi Saroui} and {Volker Sorge}},
publisher = {IEEE Computer Society},
booktitle = {13th International Conference on Document Analysis and Recognition, ICDAR 2015, Nancy, France, August 23-26, 2015}
}
@inproceedings{conf/w4a/SorgeLW15,
title = {End-to-end solution for accessible chemical diagrams.},
year = {2015},
booktitle = {W4A},
author = {{Volker Sorge} and {Mark Lee 001} and {Sandy Wilkinson}},
publisher = {ACM},
booktitle = {Proceedings of the 12th Web for All Conference, W4A '15, Florence, Italy, May 18-20, 2015}
}
@inproceedings{conf/assets/Sorge16,
title = {Supporting Visual Impaired Learners in Editing Mathematics.},
year = {2016},
booktitle = {ASSETS},
author = {{Volker Sorge}},
publisher = {ACM},
booktitle = {Proceedings of the 18th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2016, Reno, NV, USA, October 23-26, 2016}
}
@inproceedings{conf/ccnc/CervoneKS16,
title = {Employing semantic analysis for enhanced accessibility features in MathJax.},
year = {2016},
booktitle = {CCNC},
author = {{Davide Cervone} and {Peter Krautzberger} and {Volker Sorge}},
publisher = {IEEE},
booktitle = {13th IEEE Annual Consumer Communications & Networking Conference, CCNC 2016, Las Vegas, NV, USA, January 9-12, 2016}
}
@inproceedings{conf/icchp/Sorge16,
title = {Polyfilling Accessible Chemistry Diagrams.},
year = {2016},
booktitle = {ICCHP (1)},
author = {{Volker Sorge}},
publisher = {Springer},
booktitle = {Computers Helping People with Special Needs - 15th International Conference, ICCHP 2016, Linz, Austria, July 13-15, 2016, Proceedings, Part I}
}
@inproceedings{conf/w4a/CervoneKS16,
title = {Towards universal rendering in MathJax.},
year = {2016},
booktitle = {W4A},
author = {{Davide Cervone} and {Peter Krautzberger} and {Volker Sorge}},
publisher = {ACM},
booktitle = {Proceedings of the 13th Web for All Conference, W4A '16, Montreal, Canada, April 11-13, 2016}
}
@inproceedings{conf/w4a/FitzpatrickGS17,
title = {Producing Accessible Statistics Diagrams in R.},
year = {2017},
booktitle = {W4A},
author = {{Donal Fitzpatrick} and {A. Jonathan R. Godfrey} and {Volker Sorge}},
publisher = {ACM},
booktitle = {Proceedings of the 14th Web for All Conference, W4A 2017: The Future of Accessible Work, Perth, Western Australia, Australia, April 2-4, 2017}
}
@inproceedings{conf/icchp/GodfreyMS18,
title = {An Accessible Interaction Model for Data Visualisation in Statistics.},
year = {2018},
booktitle = {ICCHP (1)},
author = {{A. Jonathan R. Godfrey} and {Paul Murrell} and {Volker Sorge}},
publisher = {Springer},
booktitle = {Computers Helping People with Special Needs - 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part I}
}
@inproceedings{conf/icchp/VeldS18,
title = {The Dutch Best Practice for Teaching Chemistry Diagrams to the Visually Impaired.},
year = {2018},
booktitle = {ICCHP (1)},
author = {{Dorine in 't Veld} and {Volker Sorge}},
publisher = {Springer},
booktitle = {Computers Helping People with Special Needs - 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part I}
}
@inproceedings{conf/w4a/CervoneS19,
title = {Adaptable Accessibility Features for Mathematics on the Web.},
year = {2019},
booktitle = {W4A},
author = {{Davide Cervone} and {Volker Sorge}},
publisher = {ACM},
booktitle = {Proceedings of the 16th Web For All 2019 Conference - Personalizing the Web, W4A 2019, San Francisco, CA, USA, May 13-15, 2019.}
}
@incollection{series/hci/SorgeABG19,
title = {Scientific Documents.},
year = {2019},
booktitle = {Web Accessibility (2nd Ed.)},
author = {{Volker Sorge} and {Dragan Ahmetovic} and {Cristian Bernareggi} and {John Gardner}},
publisher = {Springer},
booktitle = {Web Accessibility - A Foundation for Research, Second Edition}
}
@inproceedings{conf/w4a/Sorge20,
title = {Session details: Standards and policy.},
year = {2020},
booktitle = {W4A},
author = {{Volker Sorge}},
publisher = {ACM},
booktitle = {W4A '20: 17th Web for All Conference, Taipei, Taiwan, April 20-21, 2020}
}
@inproceedings{conf/w4a/SorgeBJGVB20,
title = {Towards generating web-accessible STEM documents from PDF.},
year = {2020},
booktitle = {W4A},
author = {{Volker Sorge} and {Akashdeep Bansal} and {Neha M. Jadhav} and {Himanshu Garg} and {Ayushi Verma} and {Meenakshi Balakrishnan}},
publisher = {ACM},
booktitle = {W4A '20: 17th Web for All Conference, Taipei, Taiwan, April 20-21, 2020}
}
@article{journals/sigaccess/BansalBS20,
title = {Comprehensive accessibility of equations by visually impaired.},
year = {2020},
journal = {ACM SIGACCESS Access. Comput.},
author = {{Akashdeep Bansal} and {Meenakshi Balakrishnan} and {Volker Sorge}}
}
@inproceedings{conf/icchp/BansalSBA22,
title = {Towards Semantically Enhanced Audio Rendering of Equations.},
year = {2022},
booktitle = {ICCHP-AAATE (1)},
author = {{Akashdeep Bansal} and {Volker Sorge} and {Meenakshi Balakrishnan} and {Aayush Aggarwal}},
publisher = {Springer},
booktitle = {Computers Helping People with Special Needs - 18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11-15, 2022, Proceedings, Part I}
}
@inproceedings{conf/icchp/JuyalSJSB22,
title = {Making Equations Accessible in Scientific Documents.},
year = {2022},
booktitle = {ICCHP-AAATE (1)},
author = {{Shivansh Juyal} and {Sanjeev Sharma} and {Neha Jadhav} and {Volker Sorge} and {Meenakshi Balakrishnan}},
publisher = {Springer},
booktitle = {Computers Helping People with Special Needs - 18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11-15, 2022, Proceedings, Part I}
}
@inproceedings{conf/w4a/AustinS23a,
title = {Authoring Web-accessible Mathematical Diagrams.},
year = {2023},
booktitle = {W4A},
author = {{David Austin} and {Volker Sorge}},
publisher = {ACM},
booktitle = {20th International Web for All Conference, W4A 2023, Austin, TX, USA, 30 April 2023 - 1 May 2023.}
}