Alexandra Andreeva Soskova

Alexandra Andreeva Soskova

Researcher (R4)
Professor
DSc

FMI Researchers

Email: 
asoskova@fmi.uni-sofia.bg
Phone: 
+359 2 8161-524
Room: 
FzF-03
Office hours: 

Monday 15-16
Thursday 12-13

Publications

  1. Computability on many-sorted partial structures, Compt. rend. de l'Acad. bulg.Sci. 43 (1990), 9-11.
  2. Effective abstract structures, Compt. rend.de l'Acad. bulg. Sci. 43 (1990), 5-8.
  3. An external aproach to Abstract Data Types I:Computability on ADT, Ann. Univ. Sofia 87 (1993) , 47 - 59.
  4. Effective structures, Mathematical LogicQuarterly 43 (1997), 235-250.
  5. Cospectra of joint spectra of a sequence ofstructures, 4th Panhellenic Logic Symposium (Thessaloniki, Greece),2003, 175-179.
  6. with I. N.Soskov, Effective enumerations ofabstract structures, Heyting'88 (New York) (P. Petkov, ed.), Plenum Press, 1990,pp.361--372.
  7. with I. N. Soskov, Admissibility in\Sigma^0_n enumerations, Ann. Univ. Sofia , 90, 1999, 77 - 90.
  8. with St. K. Nikolova, Programming theory inproblems, SofTeX, Sofia 1997.
  9. with I. N. Soskov, Cospectra of joint spectraof structures, Ann. Sofia Univ, Fac. Math and Inf., 96, 2003, 35-44.
  10. Minimal Pairs andQuasi-minimal degrees for the Joint Spectra of Structures. New Computational Pradigms(S. B. Cooper; B. Loewe, eds.) Lecture Notes in Comp. Sci , 3526, 2005,  Springer-Verlag, 451--460.
  11. Properties of the Joint Spectra ofsequence of structures, PLS5, Athens,2005
  12. Minimal Pairs and Quasi-Minimal degrees forJoint Spectra, LC2005, Athens.
  13. Kliment lecture ,2005 ,Computability andDegree Spectra of Structures.
  14. Properties ofCo-spectra of joint spectra of structures. Ann. Sofia Univ., Fac. Math. and Inf. , 97,  2005, 15--32.
  15. RelativizedDeggree Spectra. Logical Approaches to Computational barriers (A. Beckmann; U.Berger;  B. Loewe; J. Tucker eds.),CiE2006, Swansea,Lecture Notes in Comp. Sci ,  3988, 2006,Springer-Verlag, 546--555.
  16. Degree Spectra ofStructures. Leeds Logic Seminar, July, 2006.
  17. RelativizedDeggree Spectra,  LC2006, July,  Nijemegen.
  18. Relativized Degree Spectra, Journal of Logic and Computation, 17, 2007, Oxford Journals, 1215-1233
  19. A Jump Inversion Theorem for the Degree Spectra, CiE 2007, S.B. Cooper, B. L¨owe, and A. Sorbi (Eds.), LNCS 4497, 2007, Springer-Verlag, 716–726
  20. with I. N. Soskov, Jump spectra of abstract structures, PLS6, Volos,2007
  21. Omega-Degree Spectra, Logic and Theory of Algorithms, CiE 2008, Athens, A Beckmann, C Dimitracopoulos, B Löwe  (Eds.),  LNCS,  5028, 2008, Springer-Verlag
  22. with St. K.  Nikolova,  Semantics of the programming languages, Softex, 2008
  23. with I. N. Soskov, Some applications of the Jump Inversion theorem, Proceedings of the 7th Panhellenic Logic Symposium,   C. Drossos, P. Peppas, C. Tsinakis, (Eds.) 2009, 157-161
  24. with I. N. Soskov, A jump inversion theorem for the degree spectra, Journal of Logic and Computation, vol. 9 , 2009, 199-215
  25. with 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, 2011, ILLC publications accepted
  26. with I. N. Soskov, Enumeration Degree Spectra of Abstract  Structures, ТProceedings of the Conference "120 years FMI, SU", R. Levy (Eds), 2012
  27. with I. N. Soskov, Quasi-minimal degrees for degree spectra, Journal of Logic and Computation, 2013, 23 (6) doi: 10.1093/logcom/ext045, 1319-1334

© Faculty of Mathematics and Informatics