Tinko Tinchev
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
1985–2026
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | LREC | Bulgarian Massive Multitask Language Understanding Benchmark. | Svetla Peneva Koeva, Ivelina Stoyanova, Dimiter Georgiev, Svetlozara Leseva, Valentina Stefanova, Maria Todorova, Tsvetana Ivanova Dimitrova, Hristina Kukova, Mihaela Moskova, Tinko Tinchev |
| 2016 | AiML | Unification in modal logic Alt | Philippe Balbiani, Tinko Tinchev |
| 2014 | AiML | Definability and Computability for PRSPDL. | Philippe Balbiani, Tinko Tinchev |
| 2014 | DAS | Flexible Noisy Text Correction. | Andrey Sariev, Vladislav Nenchev, Stefan Gerdjikov, Petar Mitankin, Hristo Ganchev, Stoyan Mihov, Tinko Tinchev |
| 2010 | AiML | Logics of Space with Connectedness Predicates: Complete Axiomatizations. | Tinko Tinchev, Dimiter Vakarelov |
| 2009 | RANLP | Large Vocabulary Continuous Speech Recognition for Bulgarian. | Petar Mitankin, Stoyan Mihov, Tinko Tinchev |
| 2004 | JELIA | Line-Based Affine Reasoning in Euclidean Plane. | Philippe Balbiani, Tinko Tinchev |
| 1985 | FCT | Quantifiers in combinatory PDL: completeness, definability, incompleteness. | Solomon Passy, Tinko Tinchev |