| Дипломна работа |
|
|
Андрей Константинов Сариев, ω-Тюрингови степени, ФМИ, СУ, Ръководител:доц. д-р Христо Ганчев, доц. д-р Мария Соскова
|
2011
|
| Дисертация д-р |
|
|
Андрей Константинов Сариев, Определимост в степенни структури, , Ръководител:доц. д-р Христо Александров Ганчев
|
2015
|
| Научен проект |
|
1
|
Андрей Сариев, Определимост в алгебрични структури и степенни струтури, Член, , Номер на договора:80-10-134/20.05.2022
|
2022
|
|
2
|
Андрей Сариев, Определимост в алгебрични структури и степенни струтури, Член, , Номер на договора:80-10-136/26.03.2021
|
2021
|
|
3
|
Андрей Сариев, Определимост в алгебрични структури и степенни струтури, Член, , Номер на договора:80-10-128/16.04.2020 г
|
2020
|
|
4
|
Андрей Сариев, Алгебрични системи и номерационни оператори, Член, , Номер на договора:ДНТС/Русия 01/8 23.6.2017
|
2017
|
|
5
|
Андрей Сариев, Модели на изчислимост, Член, , Номер на договора:ДН 02/16 (19.12.2016)
|
2017
|
|
6
|
Андрей Сариев, Определимост в алгебрични и степенни структури, Член,
|
2017
|
|
7
|
Андрей Сариев, Определимост в алгебрични структури, Член, , Номер на договора:54/12.04.2016
|
2016
|
|
8
|
Андрей Сариев, Определимост в алгебрични структури и степенни структури, Член, , Номер на договора:81/03.04.2015
|
2015
|
|
9
|
Андрей Сариев, Определимост в алгебрични структури и степенни структури, Член, , Номер на договора:97/08.05.2014
|
2014
|
|
10
|
Андрей Сариев, Определимост в алгебрични структури и степенни структури, Член, , Номер на договора:44/15.04.2013
|
2013
|
|
11
|
Андрей Сариев, Интегриране на нови практики и знания в обучението по компютърна лингвистика, Член, , Номер на договора:BG051PO001-3.3.06-0022
|
2012
|
|
12
|
Андрей Сариев, CULTURA - CULTivating Understanding and Research through Adaptivity, Член,
|
2011
|
|
13
|
Андрей Сариев, Определимост в степенни структури, Член, , Номер на договора:ДМУ 03-7/12.12.2011
|
2011
|
| Статия в научно списание |
|
1
|
Ganchev, Hristo, A. Sariev, The automorphism group and definability of the jump operator in the omega-enumeration degrees, ARCHIVE FOR MATHEMATICAL LOGIC, vol:60, issue:7-8, 2021, pages:909-925, ISSN (print):0933-5846, ISSN (online):1432-0665, doi:10.1007/s00153-021-00766-7
|
2021
|
|
2
|
Hristo Ganchev, Andrey Sariev, The automorphism group and definability of the jump operator in the ω-enumeration degrees, Archive for Mathematical Logic, 2021, ISSN (print):1432-0665, ISSN (online):0933-5846, doi:http://doi.org.https.jxnydx.proxy.chaoxing.com/10.1007/s00153-021-00766-7, Ref, Web of Science, IF (0.485 - 2019), Web of Science Quartile: Q4 (16/21 Logic), SCOPUS, SJR (0.618 - 2020), SCOPUS Quartile: Q1 (Philosophy)
|
2021
|
|
3
|
Ganchev, Hristo, Sariev, Andrey C., Definability in the local structure of the omega-Turing degrees, MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, vol:29, issue:7, 2019, pages:927-937, ISSN (print):0960-1295, ISSN (online):1469-8072, doi:10.1017/S0960129519000021
|
2019
|
|
4
|
Andrey Sariev, Hristo Ganchev, Definability in the local structure of the ω-Turing degrees, Mathematical Structures in Computer Science, vol:29, issue:7, 2019, pages:927-937, ISSN (print):0960-1295, ISSN (online):1469-8072, doi:https://doi.org/10.1017/S0960129519000021, Ref, Web of Science, IF (0.647 - 2019), Web of Science Quartile: Q4 (96/108 Computer Science, Theory & Methods), SCOPUS, SJR (0.541 - 2019), SCOPUS Quartile: Q2 (Mathematics)
|
2019
|
|
5
|
Andrey Sariev, Hristo Ganchev, Definability issues in the ω-Turing degrees, ANNUAL OF SOFIA UNIVERSITY ST. KLIMENT OHRIDSKI FACULTY OF MATHEMATICS AND INFORMATICS, vol:105, 2018, pages:45-54, ISSN (print):1313-9215, ISSN (online):2603-5529, Ref
|
2018
|
|
6
|
Hristo Ganchev, Andrey Sariev, DEFINABILITY OF JUMP CLASSES IN THE LOCAL THEORY OF THE ω-ENUMERATION DEGREES, Ann. Univ. Sofia University, vol:102, 2015, pages:207-224, ISSN (print):0205-0808, Ref, PhD
|
2015
|
|
7
|
Hristo Ganchev, Andrey Sariev, The ω-Turing degrees, Annals of Pure and Applied Logic, vol:165, issue:9, 2014, pages:1512-1532, ISSN (print):0168-0072, doi:10.1016/j.apal.2014.04.017, Ref, Web of Science, IF (0.548 - 2014), Web of Science Quartile: Q2 (9/21 Logic), SCOPUS, SJR (0.924 - 2014), SCOPUS Quartile: Q1 (Logic), PhD
|
2014
|
| Статия в сборник (на конференция и др.) |
|
1
|
Andrey C. Sariev, Minimal ω-Turing degrees, Proceedings of the 12th Panhellenic Logic Symposium, editor/s:Pantelis Eleftheriou, Nikos Tzevelekow, 2019
|
2019
|
|
2
|
Andrey C. Sariev, Hristo Ganchev, Definability of the jump operator in the ω-enumeration degrees, Proceedings of the 11th Panhellenic Logic Symposium, editor/s:A. Soskova, A. Kakas, N. Papaspyrou, 2017, pages:61-64
|
2017
|
|
3
|
Andrey Sariev, Definability of jump classes in the local theory of the ω-Turing degrees, 10th Pan-Hellenic Logic Symposium, editor/s:C. Dimitracopoulos and T. Phiedas, Publisher:University of Egean Press, 2015, pages:20-24
|
2015
|
|
4
|
Andrey Sariev, Vladislav Nenchev, Stefan Gerdjikov, Petar Mitankin, Hristo Ganchev, Stoyan Mihov, Tinko Tinchev, Flexible noisy text correction, 11th IAPR International Workshop On Document Analisys Systems, 2014, pages:31-35, ISBN:978-1-4799-3243-6, doi:10.1109/DAS.2014.12, Ref, SCOPUS, SJR (0.367 - 2015)
|
2014
|
| Студия в научно списание |
|
|
Sariev, Andrey C., Ganchev, Hristo, The w-Turing degrees, ANNALS OF PURE AND APPLIED LOGIC, vol:165, issue:9, 2014, pages:1512-1532, ISSN (print):0168-0072, ISSN (online):1873-2461, doi:10.1016/j.apal.2014.04.017
|
2014
|
| Участие в конференция |
|
1
|
Секционен доклад, Андрей Сариев, Minimal ω-Turing degrees
|
2019
|
|
2
|
Секционен доклад, Андрей Сариев, Definability of the jump operator in the ω-enumeration degrees
|
2017
|
|
3
|
Секционен доклад, Андрей Сариев, Definability of jump classes in the structure ot the local substructure of the ω-Turing degrees
|
2015
|
|
4
|
Секционен доклад, Андрей Сариев, Definability of jump classes in the local structure of the ω-Turing degrees
|
2015
|
|
5
|
Секционен доклад, Андрей Сариев, Definability of 0' in the structure of the ω-enumeration degrees
|
2014
|
|
6
|
Секционен доклад, Андрей Сариев, Definability of 0' in the structure of the ω-enumeration degrees
|
2014
|
|
7
|
Секционен доклад, Андрей Сариев, Definability in the theories of the ω-enumeration and the ω-Turing degrees
|
2014
|
|
8
|
Секционен доклад, Андрей Сариев, Определимост в локалната теория на ω-номерационните степени
|
2013
|
|
9
|
Секционен доклад, Андрей Сариев, Definability in the local theory of the ω-enumeration degrees
|
2013
|
|
10
|
Секционен доклад, Андрей Сариев, Definability in the theories of the ω-enumeration and the ω-Turing degrees
|
2013
|
|
11
|
Секционен доклад, Андрей Сариев, Минимални ω-Тюрингови степени
|
2012
|
|
12
|
Секционен доклад, Андрей Сариев, The ω-Turing degrees
|
2012
|
|
13
|
Секционен доклад, Андрей Сариев, The ω-Turing degrees
|
2012
|
|
14
|
Секционен доклад, Андрей Сариев, ω-тюрингови степени
|
2011
|
|