Daniyar Itegulov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2017–2018
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | COLING | Sensala: a Dynamic Semantics System for Natural Language Processing. | Daniyar Itegulov, Ekaterina Lebedeva, Bruno Woltzenlogel Paleo |
| 2018 | WoLLIC | Handling Verb Phrase Anaphora with Dependent Types and Events. | Daniyar Itegulov, Ekaterina Lebedeva |
| 2017 | CADE | Scavenger 0.1: A Theorem Prover Based on Conflict Resolution. | Daniyar Itegulov, John K. Slaney, Bruno Woltzenlogel Paleo |