| Дипломна работа |
|
1
|
Димитър Тодоров Георгиев, Програмна реализация на алгоритъма SQEMA за модална определимост, СУ "Климент Охридски" - ФМИ, Ръководител:Димитър Вакарелов, Тинко Тинчев
|
2006
|
|
2
|
Dimiter Georgiev, Using the GPU to find 2D curve plots and 3D parametric surfaces intersections, Høgskollen i Narvik, Ръководител:Lubomir T. Dechevsky
|
2005
|
| Дисертация д-р |
|
|
Димитър Тодоров Георгиев, Алгоритмични методи за некласически логики, Софийски университет "Св. Климент Охридски", Ръководител:Тинко Тинчев
|
2017
|
| Научен проект |
|
1
|
Димитър Георгиев, Определимост, аксиоматизируемост и опровержимост: алгоритмични проблеми, Член, , Номер на договора:5/2015
|
2015
|
|
2
|
Димитър Георгиев, Подобрена система за извод в приложни некласически логики, базирана на семантични таблици, Член, , Номер на договора:ДРИЛА01/2
|
2015
|
| Статия в научно списание |
|
1
|
Philippe Balbiani, Dimiter Georgiev, Tinko Tinchev, Modal correspondence theory in
the class of all Euclidean frames, Journal of Logic and Computation, vol:28, issue:1, 2018, pages:119-131, ISSN (print):0955-792X, ISSN (online):1465-363X, doi:https://doi.org/10.1093/logcom/exx033, Ref, Web of Science, SCOPUS Quartile: Q2 (Logic - 2017), International, PhD
|
2018
|
|
2
|
D. T. Georgiev, Definability in the class of all KD45-frames - computability
and complexity, Journal of Applied Non-Classical Logics, vol:27, issue:1-2, 2017, pages:1-26, ISSN (online):11663081, doi:https://doi.org/10.1080/11663081.2017.1354498, Ref, International
|
2017
|
|
3
|
Arnt Roald Kristoffersen, Dimiter T. Georgiev, Lubomir T. Dechevsky, Arne Lakså, Vertex versus pixel based intersection: using the GPU for investigation of surface intersections, Journal of Pure and Applied Mathematics, vol:33, issue:3, 2006, International
|
2006
|
|
4
|
Arnt Roald Kristoffersen, Dimiter T. Georgiev, Lubomir T. Dechevsky, Arne Lakså, Joakim Gundersen, Børre Bang, Vertex versus pixel based intersection: using the GPU for investigation
of surface intersections, International journal of pure and applied mathematics, vol:33, issue:3, 2006, pages:345-365, International
|
2006
|
| Статия в поредица |
|
|
Dimiter T. Georgiev, Deterministic SQEMA and application for pre-contact logic, Годишник на Софийския Университет "Св. Климент Охридски" Факултет по Математика и Информатика, vol:Том 103, issue:103, editor/s:Гено Николов, Красен Стоянов, Publisher:Университетско издателство "Св. Климент Охридски", 2016, pages:149-176, ISSN (print):0205-0808
|
2016
|
| Статия в сборник (на конференция и др.) |
|
1
|
Dimiter Georgiev, Modal Depth of Formulas in K45 and K5, Proceedings of the 11th Panhellenic Logic Symposium, 2017, pages:93-99
|
2017
|
|
2
|
Dimiter Georgiev, Computability of definability in the class of all KD45 frames, Short presentations, 11th International Conference on Advances in Modal Logic, 2016, pages:59-63, International
|
2016
|
|
3
|
Dimiter Georgiev, SQEMA with Universal Modality, Proceedings of 10th Panhellenic Logic Symposium, 2015, pages:76-81
|
2015
|
|
4
|
Dimiter Georgiev, Tinko Tinchev, Dimiter Vakarelov, SQEMA - an Algorithm for Computing First-Order Correspondences in Modal Logic: a Computer Realization, International Conference Pioneers of Bulgarian Mathematics, Sofia, July 8--10, 2006, Book of Abstracts, 2006, pages:45-46, MSc
|
2006
|
| Участие в конференция |
|
1
|
Секционен доклад, Dimiter Georgiev, Modal Depth of Formulas in K45 and K5
|
2017
|
|
2
|
Секционен доклад, Dimiter Georgiev, Computability of definability in the class of all KD45 frames
|
2016
|
|
3
|
Секционен доклад, Димитър Георгиев, Алгоритъмът SQEMA за модален език с универсалната модалност
|
2015
|
|
4
|
Секционен доклад, Dimiter Georgiev, SQEMA with Universal Modality
|
2015
|
|
5
|
Секционен доклад, D. Georgiev, SQEMA - an Algorithm for Computing First-Order Correspondences in Modal Logic: a Computer Realization
|
2006
|