| Дисертация доктор на науките |
|
|
Иван Николаев Сосков, Абстрактна изчислимост и определимост: външен подход, ФМИ, СУ
|
2000
|
| Дисертация д-р |
|
|
Иван Николаев Сосков, Изчислимост в частични алгебрични системи, ФМИ, СУ, Ръководител:Д. Г. Скордев
|
1983
|
| Научен проект |
|
1
|
Иван Сосков, Collaboration in Computability, Член, National Science Foundation of USA, Номер на договора:NSF DMS - 1159451
|
2012
|
|
2
|
Иван Сосков, Spectra of relative computability, Ръководител, Европейската Комисия, Номер на договора:PIOF-GA-2011- 298471
|
2012
|
|
3
|
Иван Сосков, Computability with partial information, Ръководител, Европейската Комисия, Номер на договора:PERG04- GA-2008-239193
|
2009
|
|
4
|
Иван Сосков, Изчислимост с непълна информация, Ръководител, Национален фонд за научни изследвания, Номер на договора:Д002-258/18.12.2008
|
2008
|
| Научно ръководство |
|
1
|
Иван Сосков, Омега номерационни степени, ФМИ дисертация д-р:Христо Ганчев
|
2009
|
|
2
|
Иван Сосков, Скок на структури, ФМИ дисертация д-р:Весела Балева
|
2003
|
| Редактор на издание реферирано |
|
1
|
Sam Buss, Benedict Loewe, Dag Norman and Ivan Soskov, Annals of Pure and Aplied Logic, v. 164, Computability in Europe 2011, Редактор на издание реферирано
|
2013
|
|
2
|
Joan Bagaria, Yiannis N, Moschovakis, Margarita Otero and , Ivan N. Soskov, Ann. Pure Appl. Logic, v. 162, Редактор на издание реферирано
|
2011
|
|
3
|
Benedikt L{\"o}we, Dag Normann, Ivan N. Soskov, Alexandra A. Soskova, Models of Computation in Context, LNCS, v. 6735, 2011, Редактор на издание реферирано
|
2011
|
| Статия в научно списание |
|
1
|
Ivan N. Soskov, Effective properties of Marker's extensions, Journal of Logic and Computation, 2013, Ref, Web of Science
|
2013
|
|
2
|
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
|
|
3
|
Mariya Soskova, Ivan Soskov, Embedding Countable Partial
Orderings in the Enumeration Degrees and the Omega Enumeration
Degrees, Journal of Logic and Computation, vol:22, issue:4, 2012, pages:927-952, ISSN (print):0955-792X, ISSN (online):1465-363X, doi:https://doi.org/10.1093/logcom/exq051, 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 (Arts&Hum/Scopus)
|
2012
|
|
4
|
Ivan Soskov, Mariya Soskova, Kalimullin pairs of
Sigma-0-2 omega-enumeration degrees, International Journal of Software and Informatics, vol:5, issue:4, 2011, pages:637-658, ISSN (print):1673-7288, Ref, др.(DPLP, IC(Index Copernicus), Ulrichsweb, CSA(Techno)
|
2011
|
|
5
|
A. A. Soskova, I. 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), SCOPUS, SJR (0.586 - 2009)
|
2009
|
|
6
|
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
|
|
7
|
Hristo Ganchev, Ivan N. Soskov, The jump operation on the omega-enumeration degrees, Annals of Pure and Applied Logic, vol:160, issue:3, 2009, pages:289-301, ISSN (print):0168-0072, Ref, Web of Science, IF (0.667 - 2009), Web of Science Quartile: Q2 (113/255 Mathematics), SCOPUS, SJR (0.541 - 2009), SCOPUS Quartile: Q2 (Logic), PhD
|
2009
|
|
8
|
I. N. Soskov, The ω-enumeration degrees, Journal of Logic and Computation, vol:17, 2007, pages:1193-1217
|
2007
|
|
9
|
I. N. Soskov, Bogomil Kovachev, Uniform regular enumerations, Mathematical structures in Computer science, vol:16, 2006, pages:901-924, Web of Science, MSc
|
2006
|
|
10
|
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
|
|
11
|
I. N. Soskov, Degree spectra and co-spectra of structures, Годишник на СУ, vol:96, 2004, pages:45-68, Ref
|
2004
|
|
12
|
I. N. Soskov, V. Baleva, Regular enumerations, Journal of Symbolic Logic, vol:67, 2002, pages:1323-1343, Web of Science, PhD
|
2002
|
|
13
|
I. N. Soskov, A jump inversion theorem for the enumeration jump, Arch. Math. Logic, vol:39, 2000, pages:417-437, Web of Science
|
2000
|
|
14
|
I. N. Soskov, Constructing minimal pairs of degrees, Годишник на СУ, vol:88, 1997, pages:101-112, Ref
|
1997
|
|
15
|
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
|
|
16
|
I. N. Soskov, Intrinsically $\Pi^1_1$-relations, Mathematical Logic Quarterly , vol:42, 1996, pages:109-126, Web of Science
|
1996
|
|
17
|
I. N. Soskov, Intrinsically hyperarithmetical sets, Mathematical Logic Quarterly, vol:42, 1996, pages:469-480, Web of Science
|
1996
|
|
18
|
I. N. Soskov, Maximal concepts of computability on abstract structures, Journal of Symbolic Logic, vol:57, 1992, pages:287-287, Web of Science
|
1992
|
|
19
|
I. N. Soskov, Second order definability via enumerations, Zeitschr. f. math Logik und Grundlagen d. Math., vol:37, 1991, pages:45-54, Web of Science
|
1991
|
|
20
|
I. N. Soskov, Computability by means of effectively definable schemes and definability via enumerations, Arch. Math. Logic, vol:29, 1990, pages:187-200, Web of Science
|
1990
|
|
21
|
I. N. Soskov, Horn clause programs on abstract structures with parameters, Годишник на СУ, vol:84, 1990, pages:53-61, Ref
|
1990
|
|
22
|
I. N. Soskov, An external characterization of the Prime computability, Годишник на СУ, vol:83, 1989, pages:89-111, Ref
|
1989
|
|
23
|
I. N. Soskov, Definability via enumerations, Journal of Symbolic Logic, vol:54, 1989, pages:428-440, Web of Science
|
1989
|
|
24
|
Иван Н. Сосков, Алгоритмически полные алгебраические системы, Докл. БАН, vol:36, 1983, pages:729-731, Web of Science
|
1983
|
|
25
|
Иван Н. Сосков, Вычислимость в алгебраических системах, Докл. БАН, vol:36, 1983, pages:301-303, Web of Science
|
1983
|
| Статия в сборник (на конференция и др.) |
|
1
|
Ivan N. Soskov, A note on $\omega$ jump inversion of degree spectra of structures, Computability in Europe,, editor/s:Paola Bonizzoni, Vasco Bratka, Benedikt Loewe, Publisher:Lecture Notes in Computer Science, Springer, 2013, Ref, Web of Science
|
2013
|
|
2
|
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
|
|
3
|
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
|
|
4
|
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
|
|
5
|
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
|
|
6
|
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
|
|
7
|
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
|
|
8
|
Hristo Ganchev, I. N. Soskov, The groups Aut(D_e) and Aut(D_ω) are isomorphic, 6th Pan-Hellenic Logic Symposium, Publisher:Volos, , 2007, Ref, PhD, MSc
|
2007
|
|
9
|
I. N. Soskov, V. Baleva, Ash’s theorem for abstract structures, Logic Colloquium’02, editor/s:Z. Chatzidakis, P. Koepke, W. Pohlers, Publisher:Lecture Notes in Logic, v. 27, 2006, pages:327-341, Ref, Web of Science, PhD
|
2006
|
|
10
|
I. N. Soskov, Uniform Operators, Lecture Notes in Comp. Science, 3526 , editor/s:S. B. Cooper; B. Loewe, Publisher:Springer, 2005, pages:441-450, Ref
|
2005
|
|
11
|
I. N. Soskov, Degree Spectra and co-spectra of structures, Fourth Panhelenic Logic Symposium, Publisher:Thessaloniki, 2003, Ref
|
2003
|
|
12
|
I. N. Soskov, Elements of least degree of families of sets, Third Panhellenic Logic Symposium , editor/s:E. Kranakis, Publisher:Crete, 2001, Ref
|
2001
|
|
13
|
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
|
|
14
|
I. N. Soskov, On the computational power of the logic programs, Heyting’88, editor/s:P. P. Petkov, Publisher:Plenum Press, 1990, pages:117-137, Ref
|
1990
|
|
15
|
I. N. Soskov, Prime computability on partial structures, Mathematical logic and its applications, editor/s:D. G. Skordev, Publisher:Plenum Press, 1987, pages:341-350, Ref
|
1987
|
|
16
|
Иван Н. Сосков, Связь простой вычислимости с рекурсивностью в функциональных комбинаторных пространствах, Математическая теория программирования , editor/s:А. П. Ершов и Д. Г. Скордев, Publisher:Изд. ВЦ СОАН, 1985, pages:4-11, Ref
|
1985
|
|
17
|
Иван Н. Сосков, Просто вычислимые функции в основном множестве, Математическая логика, editor/s:Д. Г. Скордев, Publisher:Изд. БАН, 1984, pages:112-138, Ref
|
1984
|
|
18
|
Иван Н. Сосков, Пример полного по Московакису базиса, которы не является программного полным, Математическая теория и практика систем программного обеспечения , editor/s:А. П. Ершов, Publisher:Изд. ВЦ СОАН, 1982, pages:26-33, Ref
|
1982
|
| Студия в сборник (на конференция и др.) |
|
|
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
|
| Съставителска дейност |
|
|
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
|
Секционен доклад, Иван Сосков, What should be a jump inversion of a structure?
|
2012
|
|
2
|
Секционен доклад, Иван Сосков, Върху ефективните свойства на Маркеровите разширения
|
2012
|
|
3
|
Секционен доклад, Иван Сосков, Kalimullin pairs of Sigma-0-2 omega-enumeration degrees
|
2011
|
|