| Дипломна работа |
|
|
Александра Андреева Соскова, Някои проблеми, свързани с дефиницията на понятието проста изчислимост, Софийски университет, Ръководител:проф дмн Димитър Скордев
|
1979
|
| Дисертация доктор на науките |
|
|
Александра Андреева Соскова, Computable structure theory: Jump of structure. Coding and decoding.
Ефективна теория на моделите. Скок на структура. Кодиране и декодиране., ФМИ, СУ
|
2021
|
| Дисертация д-р |
|
|
Александра Андреева Соскова, Ефективни алгебрични системи, Софийски университет, Ръководител:проф дмн Димитър Скордев
|
1990
|
| Друго (научно-популярни и др. под.) |
|
|
A. A. Soskova, ELEVENTH PANHELLENIC LOGIC SYMPOSIUM (PLS 11, 2017) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Delphi, Greece July 12-16, 2017,
|
2018
|
| Книга |
|
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
|
Александра Соскова, Efficient calculations and algorithms.
Applications in solving theoretical and practical problems
from various scientific, Член, Европейска комисия, Номер на договора:70-123-195
|
2024
|
|
2
|
Александра Соскова, "Определимост в алгебрични структури
и степенни структури“, Член, ФНИ, СУ, Номер на договора:80-10-180/17.05.2023 г.
|
2023
|
|
3
|
Александра Соскова, Конференция по математическа логика с международно участие, Член, ФНИ, СУ, Номер на договора:80-10-210 / 22.5.2023 г.
|
2023
|
|
4
|
Александра Соскова, Определимост в алгебрични структури и степенни струтури, Член, ФНИ, СУ, Номер на договора:80-10-134/20.05.2022 г.
|
2022
|
|
5
|
Александра Соскова, Определимост в алгебрични структури и степенни струтури, Член, СУ
|
2021
|
|
6
|
Александра Соскова, Определимост в алгебрични структури и степенни струтури, Ръководител, СУ, Номер на договора:80-10-128/16.04.2020 г.
|
2020
|
|
7
|
Александра Соскова, Ефективни свойства на абстрактни структури, Ръководител, МОН, ФНИ, Номер на договора:КП-06-Австрия-04 от 06.08.2019 г.
|
2019
|
|
8
|
Александра Соскова, Алгебрични системи и номерационни оператори, Член, МОН - ФНИ, Номер на договора:ДНТС/Русия 01/8 от 23.6.2017 г.
|
2017
|
|
9
|
Александра Соскова, Определимост в агеберични структури и степенни структури, Ръководител, ФНИ СУ
|
2017
|
|
10
|
Александра Соскова, Colaboration in Computability, Ръководител, NSF, САЩ, Номер на договора:DMS 1600625
|
2016
|
|
11
|
Александра Соскова, Модели на изчислимост, Член, ФНИ на МОН, Номер на договора:ДН 02/16 (19.12.2016)
|
2016
|
|
12
|
Александра Соскова, Определимост в алгебрични степенни структури, Ръководител, ФНИ СУ, Номер на договора:54
|
2016
|
|
13
|
Александра Соскова, Определимост в алгебрични структури и степенни структури, Ръководител, СУ, Номер на договора:81/03/04/2015 ФНИ СУ
|
2015
|
|
14
|
Александра Соскова, Определимост в алгебрични структури и степенни структури, Ръководител, СУ
|
2014
|
|
15
|
Александра Соскова, Определимост в алгебрични структури и степенни структури, Ръководител, ФНИ, СУ, Номер на договора:2013
|
2013
|
|
16
|
Александра Соскова, Central European Exchange Program for University Studies (CEEPUS III), Network SEE Doctoral Studies in Mathematical Sciences, Ръководител, CEEPUS III, Номер на договора:CIII-BA-0715-01-1213
|
2012
|
|
17
|
Александра Соскова, Collaboration in Computability, Ръководител, NSF USA, Номер на договора:DMS-#1101123
|
2012
|
|
18
|
Александра Соскова, Mathematical Logic, Algebra and Algebraic Geometry, Член, FWO/BAS, Номер на договора:FWO/BAS 2013
|
2012
|
|
19
|
Александра Соскова, Определимост в алгебрични структури и степенни структури, Ръководител, ФНИ-СУ, Номер на договора:131/ 04.05.2012
|
2012
|
|
20
|
Александра Соскова, Формиране на нова генерация от изследователи в областта на математиката, информатиката и компютърните науки чрез подкрепа на творческия и иновативен потенциал на докторанти, постдокторанти и млади учени във ФМИ на СУ, Член, Оперативна програма „Развитие на човешките ресурси”.Европейски социален фонд 2007--2013, Номер на договора:BG051PO001-3.3.06-0052
|
2012
|
|
21
|
Александра Соскова, Travel support for CiE2011, Член, NSF USA, Номер на договора: NSF DMS-1101217
|
2011
|
|
22
|
Александра Соскова, Изчислимост в Европа 2011, Ръководител, ФНИ-СУ, Номер на договора:190/13.05.2011
|
2011
|
|
23
|
Александра Соскова, Mathematical logic and Computational Linguistic
Математическа логика и компютърна лингвистика: развитие и взаимно проникване , Член, Европейски социален фонд 2007--2013, Номер на договора:BG051PO001-3.3.04/27/28.08.2009
|
2009
|
|
24
|
Александра Соскова, Логически колоквиум 2009, Ръководител, ФНИ-СУ, Номер на договора:027/15.05.2009
|
2009
|
|
25
|
Александра Соскова, Computability with Partial Information
Изчислимост с непълна информация, Член, ФНИ, МОНМ, Номер на договора:Д002- 258/18.12.08, ФНИ, МОНМ, ИДЕИ
|
2008
|
|
26
|
Александра Соскова, SEE Doctoral Studies in Mathematical Sciences, Ръководител, European Commission - TEMPUS, Номер на договора:144703-TEMPUS-2008-BA-TEMPUS-JPCR
|
2008
|
|
27
|
Александра Соскова, Равномерна сводимост, Член, ФНИ-СУ, Номер на договора:95/2007 ФНИ, СУ
|
2007
|
|
28
|
Александра Соскова, Ефективни номерации, Член, ФНИ-СУ
|
2005
|
|
29
|
Александра Соскова, Абстрактни изчислителни модели, Член, ФНИ-СУ
|
2003
|
|
30
|
Александра Соскова, Договор И/604, Член, МОН, Номер на договора:И/604 / 1997
|
1997
|
|
31
|
Александра Соскова, Договор 933/1991, Член, МОН, Номер на договора:933/1991
|
1991
|
|
32
|
Александра Соскова, договор 247, Член, МОН, Номер на договора:247/1988
|
1988
|
| Научно ръководство |
|
1
|
Александра Соскова, Some types of structural learnability, СУ, ФМИ дипломна работа:Моника Илиева
|
2023
|
|
2
|
Александра Соскова, Омега спектри на структури, ФМИ, СУ дисертация д-р:Стефан Вътев
|
2014
|
|
3
|
Александра Соскова, Приложения на Маркеровите разширения, ФМИ, СУ дипломна работа:Александър Терзииванов
|
2014
|
|
4
|
Александра Соскова, ω-спектри и ω-коспектри на структури, Софийски университет дипломна работа:Стефан Вътев
|
2008
|
| Редактор на издание нереферирано |
|
1
|
Александра Соскова, Антони Какас, Николаос Папаспироу, Proceedings of the 11th Panhellenic Logic Symposium, Редактор на издание нереферирано
|
2017
|
|
2
|
Александра Соскова, М. Соскова, С. Николова, Х. Ганчев, Collected works of Ivan N. Soskov, Редактор на издание нереферирано
|
2014
|
| Редактор на издание реферирано |
|
1
|
Александра Соскова, П. Слоуп, К. Стефанов, И. Койчев, П. Бойчев, Advanced Research in Mathematics and Computer Science Doctoral Conference in Mathematics, Informatics and Education MIE 2014:, Редактор на издание реферирано
|
2014
|
|
2
|
Александра Соскова, Б. Льов, Д. Нурман, И. Сосков, Models of Computation in Context,CiE 2011, LNCS 6735, 2011. © Springer-Verlag Berlin Heidelberg 2011, Редактор на издание реферирано
|
2011
|
|
3
|
Александра Соскова, Б. Купър, А. Сорби, J Logic Computation (2011) doi: 10.1093/logcom/exq045 Computability at Logic Colloquium 2009, Редактор на издание реферирано
|
2009
|
| Статия в научно списание |
|
1
|
N. Bazhenov, E. Fokina, D. Rossegger, A. Soskova, S. Vatev, A Lopez-Escobar Theorem for Continuous Domains, Journal of Symbolic Logic, vol:Published online 2024:1-18., 2024, pages:1-18, ISSN (print):0022-4812, ISSN (online):1943-5886, doi:doi:10.1017/jsl.2024.18, Ref, Web of Science, IF (0.5 - 2023), Web of Science Quartile: Q3 (17/25 Logic), SCOPUS, SJR (0.703 - 2023), International
|
2024
|
|
2
|
Rumen Dimitrov, Valentina S. Harizanov, Andrey Morozov, Paul Shafer, Alexandra Soskova, Stefan Vatev, On cohesive powers of linear orders, Journal of Symbolic Logic, vol:88, issue:3, 2023, pages:974-1004, ISSN (print):0022-4812 , ISSN (online):1943-5886 , doi:10.1017/jsl.2023.14, Ref, Web of Science, IF (0.5 - 2023), Web of Science Quartile: Q3 (17/25 Logic), SCOPUS, SJR (0.703 - 2023), International
|
2023
|
|
3
|
Александра Соскова, Стела Николова, Проф. Димитър Скордев
в спомените на съвременниците си
, Годишник на Софийския университет, том:109, 2023, стр.:5-18, ISSN (print): 1313-9215 , ISSN (online):2603-5529, doi:10.60063/GSU.FMI.109.5-18, Ref
|
2023
|
|
4
|
Alvir, Rachael, Calvert, Wesley, Goodman, Grant, Harizanov, Valentina, Knight, Julia, Miller, Russell, Morozov, Andrey, Alexandra Soskova, Weisshaar, Rose, INTERPRETING A FIELD IN ITS HEISENBERG GROUP, JOURNAL OF SYMBOLIC LOGIC, vol:87, issue:3, 2022, pages:1215-1230, ISSN (print):0022-4812, ISSN (online):1943-5886, doi:10.1017/jsl.2021.107, Ref, Web of Science, IF (0.634 - 2023), Web of Science Quartile: Q3 (4/21 Logic/ WOS), SCOPUS, SJR (0.748 - 2021), SCOPUS Quartile: Q1 (Logic 2021 Scopus), International, PhD
|
2022
|
|
5
|
Julia Knight, Alexandra Soskova, Stefan Vatev, Coding in graphs and linear orderings, Journal of Symbolic Logic, vol:85, issue:2, 2020, pages:673-690, ISSN (print):0022-4812, ISSN (online):1943-5886, doi:10.1017/jsl.2019.91, Ref, Web of Science, IF (0.512 - 2020), Web of Science Quartile: Q3 (14/21 Logic WOS), SCOPUS, SJR (0.831 - 2020), SCOPUS Quartile: Q1 (Logic), International
|
2020
|
|
6
|
Uri Andrews, Hristo A. Ganchev, Rutger Kuyper, Steffen Lempp, Joseph S. Miller, Alexandra Soskova, Mariya I. Soskova, On cototality and the skip operator in the enumeration degrees, Transactions of the American Mathematical Society, vol:372, issue:3, 2019, pages:1631-1670, ISSN (print):1088-6850, ISSN (online):0002-9947, doi:https://doi.org/10.1090/tran/7604 , Ref, Web of Science, IF (1.363 - 2019), Web of Science Quartile: Q1 (60/365 Mathematics 2019), SCOPUS, SJR (2.022 - 2019), SCOPUS Quartile: Q1 (Mathematics 2019), International
|
2019
|
|
7
|
Richard Elwes, Andy Lewis-Pye, Benedikt L¨owe, Dugald Macpherson, Dag Normann, Alexandra A. Soskova, Mariya I. Soskova, Peter van Emde Boas, Stan Wainer, S. Barry Cooper (1943–2015), Computability, vol:7, issue:2-3, 2018, pages:103-131, ISSN (print):2211-3568 , ISSN (online):2221-3576, doi:DOI: 10.3233/com-180092, Ref, IR , SCOPUS, SJR (0.458 - 2018), SCOPUS Quartile: Q2 (CS/Scopus), International
|
2018
|
|
8
|
Alexandra Soskova, Wesley Calvert, Andrey Frolov, Valentina Harizanov, Julia Knight, Charles McCoy, Stefan Vatev, Strong Jump Inversion, Journal of Logic and Computation, vol:28, issue:7, 2018, pages:1499-1522, ISSN (print):0955-792X, ISSN (online):1465-363X, doi:10.1093/logcom/exy025, Ref, Web of Science, IF (0.509 - 2018), Web of Science Quartile: Q3 (13/20 Logic 2018 WOS), SCOPUS, SJR (0.436 - 2018), SCOPUS Quartile: Q2 (Logic 2018 WOS), International
|
2018
|
|
9
|
A. A. Soskova, I. N. Soskov, Quasi-minimal degrees for degree spectra, Journal of Logic and Computation, vol:23, issue:6, 2013, pages:1319-1334, ISSN (print):0955-792X, ISSN (online):1465-363X, doi:doi: 10.1093/logcom/ext045, Ref, Web of Science, IF (0.504 - 2013), Web of Science Quartile: Q2 (7/20 Logic 2013 WOS), SCOPUS, SJR (0.546 - 2013), SCOPUS Quartile: Q2 (Logic 2013 Scopus)
|
2013
|
|
10
|
Alexandra Soskova, S. Barry Cooper, Andrea Sorbi, Computability in Logic Colloquium 2009, Journal of Logic and Computation, vol:22, issue:4, 2012, pages:667-667, ISSN (print):0955-792X, ISSN (online):1465-363X, doi:https://doi.org/10.1093/logcom/exq045, Ref, Web of Science, IF (0.647 - 2012), Web of Science Quartile: Q1 (5/20 Logic WOS), SCOPUS, SJR (0.844 - 2012), SCOPUS Quartile: Q1 (Logic Scopus), International
|
2012
|
|
11
|
Alexandra A. Soskova, Ivan N. Soskov, A Jump Inversion Theorem for the Degree Spectra , Journal of Logic and Computation,, vol:19, issue:1, 2009, pages:199-215, ISSN (print):0955-792X, ISSN (online):1465-363X, doi: https://doi.org/10.1093/logcom/exn024, Ref, Web of Science, IF (0.789 - 2009), Web of Science Quartile: Q3 (63/93 Comp. Sci WOS), SCOPUS, SJR (0.586 - 2009), SCOPUS Quartile: Q1 (Hard &Arch Scopus)
|
2009
|
|
12
|
A. A. Soskova, Relativized Degree Spectra, Journal of Logic and Computation, vol:17, issue:6, 2007, pages:1215-1234, ISSN (print):0955-792X, ISSN (online):1465-363X, doi:doi: 10.1093/logcom/exm043, Ref, Web of Science, IF (0.831 - 2007), Web of Science Quartile: Q2 (39/79 Comp.Sci, 2007 WOS), SCOPUS, SJR (0.961 - 2007), SCOPUS Quartile: Q1 (CS Scopus)
|
2007
|
|
13
|
A. A. Soskova, Properties of co-spectra of joint spectra of structures, Annuaire de l'Universite de Sofia “St. Kliment Ohridski”, Faculté de Mathématiques et Informatique, vol:97, 2005, pages:23-40, ISSN (print):1313-9215, ISSN (online):2603-5529, Ref, MathSciNet(MR2191868)
|
2005
|
|
14
|
I. N. Soskov, A. A. Soskova, Co-spectra of joint spectra of structures, Годишник на СУ, vol:96, 2004, pages:35-44, ISSN (print):1313-9215, ISSN (online):2603-5529, Ref, MathSciNet(MR 2068289)
|
2004
|
|
15
|
A. A. Soskova, Effective structures, Mathematical Logic Quarterly, vol:43, issue:2, 1997, pages:235-250, ISSN (print):0942-5616 , ISSN (online):1521-3870, doi:https://doi.org/10.1002/malq.19970430207, Ref, Web of Science, IF (0.159 - 1997), Web of Science Quartile: Q4 (114/136 Mathematics 1997, WOS), SCOPUS, SJR (0.679 - 1997), SCOPUS Quartile: Q2 (Logic 1997/Scopus)
|
1997
|
|
16
|
I. N. Soskov, A. A. Soskova, Admissibility in $\Sigma^0_n$-enumerations, Годишник на СУ, vol:90, issue:Livre 1 - Mathématiques et Mecanique, 1996, pages:77-90, ISSN (print):1313-9215 , ISSN (online):2603-5529, Ref, MathSciNet(MR 1700128)
|
1996
|
|
17
|
A. A. Soskova, An external approach to Abstract Data Types I: Computability on ADT, Ann. Univ. Sofia, issue:87, 1993, pages:47-59, ISSN (print):1313-9215, ISSN (online):2603-5529, Ref, MathSciNet(MR 1745338)
|
1993
|
|
18
|
A. A. Soskova, Computability on many-sorted partial structures, Compt. rend. de l'Acad. bulg. Sci., vol:43, 1990, pages:9-11, ISBN:ISSN 1310–1331 (Print) ISSN 2367–5535 (Online), Ref, Web of Science, IF (0.106 - 2007), Web of Science Quartile: Q4 (46/50 Mult WOS), SCOPUS, SJR (0.121 - 2003), SCOPUS Quartile: Q3 (46/50 Mult/Scopus), Zentralblatt( Zbl 0704.03027)
|
1990
|
|
19
|
A. A. Soskova, Effective abstract structures, Compt. rend. de l'Acad. bulg. Sci., vol:43, 1990, pages:5-8, ISSN (print):1310–1331, ISSN (online): 2367–5535, Ref, Web of Science, IF (0.106 - 2007), Web of Science Quartile: Q4 (46/50 Mult WOS), SCOPUS, SJR (0.121 - 2003), SCOPUS Quartile: Q3 (Mult/Scopus)
|
1990
|
| Статия в сборник (на конференция и др.) |
|
1
|
Alexandra Soskova, Effective embeddings and interpretations, Descriptive Set Theory and Computable Topology (Dagstuhl Seminar 21461), Dagstuhl Reports, vol 11, 2021, editor/s:Mathieu Hoyrup and Arno Pauly and Victor Selivanov and Mariya I. Soskova, Publisher:Dagstuhl Publishing, 2022, pages:88-89, ISSN (online):2192-5283, doi:https://doi.org/10.4230/DagRep.11.10.72, Ref, IR , SCOPUS, SJR (0.685 - 2021), International
|
2022
|
|
2
|
Rumen Dimitrov, Valentina Harizanov, Andrey Morozov, Paul Shafer, Alexandra Soskova, Stefan Vatev, Cohesive powers of omega, The Bulletin of Symbolic Logic, vol 25 (4), editor/s:Lev Beklemishev, Publisher:Cambridge University Press, 2020, pages:508-508, ISSN (print):1079-8986 , ISSN (online):1943-5894, doi:https://doi.org/10.1017/bsl.2019.56, Ref, Web of Science, IF (0.857 - 2020), Web of Science Quartile: Q1 (4/21 Logic/ WOS), SCOPUS, SJR (0.585 - 2020), SCOPUS Quartile: Q1 (Philosophy/Scopus), International
|
2020
|
|
3
|
Julia Knight, Alexandra Soskova, Stefan Vatev, Effective coding
and decoding structures., The Bulletin of Symbolic Logic, vol 25 (4), editor/s:Lev Beklemishev, Publisher:Cambridge University Press, 2020, pages:515-515, ISSN (print):1079-8986, ISSN (online):1943-5894, doi:https://doi.org/10.1017/bsl.2019.56, Ref, Web of Science, IF (0.857 - 2020), Web of Science Quartile: Q1 (4/21 Logic/WOS), SCOPUS, SJR (0.585 - 2020), SCOPUS Quartile: Q1 (Phil./Scopus), International
|
2020
|
|
4
|
Rumen Dimitrov, Valentina Harizanov, Andrey Morozov, Paul Shafer, Alexandra Soskova, Stefan Vatev, Cohesive Powers of Linear Orders, Computing with Foresight and Industry, CiE 2019, Lecture Notes in Computer Science vol. 11558, editor/s:Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, Publisher:Springer, 2019, pages:168-180, ISSN (print):0302-9743, ISSN (online):1611-3349, ISBN:978-3-030-22995-5, doi:https://doi.org/10.1007/978-3-030-22996-2_15, Ref, IR , SCOPUS, SJR (0.427 - 2019), SCOPUS Quartile: Q2 (Computer Science (misc), International
|
2019
|
|
5
|
Alexandra A. Soskova, Structural properties of the cototal enumeration degrees, Bulletin of Symbolic Logic, 24, 2, 2017 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’17 Stockholm, Sweden August 14–20, 2017, editor/s:Mirna Dzamonya, Publisher:Cambridge University Press, 2018, pages:268-268, ISSN (print):1079-8986, ISSN (online):1943-5894, doi:https://doi.org/10.1017/bsl.2018.13, Ref, Web of Science, IF (0.742 - 2018), Web of Science Quartile: Q1 (4/20 Logic/WOS), SCOPUS, SJR (0.554 - 2018), SCOPUS Quartile: Q1 (Phil/Scopus)
|
2018
|
|
6
|
Alexandra Soskova, Cototal enumeration degrees and the skip operator, Aspects of Computation. Workshop on Classical Computability Theory 4-8 September 2017, editor/s:Noam Greenberg (Victoria University of Wellington) Keng Meng (Selwyn) Ng (Nanyang Technological University) Guohua Wu (Nanyang Technological University) Yue Yang (, Publisher:National University of Singapore, 2017, pages:9-11
|
2017
|
|
7
|
A. A. Soskova, M. I. Soskova, Enumeration degrees and computable structure theory, Computability and Complexity, Downey Festschrift, Lecture Notes of Computer Science vol. 10010,10010, editor/s:Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond , Publisher:Springer, 2017, pages:271-301, ISSN (print):0302-9743, ISSN (online):1611-3349, ISBN:978-3-319-50061-4, doi: DOI:10.1007/978-3-319-50062-1_19, Ref, IR , SCOPUS, SJR (0.295 - 2017), SCOPUS Quartile: Q2 (Comp. Sci/ Scopus), MathSciNet(MR3629727)
|
2017
|
|
8
|
Александра А. Соскова, Structural properties of spectra and omega-spectra, Unveiling Dynamics and Complexity, CiE 2017, editor/s:Sepinoid Azimi, Joonatan Jalonen, Jarkko Kari, Ion Petre, Publisher:TUCS General Publication, No 64, 2017, pages:51-52
|
2017
|
|
9
|
Александра Соскова, Любомир Иванов, Иван Георгиев, За Димитър Скордев от неговите ученици, Математика и Математическо Образование, ISSN 1313-3330, 46 Пролетна конференция на СМБ, editor/s:Е. Сендова, А. Търсанкова, Т. Пархоменко., Publisher:СМБ, 2017, pages:52-63, ISSN (print):1313 – 3330, Ref
|
2017
|
|
10
|
Alexandra A. Soskova, Stefan V. Vatev, Jump inversion for structures in
the context of enumeration and
omega-enumeration reducibilities, Bulletin of Symbolic Logic, 22, 3, 2016, 2015 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’15 Helsinki, Finland August 3–8, 2015 , editor/s:Dag Westerst˚ahl, Publisher:Cambridge University Press, 2016, pages:421-422, ISSN (print):1079-8986 , ISSN (online):1943-5894 , doi:https://doi.org/10.1017/bsl.2016.22, Ref, Web of Science, IF (0.742 - 2016), Web of Science Quartile: Q2 (7/21 Logic, 2016 WOS), SCOPUS, SJR (0.621 - 2016), SCOPUS Quartile: Q1 (Phil/Scopus)
|
2016
|
|
11
|
A. A. Soskova, Degree spectra of sequences of structures, Bulletin of Symbolic Logic Vol. 21, No. 1, 2015, editor/s:Frank Wagner, Publisher:Cambridge University Press, 2015, pages:92-92, ISSN (print):1079-8986, ISSN (online):1943-5894, doi:https://doi.org/10.1017/bsl.2015.3, Ref, Web of Science, IF (0.593 - 2015), Web of Science Quartile: Q2 (6/22 Logic WOS), SCOPUS, SJR (1.146 - 2015), SCOPUS Quartile: Q1 (Logic/Scopus)
|
2015
|
|
12
|
Alexandra Soskova, Alexander Terziivanov, Stefan Vatev, Generalization of the notion of jump sequence of sets for sequences of structures, Proceedings of 10th Panhellenic Logic Symposium, editor/s:C. Dimitracopolous, T. Phiedas, Publisher:University of Egean Press, 2015, pages:25-30, PhD
|
2015
|
|
13
|
A. A. Soskova, S. V. Vatev, Jump inversion for structures in the context of enumeration and omega-enumeration reducibilities., Proceedins of Logic Colloqium 2015, Helsinki, editor/s:Jouko Väänänen, Ilona Nevalainen,Dag Westerståhl, Publisher:University of Helsinki, 2015, pages:711-711
|
2015
|
|
14
|
A. A. Soskova, I. N. Soskov, Enumeration Degree Spectra of Abstract Structures, Трудове на конференцията “120 години ФМИ” към СУ, 2009, editor/s:Р.Леви, Publisher:СУ, 2012, pages:186-194, ISBN:1313-9045, Ref, MathSciNet(MR 3410072)
|
2012
|
|
15
|
A. A. Soskova, I. N. Soskov, S. V. Vatev, Degree spectra and conservative extensions of abstract structures, Proceedings of International Conference Malt'sev meeting, dedicated to the 60th anniversary of Sergey Goncharov October, 2011, Novosibirsk, editor/s:Yu.L. Ershov, A.S. Morozov , Publisher:Sobolev Institute in mathematics, 2011, pages:112-112, Ref, PhD
|
2011
|
|
16
|
A. A. Soskova, I. N. Soskov, Effective reducibilities and Degree spectra of
Abstract structures, Proceedins of First International İstanbul Graduate Summer School in Logic Modal logic and Its Applications, Publisher:ILLC publication, 2011
|
2011
|
|
17
|
A. A. Soskova, Omega degree spectra, The Bulletin of Symbolic Logic Vol. 15, No. 1, editor/s:Alex Wilke, Publisher:Cambridge University Press, 2009, pages:130-130, ISSN (print):1079-8986, ISSN (online):1943-5894, doi:doi.org/10.2178/bsl/1231081772, Ref, Web of Science, IF (0.694 - 2009), Web of Science Quartile: Q2 (104/255 Math 2009 WOS), SCOPUS, SJR (0.787 - 2009), SCOPUS Quartile: Q1 (Logic 2009 Scopus)
|
2009
|
|
18
|
A. A. Soskova, I. N. Soskov, Some applications of the Jump Inversion theorem, Proceedings of the 7th Panhellenic Logic Symposium, editor/s:C. Drossos, P. Peppas, C. Tsinakis, Publisher:Patra University, 2009, pages:157-161, Ref
|
2009
|
|
19
|
A. A. Soskova, I. N. Soskov, Some applications of the jump inversion theorem for degree spectra, Mathematical Theory and Computational Practice, CiE 2009, Heidelberg, editor/s:Klaus Ambos-Spies, Benedikt Loewe, Wolfgang Merkle, Publisher:University of Heidelberg, 2009, pages:355-355, Ref
|
2009
|
|
20
|
A. A. Soskova, Omega Spectra, Logic and Theory of Algorithms, Lecture Notes in Computer Science, vol. 5028, CiE2008, editor/s:A. Beckman, C. Dimitracopoulos, B. Loewe,, Publisher:Springer, 2008, pages:544-553, ISBN:Softcover ISBN 978-3-540-69405-2, eBook ISBN 978-3-540-69407-6; , doi:https://doi.org/10.1007/978-3-540-69407-6_58, Ref, IR , SCOPUS, SJR (0.277 - 2008), SCOPUS Quartile: Q2 (CS/Scopus)
|
2008
|
|
21
|
A. A. Soskova, A jump inversion theorem for the degree spectra, Computation and Logic in the Real World, Lecture Notes in Computer Science, volume 4497 CiE2007, Siena, editor/s: Cooper S.B., Löwe B., Sorbi A. (eds). , Publisher:Springer, 2007, pages:716-726, ISBN: Print ISBN 978-3-540-73000-2 ; Online ISBN 978-3-540-73001-9 , doi:doi.org/10.1007/978-3-540-73001-9_76, Ref, IR , SCOPUS, SJR (0.293 - 2007), SCOPUS Quartile: Q2 (CS, Scopus)
|
2007
|
|
22
|
A. A. Soskova, I. N. Soskov, Jump spectra of abstract structures, Proceedings of the 6th Panhellenic Logic Symposium (Volos, Greece),, editor/s:C. Dimitrakopoulos, S. Zachos, K. Hatzikiriakou, Publisher:Volos University, 2007, pages:114-117
|
2007
|
|
23
|
A. A. Soskova, Properties of relative spectra, Bulletin of Symbolic Logic vol. 13, (2) LC2006, editor/s:H. Geuvers, Helmut Schwichtenberg, Publisher:Cambridge University Press, 2007, pages:289-289, ISSN (print):1079-8986, ISSN (online):1943-5894 , doi:https://doi.org/10.2178/bsl/1174668222, Ref, Web of Science, IF (0.921 - 2007), Web of Science Quartile: Q1 (31/207 Mathematics WOS), SCOPUS, SJR (0.668 - 2007), SCOPUS Quartile: Q1 (Phil, Scopus)
|
2007
|
|
24
|
A. A. Soskova, Minimal Pairs and Quasi-Minimal degrees for Joint Spectra, Bulletin of Symbolic Logic, 12, N.2, LC2005, Athens, editor/s:C. Dimitrakopoulos, Publisher:Cambridge University Press, 2006, pages:346-347, ISSN (print):1079-8986, ISSN (online):1943-5894, doi: https://doi.org/10.2178/bsl/1146620064, Ref, Web of Science, IF (0.525 - 2006), Web of Science Quartile: Q2 (81/187 Mathematics 2006 WOS), SCOPUS, SJR (0.668 - 2006), SCOPUS Quartile: Q1 (Phil, Scopus)
|
2006
|
|
25
|
A. A. Soskova, Relativized Degree Spectra, Logical Approaches to Computational Barriers. CiE 2006. Lecture Notes in Computer Science, vol 3988. Springer, Berlin, Heidelberg, editor/s:Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker, Publisher:Springer, 2006, pages:546-555, ISBN: Print ISBN 978-3-540-35466-6 ; Online ISBN 978-3-540-35468-0 , doi:https://doi.org/10.1007/11780342_56, Ref, IR , SCOPUS, SJR (0.317 - 2006), SCOPUS Quartile: Q2 (CS, Scopus)
|
2006
|
|
26
|
A. A. Soskova, Minimal Pairs and Quasi-Minimal Degrees for the Joint Spectra of
Structures, New Computational Paradigms, Lecture Notes in Computer Science, vol. 3526, CiE2005,, editor/s:S.B.Cooper, B. Loewe, L. Torenvliet, Publisher:Springer, 2005, pages:451-460, ISBN: Print ISBN 978-3-540-26179-7 ; Online ISBN 978-3-540-32266-5 , doi:https://doi.org/10.1007/11494645_56, Ref, Web of Science, IF (0.402 - 2005), Web of Science Quartile: Q4 (62/71 Comp. Sci. WOS), SCOPUS, SJR (0.334 - 2005), SCOPUS Quartile: Q2 (CS/Scopus)
|
2005
|
|
27
|
A. A. Soskova, Properties of the Joint Spectra of sequence of structures, Proceedings of the 5th Panhellenic Logic Symposium (Athens, Greece), editor/s:Costas Dimitracopoulos, Publisher:MPLA, 2005, pages:168-173, Ref
|
2005
|
|
28
|
A. A. Soskova, Co-spectra of joint spectra of a sequence of structures, Proceedings of the 4th Panhellenic Logic Symposium (Thessaloniki, Greece), editor/s:Lefteris Kirousis, Th. Tzouvaras, 2003, pages:175-179, ISBN:960-431-859-4, Ref
|
2003
|
|
29
|
Alexandra Soskova, Cospectra of joint spectra of structures, The Bulletin of Symbolic Logic Vol. 9, No. 1, editor/s:Z. Chatzidakis, A Kechris, Publisher:Association of Symbolic Logic, 2003, pages:101-102, ISSN (print):10798986, ISSN (online):19435894, doi: DOI: https://doi.org/10.1017/S1079898600004819, Ref, Web of Science, IF (921 - 2003), Web of Science Quartile: Q1 (4/20 Logic/ WOS), SCOPUS, SJR (444 - 2003), SCOPUS Quartile: Q1 (Phil./Scopus)
|
2003
|
|
30
|
Alexandra Soskova, Cospectra of joint spectra of structures, The Bulletin of Symbolic Logic Vol. 9, No. 1, editor/s:Z. Chatzidakis, A Kechris, Publisher:Association of Symbolic Logic, 2003, pages:101-102, ISSN (print):10798986, ISSN (online):19435894, doi: DOI: https://doi.org/10.1017/S1079898600004819, Ref, Web of Science
|
2003
|
|
31
|
A. A. Soskova, Abstract data types - computability and effectiveness, Proceedings of the Second Panhellenic Logic Symposium (Delphi), editor/s:Phokion Kolaitis, George Kolestos, Publisher:MPLA, 1999, pages:186-190, ISBN:960-91161-0-8, Ref
|
1999
|
|
32
|
A. A. Soskova, I. N. Soskov, Effective enumerations of abstract structures, Mathematical logic .Proceedings of the Summer School and Conference of Mathematical LogicHeyting' 88 , editor/s:P. Petkov, Publisher:Springer, Boston, MA /Plenim Press 1990, 1990, pages:361-372, ISBN:13.978-1-4612-7890-0; e-ISBN 978-1-4613-0609-2, doi:10.1007/978-1-4613-0609-2, Ref, MathSciNet(MR 1084007 )
|
1990
|
| Студия в научно списание |
|
|
A. Soskova, A. Kakas, Eleventh Panhellenic Logic Symposium (PLS 11, 2017) , Bulletin of Symbolic Logic, vol:24, issue:3, 2018, pages:384-385, ISSN (print):1079-8986, ISSN (online):1943-5894, doi:https://doi.org/10.1017/bsl.2018.25, Ref, Web of Science, IF (0.742 - 2018), Web of Science Quartile: Q1 (4/20 Logic/WOS), SCOPUS, SJR (0.554 - 2018), SCOPUS Quartile: Q1 (Phil/Scopus), International
|
2018
|
| Студия в сборник (на конференция и др.) |
|
1
|
Nikolay Bazhenov, Ekaterina Fokina, Dino Rossegger, Alexandra Soskova, Stefan Vatev, Learning families of algebraic structures from text, LNCS proceedings of CiE 2024, Amsterdam, editor/s:Lorenzo Galeotti, Ludovic Patey, Elaine Pimentel , Publisher:Springer Verlag, 2024, pages:166-178, ISSN (print):03029743, 16113349, doi:10.1007/978-3-031-64309-5_14, Ref, SCOPUS, SJR (0.606 - 2023), International
|
2024
|
|
2
|
Alexandra A. Soskova, S. Barry Cooper, Andrea Sorbi,
Computability at Logic Colloquium 2009 Preface
, JOURNAL OF LOGIC AND COMPUTATION, Volume: 22 Issue: 4 Special Issue: SI , editor/s:A.Soskova, S.B. Cooper, A. Sorbi, Publisher:Oxford Academic Publisher, 2012, pages:667-667, ISSN (print):0955-792X, ISSN (online):1465-363X, doi: DOI: 10.1093/logcom/exq045 , Ref, Web of Science, IF (0.648 - 2012), Web of Science Quartile: Q1 (5/20 Logic WOS), SCOPUS, SJR (0.844 - 2012), SCOPUS Quartile: Q1 (Art&Hum/ Scopus), International
|
2012
|
|
3
|
B. Löwe, D. Normann, I. Soskov, A. Soskova, CiE 2011: Models of Computation in Context, Sofia, Bulgaria, June 27-July 2, 2011, Preface., Models of Computation in Context, Proceedings CiE (Lecture Notes in Computer Science Vol. 6735), editor/s:B. Löwe, D. Normann, Publisher:Springer, 2011, pages:5-7, ISBN:978-3-642-21874-3, eBook ISBN 978-3-642-21875-0, doi:10.1007/978-3-642-21875-0, Ref, IR , SCOPUS, SJR (0.338 - 2011), International
|
2011
|
| Съставителска дейност |
|
1
|
Peter Sloep, Krassen Stefanov, Alexandra Soskova, Ivan Koytchev, Pavel Boytchev,
Advanced Research in Mathematics and Computer Science; Doctoral Conference in Mathematics, Informatics and Education [MIE 2014] Proceedings, ISBN:978-954-07-3759-1, St. Kliment Ohridski University Press, Sofia, Ref, Рецензирано, International
|
2014
|
|
2
|
B. Löwe, D. Normann, I. Soskov, A. Soskova, Models of Computation in Context: 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27-July 2, 2011, Proceedings (Lecture Notes in Computer Science Vol. 6735). Springer Science & Business Media., ISBN:Softcover ISBN 978-3-642-21874-3; eBook ISBN 978-3-642-21875-0, Springer, Sofia, Ref, Рецензирано, International
|
2011
|
| Участие в конференция |
|
1
|
Присъствие, Александра Соскова, Learning Families of Algebraic Structures from Text
and Scott-Continuous Embeddings
|
2024
|
|
2
|
Пленарен доклад, Александра Соскова, Effective embeddings and interpretations
|
2023
|
|
3
|
Пленарен доклад, Александра Соскова, Lopez Escobar theorem for continuous Scott domains and application in learning theory
|
2023
|
|
4
|
Пленарен доклад, Александра Соскова, A LOPEZ-ESCOBAR THEOREM FOR CONTINUOUS DOMAINS
|
2023
|
|
5
|
Пленарен доклад, Александра Соскова, Cohesive powers of linear orders
|
2023
|
|
6
|
Пленарен доклад, Александра Соскова, Cohesive powers of linear orders
|
2022
|
|
7
|
Пленарен доклад, Александра Соскова, Effective embeddings and interpretations
|
2021
|
|
8
|
Пленарен доклад, Александра Соскова, 3rd World Logic Day in Bulgaria
|
2021
|
|
9
|
Пленарен доклад, Александра Соскова, Effective embedding and interpretations
|
2021
|
|
10
|
Секционен доклад, Александра Соскова, Кохесивни степени на линейни наредби
|
2021
|
|
11
|
Секционен доклад, Александра Соскова, Cohesive powers of linear orders
|
2021
|
|
12
|
Пленарен доклад, Александра Соскова, Effective Coding and Decoding in Classes of Structures
|
2021
|
|
13
|
Пленарен доклад, Александра Соскова, Coding and decoding in classes of structures
|
2020
|
|
14
|
Пленарен доклад, Александра Соскова, Coding and decoding in classes of structures
|
2020
|
|
15
|
Пленарен доклад, Александра Соскова, Effective coding and decoding in classes of structures
|
2020
|
|
16
|
Пленарен доклад, Александра Соскова, Effective embedding and interpretations
|
2020
|
|
17
|
Секционен доклад, Александра Соскова, Coding and decoding in graphs and linear orders
|
2019
|
|
18
|
Пленарен доклад, Александра Соскова, Coding and decoding in graphs and linear orderings
|
2019
|
|
19
|
Секционен доклад, Александра Соскова, Cohesive Powers of Linear Orders.
|
2019
|
|
20
|
Секционен доклад, Александра Соскова, Coding in graphs and linear orderings
|
2019
|
|
21
|
Секционен доклад, Александра Соскова, Effective coding
and decoding structures
|
2019
|
|
22
|
Пленарен доклад, Александра Соскова, Strong Jump Inversion
|
2018
|
|
23
|
Пленарен доклад, Александра Соскова, Properties of degree spectra, co-spectra and omega co-spectra
|
2018
|
|
24
|
Пленарен доклад, Александра Соскова, Strong Jump Inversion on abstract structures
|
2018
|
|
25
|
Пленарен доклад, Александра Соскова, Structural properties of spectra and omega-spectra
|
2018
|
|
26
|
Секционен доклад, Александра Соскова, Structural properties of the cototal enumeration degrees.
|
2017
|
|
27
|
Пленарен доклад, Александра Соскова, Cototal enumeration degrees
|
2017
|
|
28
|
Пленарен доклад, Александра Соскова, За Димитър Скордев от неговите ученици
|
2017
|
|
29
|
Пленарен доклад, Александра Соскова, Cototal enumeration degrees and the skip operator
|
2017
|
|
30
|
Секционен доклад, Александра Соскова, Structural properties of spectra and $\omega$-spectra
|
2017
|
|
31
|
Пленарен доклад, Александра Соскова, Structural properties of spectra and co-spectra
|
2016
|
|
32
|
Секционен доклад, Александра Соскова, Enumeration degree spectrum
|
2016
|
|
33
|
Секционен доклад, Александра Соскова, Co-total enumeration degrees and the skip operator
|
2016
|
|
34
|
Секционен доклад, Александра Соскова, Jump inversion for structures
in the context of enumeration
and omega-enumeration reducibilities
|
2015
|
|
35
|
Секционен доклад, Александра Соскова, Some applications of Marker’s extensions for a
sequence of structures
|
2015
|
|
36
|
Секционен доклад, Александра Соскова, Jump of structure and jump inversion theorems
|
2015
|
|
37
|
Секционен доклад, Александра Соскова, Generalization of the notion of jump sequence of
sets for sequences of structures
|
2015
|
|
38
|
Секционен доклад, Александра Соскова, Some applications of Marker's extensions for a sequence of structures
|
2015
|
|
39
|
Секционен доклад, Александра Соскова, Omega-jump inversion for spectra of structures. Problems.
|
2015
|
|
40
|
Секционен доклад, Александра Соскова, A parallel between classical computability theory
and effective definability in abstract structures
|
2015
|
|
41
|
Секционен доклад, Александра Соскова, Strong jump inversion
|
2015
|
|
42
|
Секционен доклад, Александра Соскова, Degree spectra of sequences of structures
|
2014
|
|
43
|
Секционен доклад, Александра Соскова, Relative Spectra and Joint Spectra of structures
|
2014
|
|
44
|
Секционен доклад, Александра Соскова, Degree spectra of sequences of structures
|
2014
|
|
45
|
Секционен доклад, Александра Соскова, Joint spectra and Relative spectra of sequences of structures
|
2014
|
|
46
|
Секционен доклад, Александра Соскова, A parallel between classical computability theory and effective definability in abstract structures
|
2014
|
|
47
|
Секционен доклад, Александра Соскова, Jump inversion of degree spectra of structures, Ivan N. Soskov
|
2013
|
|
48
|
Секционен доклад, Александра Соскова, Omega degree spectra
|
2013
|
|
49
|
Секционен доклад, Александра Соскова, Квази-минимални степени относно спектър на структура
|
2013
|
|
50
|
Секционен доклад, Александра Соскова, A note on omega-jump inversion of degree spectra of
structures
|
2013
|
|
51
|
Секционен доклад, Александра Соскова, Enumeration Degree Spectra
|
2012
|
|
52
|
Секционен доклад, Александра Соскова, Conservative extensions and the jump of a structure
|
2012
|
|
53
|
Секционен доклад, Александра Соскова, Partial Degree Spectra
|
2012
|
|
54
|
Секционен доклад, Александра Соскова, Enumeration Degree Spectra
|
2012
|
|
55
|
Секционен доклад, Александра Соскова, Degree spectra and conservative extensions of abstract structures
|
2011
|
|
56
|
Секционен доклад, Александра Соскова, Degree spectra and conservative extensions of abstract structures
|
2011
|
|
57
|
Секционен доклад, Александра Соскова, Computability, Reducibility, Degree Spectra
|
2010
|
|
58
|
Секционен доклад, Александра Соскова, Enumeration Degree Spectra of Abstract Structures
|
2010
|
|
59
|
Секционен доклад, Александра Соскова, Enumeration Degree Spectra and Omega Degree Spectra of Abstract Structure
|
2010
|
|
60
|
Секционен доклад, Александра Соскова, Enumeration Degree Spectra of Abstract Structures
|
2010
|
|
61
|
Секционен доклад, Александра Соскова, Some Applications of the Jump Inversion Theorem for the Degree Spectra
|
2009
|
|
62
|
Секционен доклад, Александра Соскова, Some applications of Jump Inversion Theorem for
the Degree Spectra
|
2009
|
|
63
|
Секционен доклад, Александра Соскова, Следствия от теоремата за обръщане на скока за спектри от структури
|
2009
|
|
64
|
Секционен доклад, Александра Соскова, Номерационни спектри на структури
|
2009
|
|
65
|
Секционен доклад, Александра Соскова, Relativized degree spectra of structures
|
2008
|
|
66
|
Секционен доклад, Александра Соскова,
Omega Degree Spectra
|
2008
|
|
67
|
Секционен доклад, Александра Соскова, Една теорема за обръщане на скока за спектри от структури
|
2008
|
|
68
|
Секционен доклад, Александра Соскова, Omega Degree Spectra
|
2008
|
|
69
|
Секционен доклад, Александра Соскова, A Jump Inversion Theorem for the Degree Spectra
|
2007
|
|
70
|
Секционен доклад, Александра Соскова, Jump spectra of abstract structures
|
2007
|
|
71
|
Секционен доклад, Александра Соскова, Relativized Degree Spectra
|
2006
|
|
72
|
Секционен доклад, Александра Соскова, Properties of relative spectra
|
2006
|
|
73
|
Секционен доклад, Александра Соскова, Degree Spectra of Structures
|
2006
|
|
74
|
Секционен доклад, Александра Соскова, Minimal Pairs and Quasi-Minimal Degrees for the Joint Spectra of
Structures
|
2005
|
|
75
|
Секционен доклад, Александра Соскова, Computability and Degree Spectra of Stuctures,
Изчислимост и спектри на структури
|
2005
|
|
76
|
Секционен доклад, Александра Соскова, Minimal Pairs and Quasi-Minimal degrees for Joint Spectra
|
2005
|
|
77
|
Секционен доклад, Александра Соскова, Properties of the Joint Spectra of sequence of structures,
|
2005
|
|
78
|
Секционен доклад, Александра Соскова, Cospectra of joint spectra of a sequence of structures
|
2003
|
|
79
|
Пленарен доклад, Александра Соскова, Cohesive powers of linear orders
|
2002
|
|
80
|
Секционен доклад, Александра Соскова, CO-SPECTRA OF JOINT SPECTRA OF STRUCTURES
|
2002
|
|
81
|
Секционен доклад, Александра Соскова, Admissibility in \Sigma^0_n enumerations
|
2001
|
|
82
|
Секционен доклад, Александра Соскова, Abstract Data Types -Computability and Effectiveness
|
1999
|
|
83
|
Секционен доклад, Александра Соскова, Abstarct data types - computability
and effectiveness
|
1993
|
| Участие в редколегия |
|
|
Александра Соскова, Годишник на Софийския университет "Св. Кл. Охридски", ФМИ, Участие в редколегия
|
2022
|
|