Evgeni Tsivtsivadze
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2005–2012
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | CADE | Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics. | Daniel Khlwein, Twan van Laarhoven, Evgeni Tsivtsivadze, Josef Urban, Tom Heskes |
| 2012 | DIS | Online Co-regularized Algorithms. | Tom de Ruijter, Evgeni Tsivtsivadze, Tom Heskes |
| 2011 | IC3K | Multi-output Ranking for Automated Reasoning. | Daniel Khlwein, Josef Urban, Evgeni Tsivtsivadze, Herman Geuvers, Tom Heskes |
| 2011 | SDM | Semantic Graph Kernels for Automated Reasoning. | Evgeni Tsivtsivadze, Josef Urban, Herman Geuvers, Tom Heskes |
| 2007 | WABI | Locality Kernels for Protein Classification. | Evgeni Tsivtsivadze, Jorma Boberg, Tapio Salakoski |
| 2005 | IDA | Regularized Least-Squares for Parse Ranking. | Evgeni Tsivtsivadze, Tapio Pahikkala, Sampo Pyysalo, Jorma Boberg, Aleksandr Myllri, Tapio Salakoski |