| Дисертация д-р |
|
|
Стефан Володев Вътев, Омега спектри на структури, ФМИ, Ръководител:доц. Александра Соскова
|
2014
|
| Научен проект |
|
1
|
Стефан Вътев, Определимост в алгебрични структури и степенни структури, Ръководител, СУ, Номер на договора:80-10-180/17.05.2023 г.
|
2023
|
|
2
|
Стефан Вътев, Определимост в алгебрични структури и степенни структури, Ръководител, СУ, Номер на договора:80-10-134/20.05.2022 г
|
2022
|
|
3
|
Стефан Вътев, Определимост в алгебрични структури и степенни структури, Ръководител, СУ, Номер на договора:80-10-136/26.03.2021 г.
|
2021
|
|
4
|
Стефан Вътев, Определимост в алгебрични структури и степенни струтури, Член, СУ, Номер на договора:80-10-128/16.04.2020 г
|
2020
|
|
5
|
Стефан Вътев, Ефективни свойства на абстрактни структури, Член, ФНИ, Номер на договора:КП-06-Австрия-04 от 06.08.2019 г.
|
2019
|
|
6
|
Стефан Вътев, Модели на изчислимост, Член, ФНИ, Номер на договора:ДН 02/16 (19.12.2016)
|
2017
|
|
7
|
Стефан Вътев, Collaboration in Computability, Член, NSF САЩ, Номер на договора:DMS 1600625
|
2016
|
|
8
|
Стефан Вътев, Определимост в алгебрични степенни структури, Член, СУ, Номер на договора:54
|
2016
|
|
9
|
Стефан Вътев, Определимост в алгебрични степенни структури, Член, СУ, Номер на договора:81/03/04/2015
|
2015
|
|
10
|
Стефан Вътев, Определимост в алгебрични структури и степенни структури, Член, СУ, Номер на договора:44/15.04.2013
|
2013
|
|
11
|
Стефан Вътев, Marie Curie Initial Training Network in Mathematical Logic, Член, ЕК, Номер на договора:PITN-GA-2009-238381
|
2012
|
|
12
|
Стефан Вътев, Определимост в алгебрични структури и степенни структури, Член, СУ, Номер на договора:131/09.05.2012
|
2012
|
|
13
|
Стефан Вътев, Collaboration in Computability, Член, NSF САЩ, Номер на договора:DMS 1101123
|
2011
|
|
14
|
Стефан Вътев, Computability with partial information, Член, ФНИ, Номер на договора:D002-258/18.12.08
|
2009
|
|
15
|
Стефан Вътев, Mathematical Logic and Computational Linguistics: Development and Interpenetration, Член, ЕК, Номер на договора:BG051PO001-3.3.04/27/28.08.2009
|
2009
|
| Научно ръководство |
|
|
Стефан Вътев, Characterization of uniform sequences of relations and structures, дипломна работа:Боян Паунов
|
2018
|
| Статия в научно списание |
|
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
|
Nikolay Bazhenov, Hristo Ganchev, Stefan Vatev, Computable embeddings for pairs of linear orders, Algebra and Logic, vol:60, issue:3, 2021, pages:163-187, ISSN (print):0002-5232, doi:10.33048/alglog.2021.60.301, Ref, Web of Science, IF (0.685 - 2021), Web of Science Quartile: Q3 (11/21 Logic), SCOPUS, SJR (0.745 - 2021), International
|
2021
|
|
4
|
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
|
|
5
|
Hristo Ganchev, Iskander Kalimullin, Stefan Vatev, Computable embedding of classes of algebraic structures with congruence relation, Uchenye Zapiski Kazanskogo Universiteta, vol:160, issue:4, 2018, pages:731-737, ISSN (print):2541-7746, ISSN (online):2500-2198, Ref, MathSciNet, International
|
2018
|
|
6
|
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
|
|
7
|
Stefan Vatev, On the notion of jump structure, Годишник на Софийския Университет "Св. Климент Охридски", vol:102, 2015, pages:171-206, ISSN (print):0205-0808, Ref, Zentralblatt(1474.03104)
|
2015
|
| Статия в сборник (на конференция и др.) |
|
1
|
Nikolay Bazhenov, Stefan Vatev, A Note on Computable Embeddings for Ordinals and Their Reverses, Lecture Notes in Computer Science vol. 12098. Beyond the Horizon of Computability. 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings, editor/s:M. Anselmo, G. Della Vedova, F. Manea, A. Pauly, Publisher:Springer, 2020, pages:1-13, ISSN (online):978-3-030-51466-2, ISBN:978-3-030-51465-5, doi:10.1007/978-3-030-51466-2_1, Ref, IR , SCOPUS, SJR (0.25 - 2020), SCOPUS Quartile: Q3 (Computer Science (misc), MathSciNet, International
|
2020
|
|
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
|
Nikolay Bazhenov, Hristo Ganchev, Stefan Vatev, Effective embeddings for pairs of structures, Computing with Foresight and Industry, CiE 2019, Lecture Notes in Computer Science vol. 11558, editor/s:F. Manea, B. Martin, D. Paulusma, G. Primiero, Publisher:Springer-Verlag, 2019, pages:84-95, ISSN (print):0302-9743, ISSN (online):978-3-030-22996-2, ISBN:978-3-030-22995-5, doi:10.1007/978-3-030-22996-2_8, Ref, IR , SCOPUS, SJR (0.283 - 2018), SCOPUS Quartile: Q2 (Computer Science), International
|
2019
|
|
6
|
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
|
|
7
|
Stefan Vatev, Another jump inversion theorem for structures, Computability in Europe 2013, LNCS 7921, editor/s:Paola Bonizzoni, Vasco Brattka, Benedikt Löwe , Publisher:Springer-Verlag, 2013, pages:414-423, ISSN (print):0302-9743, ISSN (online):1611-3349, ISBN:978-3-642-39052-4, doi:10.1007/978-3-642-39053-1_49, Ref, IR , SCOPUS, SJR (0.348 - 2013), MathSciNet
|
2013
|
|
8
|
Stefan Vatev, Conservative extensions of abstract structures, Computability in Europe 2011, LNCS, vol. 6735, editor/s:Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova, Publisher:Springer, 2011, pages:300-309, ISSN (print):0302-9743, ISSN (online):1611-3349, ISBN:978-3-642-21874-3, doi:10.1007/978-3-642-21875-0_32, Ref, IR , SCOPUS, SJR (0.343 - 2011)
|
2011
|
| Студия в сборник (на конференция и др.) |
|
|
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
|
| Участие в конференция |
|
1
|
Секционен доклад, Стефан Вътев, Learning families of algebraic structures from text
|
2024
|
|
2
|
Пленарен доклад, Стефан Вътев, Definability, Continuous embeddings and learning classes of algebraic structures
|
2024
|
|
3
|
Пленарен доклад, Стефан Вътев, Learning families of structures
|
2023
|
|
4
|
Пленарен доклад, Стефан Вътев, Effective embeddings for classes of structures via enumeration operators
|
2022
|
|
5
|
Секционен доклад, Стефан Вътев, Ефективни влагания на двойки от структури
|
2021
|
|
6
|
Секционен доклад, Стефан Вътев, A note on computable embeddings for ordinals and their reverses
|
2020
|
|
7
|
Секционен доклад, Стефан Вътев, Computable embeddings for pairs of linear orderings
|
2019
|
|
8
|
Секционен доклад, Стефан Вътев, Computable embeddings for classes of structures
|
2019
|
|
9
|
Секционен доклад, Стефан Вътев, Effective embeddings for pairs of structures
|
2019
|
|
10
|
Секционен доклад, Стефан Вътев, Application of jump inversion for structures in the context of omega-enumeration reducibilities
|
2015
|
|
11
|
Секционен доклад, Стефан Вътев, Coding a set by a sequence of structures
|
2014
|
|
12
|
Секционен доклад, Стефан Вътев, Embedding the omega-enumeration degrees into the Muchnik degrees generated by spectra of structures
|
2014
|
|
13
|
Секционен доклад, Стефан Вътев, Jump inversion theorems for structures
|
2013
|
|
14
|
Секционен доклад, Стефан Вътев, Another jump inversion theorem for structures
|
2013
|
|
15
|
Секционен доклад, Стефан Вътев, Jump inversion theorems for structures
|
2013
|
|
16
|
Секционен доклад, Стефан Вътев, Conservative Extensions of Structures
|
2011
|
|
17
|
Секционен доклад, Стефан Вътев, Omega degree spectra and co-spectra of structures
|
2010
|
|