Publications of A. A. Soskova

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 approach to Abstract Data Types I: Computability on ADT, Ann. Univ. Sofia 87 (1993) , 47 - 59(dvi).

4. Effective structures, Mathematical Logic Quarterly 43 (1997), 235-250 (dvi).

5. Co- spectra of joint spectra of a sequence of structures, 4th Panhellenic Logic Symposium (Thessaloniki, Greece), 2003, 175-179, (ps), (dvi)

6. Effective enumerations of abstract structures, (with I. N.Soskov, ) Heyting'88 (New York) (P. Petkov, ed.), Plenum Press, 1990, pp.361--372.

7. Admissibility in \Sigma^0_n enumerations, ( with I. N. Soskov), Ann. Univ. Sofia , 90, 1999, 77 - 90,  (dvi).

8. Programming theory in problems, (with St. K. Nikolova), SofTeX, Sofia 1997.

9. Cospectra of joint spectra of structures, (with I. N. Soskov), Ann. Sofia Univ, Fac. Math and Inf., 96, 2003, 35-44.

10. Minimal Pairs and Quasi-Minimal Degrees for the Joint Spectra of Structures, CiE 2005, New Computational Paradigms, Eds. S.B.Cooper,B. Loewe,L. Torenvliet, Amsterdam,LNCS, 3526, 2005, 451-460.

11. Properties of  the Joint Spectra of sequence of structures, PLS5, Athens, 2005, talk  at PLS5.

12. Minimal Pairs and Quasi-Minimal degrees for Joint Spectra, LC2005, Athens.

13. Computability and Degree Spectra of  Stuctures (in Bulgarian), Kliment lecture 2005

14. Relativized   Degree Spectra, CiE2006, Logical Approaches to Computational Barriers, Eds. S.B.Cooper, U. Berger, B. Loewe, J. V. Tucker , Swansea, LNCS, 3988, 2006, 546-555, talk  at CiE’2006 (Swansea)

15. Relativized   Degree Spectra,  Journal of Logic and Computation, 17, 2007,  Oxford University Press, 1215--1234.

16. Degree Spectra of Structures, talk presented at the Leeds Logic Colloquium, July 2006.

17. Properties of relative spectra, talk at Logic Colloquium 2006.

18. A jump inversion theorem for the degree spectra,CiE2007, Computation and Logic in the Real World ,Eds  S.B.Cooper, B. Loewe, A. Sorbi,  Siena, LNCS, 2007, 716-726., talk at CiE2007, Siena

19. A jump inversion theorem for the degree spectra (with I. N. Soskov ), Journal of Logic and Computation. 19, 2009, 199 - 215.

20. Omega degree spectra ,CiE2008,  Logic and Theory of Algorithms, CiE2008, Eds. A. Beckman, C. Dimitracopoulos, B. Loewe, LNCS, 5028, 2008, 544-553.

21. Omega degree spectra, talk at Logic Colloquium 2008, Bern, July 2008.

22. Some applications of the Jump Inversion Theorem for the Degree Spectra (with I. N. Soskov), talk at CiE2009, Heidelberg

23. Some applications of the Jump Inversion Theorem for the Degree Spectra (with I.N. Soskov), 7th Panhellenic Logic Symposium (Patra, Greece), 2009 

24. Enumeration Degree Spectra of Abstract Structures, talk at Leeds Computability Theory Seminar, February, 2010, February 23, Leeds

25. Properties of Enumeration  Degree Spectra ,  (with I. N. Soskov) Scientific session 120 years FMI, Sofia

26. Enumeration Degree Spectra and Omega Degree Spectra of Abstract Structure, talk to Computability seminar, Siena university, May, 25, 2010

27. Enumeration Degree Spectra of Abstract Structures, plenary talk at the  Second session of the Workshop in Computability theory,  2010, University of Chicago Center in Paris,  July 23-24

28. Computability, Reducibility,  Degree Spectra, invited lecture at  First International Istanbul Graduate Summer School in Logic– Modal Logic and its Applications,  2010, August 09-14,  TC Istanbul Kultur university