Howard S. Cohl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2015–2022
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | TACAS | Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems. | Andr Greiner-Petter, Howard S. Cohl, Abdou Youssef, Moritz Schubotz, Avi Trost, Rajen Dey, Akiko Aizawa, Bela Gipp |
| 2020 | WWW | Discovering Mathematical Objects of Interest - A Study of Mathematical Notations. | Andr Greiner-Petter, Moritz Schubotz, Fabian Mller, Corinna Breitinger, Howard S. Cohl, Akiko Aizawa, Bela Gipp |
| 2019 | SIGIR | Towards Formula Concept Discovery and Recognition. | Philipp Scharpf, Moritz Schubotz, Howard S. Cohl, Bela Gipp |
| 2016 | CIKM | Getting the units right. | Moritz Schubotz, David Veenhuis, Howard S. Cohl |
| 2016 | SIGIR | Semantification of Identifiers in Mathematics for Better Math Information Retrieval. | Moritz Schubotz, Alexey Grigorev, Marcus Leich, Howard S. Cohl, Norman Meuschke, Bela Gipp, Abdou S. Youssef, Volker Markl |
| 2015 | SIGIR | Challenges of Mathematical Information Retrievalin the NTCIR-11 Math Wikipedia Task. | Moritz Schubotz, Abdou Youssef, Volker Markl, Howard S. Cohl |