| Статия в научно списание |
|
1
|
Tatyana Ivanova, Tinchev, Tinko, The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete, Transactions of the American Mathematical Society, vol:378, issue:2, 2025, pages:1433-1447, ISSN (print):0002-9947, ISSN (online):1088-6850, doi:https://doi.org/10.1090/tran/9302, Ref, Web of Science, IF (1.2 - 2024), Web of Science Quartile: Q1 (2025), SCOPUS, SJR (1.581 - 2023), SCOPUS Quartile: Q1 (2025), MathSciNet
|
2025
|
|
2
|
Tatyana Ivanova, Dimiter Vakarelov, Distributive mereotopology: Extended distributive contact lattices, Annals of Mathematics and Artificial Intelligence, vol:77, issue:1-2, 2016, pages:3-41, ISSN (print): 1012-2443 , ISSN (online):1573-7470, doi:https://doi.org/10.1007/s10472-016-9499-5 , Ref, Web of Science, IF (807 - 2016), SCOPUS, SJR (438 - 2016), SCOPUS Quartile: Q3 (MATH appl.2016 WOS), PhD
|
2016
|
|
3
|
Georgi Bodurov, Tatyana Ivanova, Miroslav Abrashev, Zoya Nenova, Kostadinka Gesheva, Thin Film Optical Coatings of Vanadium Oxide and Mixed Tungsten/Vanadium Oxide Deposited by APCVD Employing Precursors of Vanadyl Acetylacetonate and a Mixture with Tungsten Hexacarbonyl, Physics Procedia, том:46, 2013, стр.:127-136, doi:http://dx.doi.org/10.1016/j.phpro.2013.07.054, Ref, Web of Science
|
2013
|
| Статия в сборник (на конференция и др.) |
|
1
|
Tatyana Ivanova, Tinko Tinchev, First-order theory of lines in Euclidean plane, Logic Colloquium 2019. Book of abstracts, editor/s:D. Chodounský, Š. Stejskalová, J. Verner, Publisher:AMCA, spol. s.r.o.; Publishing house of the Faculty of Mathematics and Physics Charles University, 2019, pages:209-209, ISBN:978-80-88214-19-9
|
2019
|
|
2
|
Tatyana Ivanova, Extended contact algebras and internal connectedness, Proceedings of the 10th Panhellenic Logic Symposium, 2015
|
2015
|
|
3
|
Tatyana Ivanova, Tinko Tinchev, Line-Based Reasoning in Euclidean Plane, Jubilee conference 125 years mathematics and natural sciences at Sofia University, Book of abstracts, Publisher:Sofia University Press , 2014, pages:141-141, PhD
|
2014
|
| Участие в конференция |
|
1
|
Секционен доклад, Татяна Иванова, Extended contact algebras and internal connectedness
|
2015
|
|
2
|
Секционен доклад, Татяна Иванова, Разширени дистрибутивни контактни решетки
|
2015
|
|
3
|
Секционен доклад, Татяна Иванова, Line-based reasoning in Euclidean plane
|
2014
|