| Дипломна работа |
|
|
Стела Колева Николова, "Пример за алгебрична система, пълна по отношение на изчислимост със стандартни програми с броячи, но непълна по отношение на изчислимост с рекурсивни програми" , ФМИ на СУ "Св. Кл. Охридски", Ръководител:проф. дмн Иван Сосков
|
1985
|
| Дисертация д-р |
|
|
Стела Николова, Допустимост в абстрактни структури с произволна мощност, ФМИ на СУ "Св. Кл. Охридски", Ръководител:проф. дмн Димитър Скордев
|
1992
|
| Книга |
|
1
|
Alexandra Soskova, Mariya Soskova, Hristo Ganchev, Stela Nikolova, Collected works of Ivan Soskov, ISBN:978-954-07-3758-4, St. Kliment Ohridski University Press, Sofia, Рецензирано
|
2014
|
|
2
|
Александра Соскова, Стела Николова, Семантика на езиците за програмиране, ISBN: 978-954-8495-41-7, СОФТЕХ, София, Рецензирано
|
2008
|
|
3
|
Александра Соскова, Стела Николова, Теория на програмите в задачи, ISBN: 954-849-508-2, СОФТЕХ, София, Рецензирано
|
1997
|
| Научен проект |
|
1
|
Стела Николова, Конференция по математическа логика с международно участие, Член, , Номер на договора:80-10-210/2023
|
2023
|
|
2
|
Стела Николова, “Интегриране на нови практики и знания в обучението по компютърна лингвистика”, Член, Евопейски социален фонд на ЕС, Номер на договора:BG051PO001-3.3.06-0022, Оперативна програма „Развитие на човешките ресусри"
|
2015
|
|
3
|
Стела Николова, "Изчислимост и относителна изчислимост в частични структури"
, Член, ФНИ на СУ, Номер на договора:155/2011
|
2011
|
|
4
|
Стела Николова, “Изчислимост и относителна изчислимост в частични структури” , Член, ФНИ на СУ, Номер на договора:134/2010 с ФНИ на СУ
|
2010
|
|
5
|
Стела Николова, Национален турнир на младите математици, Ръководител, ФНИ на СУ, Номер на договора:188/2010 с ФНИ на СУ
|
2010
|
|
6
|
Стела Николова, „Недетерминистични изчислителни модели”, Член, ФНИ на СУ, Номер на договора:113/2005 с ФНИ на СУ
|
2005
|
|
7
|
Стела Николова, „Абстракни изчислителни модели”, Член, ФНИ на СУ
|
2003
|
|
8
|
Стела Николова, Договор И 604 с МОН, Член,
|
1997
|
|
9
|
Стела Николова, Договор № 933 с МОН, Член,
|
1991
|
|
10
|
Стела Николова, Договор № 247 с МОН, Член,
|
1988
|
| Научно ръководство |
|
1
|
Стела Николова, „Метод на приоритета с безкрайни нарушения”, ФМИ на СУ "Св. Кл. Охридски" дипломна работа:Мария Соскова
|
2005
|
|
2
|
Стела Николова, "Характеризация на недетерминистични програми в абстрактни структури" , ФМИ на СУ "Св. Кл. Охридски" дипломна работа:Илия Пчеларов
|
2003
|
| Редактор на издание нереферирано |
|
|
Стела Николова, Collected works of Ivan Soskov, St. Kliment Ohridski University Press, Sofia, Редактор на издание нереферирано
|
2014
|
| Редактор на сборник |
|
1
|
Стела Николова, сборник „Сказки по логика“, изд. Изток - Запад, Редактор на сборник
|
2017
|
|
2
|
Стела Николова, сборник „Математически шлагери“, изд. Софтех, Редактор на сборник
|
2015
|
| Статия в научно списание |
|
1
|
Александра Соскова, Стела Николова, Проф. Димитър Скордев
в спомените на съвременниците си
, Годишник на Софийския университет, том:109, 2023, стр.:5-18, ISSN (print): 1313-9215 , ISSN (online):2603-5529, doi:10.60063/GSU.FMI.109.5-18, Ref
|
2023
|
|
2
|
Stela Nikolova, Shared thoughts on Ivan Soskov (1954 - 2013), Computability, vol:3, issue:1, 2014, pages:63-72, ISSN (print):ISSN: 2211-3568 , ISSN (online):E-ISSN: 2211-3576, doi:DOI: 10.3233/COM-14026, Ref
|
2014
|
|
3
|
S. K. Nikolova, On the notion of \for_all-recursiveness of non-deterministic programs, In: S. B. Cooper, B. Löwe, and L. Torenvliet (editors), Computability in Europe 2005: New Computational Paradigms, University of Amsterdam ILLC Scientific Publications, X-2005-01, 2005, pages:178-187
|
2005
|
|
4
|
S. K. Nikolova, Relatively intrinsically arithmetical sets. , Univ. Sofia, Fac. Math. et Inf., vol:97, 2005, pages:43-64, ISSN (print):0205-0808, Ref
|
2005
|
|
5
|
S. K. Nikolova, Definability via partial enumerations with semicomputable codomains. , Univ. Sofia, Fac. Math. et Inf., vol:92, 2000, pages:49-63, ISSN (print):0205-0808, Ref, Zentralblatt(Zbl 1079.03541)
|
2000
|
|
6
|
S. K. Nikolova, \Pi^0_1-positive inductive definability on abstract structures. , Univ. Sofia, Fac. Math. et Inf., vol:90, 1996, pages:91-108, ISSN (print):0205-0808, Ref
|
1996
|
|
7
|
Stela Nikolova, Admissible functionals in abstract structures with arbitrary power., Univ. Sofia, Fac. Math. et Inf., vol:87, issue:1-2, 1993, pages:189-201, ISSN (print):0205-0808, Zentralblatt(Zbl 1079.03540)
|
1993
|
|
8
|
S. K. Nikolova, \mu-admissibility in abstract structures of arbitrary power. Compt. Rend. Acad. Bulg. Sci., Compt. Rend. Acad. Bulg. Sci., vol:43, issue:10, 1990, pages:9-11, ISSN (print):1310-1331, ISSN (online):2367-5535, Ref, Web of Science, SCOPUS Quartile: Q4 (1990)
|
1990
|
|
9
|
S. K. Nikolova, Computability in sense of Moschovakis over multiple-valued abstract structures. , Compt. rend. de l'Acad. bulg. Sci., vol:43, issue:1, 1990, pages:33-35, ISSN (print):1310-1331, ISSN (online):2367-5535, Ref, Web of Science
|
1990
|
| Статия в сборник (на конференция и др.) |
|
1
|
S. K. Nikolova, I. Pchelarov, Points of \forall definedness of non-deterministic programs over arbitrary data type, In: Proceedings of the 5th Panhellenic Logic Symposium (Athens, July 25-28, 2005), Univ. of Athens, 2005, pp. 105-110, In: Proceedings of the Fifth Panhellenic Logic Symposium, Athens, Greece, 2005, pages:105-110, MSc
|
2005
|
|
2
|
S. K. Nikolova, Definability via partial enumerations with \Pi^0_n domains., In: Proceedings of the Second Panhellenic Logic Simposium, Delphi, Greece, editor/s:Phokion Kolaitis, George Koletsos, Publisher:MPLA, 1999, pages:171-174, ISBN: 960-91161-0-8, Ref
|
1999
|
|
3
|
S. K. Nikolova, On the notion of \forall -recursiveness of non-deterministic procedures. , In: Proceedings of the International Summer School and Conference on Mathematical Logic "Kleene'90", Varna, 1990
|
1990
|
| Участие в конференция |
|
1
|
Секционен доклад, Стела Николова, Uniform Turing admissibility over an arbitrary abstract structure, contributed talk
|
2010
|
|
2
|
Секционен доклад, Стела Николова, Индуктивна определимост в абстрактни структури
|
2005
|
|
3
|
Секционен доклад, Стела Николова, Points of \forall definedness of non-deterministic programs over arbitrary data type
|
2005
|
|
4
|
Секционен доклад, Стела Николова, On the notion of \for_all-recursiveness of non-deterministic programs
|
2005
|
|
5
|
Секционен доклад, Стела Николова, Definability via partial enumerations with \Pi^0_n domains.
|
1999
|
|
6
|
Секционен доклад, Стела Николова, Pi^0_1-positive inductive definability on abstract structures
|
1996
|
|
7
|
Секционен доклад, Стела Николова, Pi^1_1 positive inductive definitions from the view point of Computability theory
|
1995
|
|
8
|
Секционен доклад, Стела Николова, On the notion of \forall -recursiveness of non-deterministic procedures
|
1990
|
|