Avatar

доц. д.н. Славчо Щраков

Email: shtrakov swu.bg


S

Публикации

Minors of finite operations , Proc. of VII-th Int. Conf. FMNS 2017: .
On the Computational Complexity of Finite Operations , International Journal of Foundations of Computer Science (IJFCS) 2016: 15-38. (Co-author/s: I. Damyanov)
Stable varieties of semigroups and groupoids , Algebra Universalis 2016: 85-106. (Co-author/s: J. Koppitz)
Minor complexities of finite operations , Cornell University Library 2016: x-x24.
On the Classification of Boolean Functions. , Proc. of the Sixth Int. Sci. Conf. – FMNS2015 2015: 125-130. (Co-author/s: I. Damyanov)
Congruences and reduction systems in stable varieties , Proc. of V-th Int. Conf. FMNS 2013: 121-128. (Co-author/s: J. Koppitz)
Finite symmetric functions with non-trivial arity gap , Serdica Journal of computing 2012: 419-436. (Co-author/s: J. Koppitz)
On separable sets in finite functions with nontrivial arity gap , Proc. of IV-th Int. Conf. FMNS 2011: 91-96. (Co-author/s: J. Koppitz, D. Kovachev)
On Some Algebraic Structures , Proc. of IV-th Int. Conf. FMNS 2011: 44-49. (Co-author/s: D. Kovachev)
On finite functions with non-trivial arity gap , Discussiones Mathematicae - General Algebra and Applications 2010: 217-245. (Co-author/s: J. Koppitz)
Essential variables and positions in terms , Algebra Universalis 2010: 381-397.
On the number of functions in a class of k-valued logic , Proc. of III-th Int. Conf. FMNS 2009: 22-26.
On a class of functions in finite algebras , Proc. of VI Int. Workshop on Optimal Codes and Related Topics 2009: 168-172.
Essential arity gap of Boolean functions , Serdica Journal of computing 2008: 249-266.
Multi-Solid Varieties and Mh-transducers , Journal of Algebra and Discrete Mathematics 2007: (3), 113-137.
Multi-Hypersubstitutions and Colored Solid Varieties , International Journal of Algebra and Computation 2006: 797-815 . (Co-author/s: K. Denecke, J. Koppitz)
On mappings of terms determined by hypersubstitutions , Journal of Algebra and Discrete Mathematics 2005: (3), 18-29. (Co-author/s: J. Koppitz)
Essential Variables and Separable Sets in Universal Algebra , Multiple-Valued Logic, An International Journal 2002: 165-181. (Co-author/s: K. Denecke)
Essential inputs and minimal tree automata , Int. Conf. Discrete mathematics and applications 2001: 77-85. (Co-author/s: I. Damyanov)
Tree automata and essential subtrees , Int. Conf. Discrete mathematics and applications 2001: 51-59.
The depth of a hypersubstitution , Journal of Automata, Languages and Combinatorics 2001: 253-262. (Co-author/s: K. Denecke, J. Koppitz)
Tree Automata and Separable Sets of Input Variables , Filomat 2001 2001: 61-69. (Co-author/s: Vl. Shtrakov)
Strongly dominating sets of variables , Közl. MTA Számitástech. Automat. Kutató Int. Budapest 1998: 121-129. (Co-author/s: I.Mirchev)
Дискретна математика. България: ЮЗУ Н. Рилски, 1995 (Съавтор/и: Йордан Денев)
On some transformation groups in $k$-valued logic , General algebra and applications, Research and Exposition in Mathematics 1993: 225-238.
Extremal subsets and coverings of the sets of variables for the functions , Közl. MTA Számitástech. Automat. Kutató Int. Budapest 1988: 27-35.
Dominating and Annuling Sets of Variables for the Functions. България: ЮЗУ Н. Рилски, 1987
Separable and dominating sets of variables for the functions , Mathematics and mathematical education 1987: 61-71. (Co-author/s: Chimev, K. N., Giudjenov, I. D., Aslanski, M. S.)
Dominant sets of variables of functions and algorithms. (in Bulgarian) , Techn. University Annual (Applied mathematics) 1987: 173-180.
Generalized orders of variables and $\epsilon$-equivalence in some algebras of functions, (in Bulgarian) , Techn. University Annual (Applied mathematics) 1987: 151-158. (Co-author/s: Chimev, K. N.)
On the dominating sets of variables for the functions (in Bulgarian) , Mathematics and mathematical education 1987: 563-568.
On the separable and annuling sets of variables for the functions , Közl. MTA Számitástech. Automat. Kutató Int. Budapest 1986: 147-168.
On the C-separable and dominant sets of variables of functions , Mathematics and mathematical education 1986: 345-350.
On the dominant sets and separable pairs of essential variables of functions (in Bulgarian) , Techn. University Annual (Applied mathematics) 1986: 145-151. (Co-author/s: K. Chimev)
On the Annulator Sets of Variables for the Functions , Tanulmanyok MTA Számitástech. Automat. Kutató Int. Budapest 1986: 43-50.
On the Dominant Sets of Variables for the Functions , Tanulmanyok MTA Számitástech. Automat. Kutató Int. Budapest 1986: 37-42.
Mutually Dominating Sets of Variables for the Functions , Tanulmanyok MTA Számitástech. Automat. Kutató Int. Budapest 1986: 51-76.
On the $c$-separable and dominant sets of variables for the functions , Közl. MTA Számitástech. Automat. Kutató Int. Budapest 1985: 155-161.
On some transformations in the $K$-valued logic , Mathematics and mathematical education 1985: 305-309.

Конференции

VI-th Int. Conf. FMNS

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
On the classification of Boolean functions
Период
10.06.2015 - 14.06.2015 г.
Организатор
South West University
Съавтор(и)
I. Damyanov

Arbeitstagung Allgemeine Algebra (AAA89)

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
Separable sets and ODDs of finite functions
Период
26.02.2015 - 01.03.2015 г.
Организатор
Institute of Algebra at Technische Universitat Dresden
Съавтор(и)
I. Damyanov

Conf. 125 Years of Math. and Natural Sciences at Sofia Uni. "St. Kliment Ohridski"

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
On the Complexity of Finite Valued Functions
Период
05.12.2014 - 07.12.2014 г.
Организатор
СУ ”Св. Климент Охридски”
Съавтор(и)
I. Damyanov

Seminar Coding theory

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
On the Complexity of Finite Valued Functions
Период
20.11.2014 - 23.11.2014 г.
Организатор
IMI, Bulg. Acad. Science
Съавтор(и)
I. Damyanov

Arbeitstagung Allgemeine Algebra ( AAA87 & CYA28)

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
Stable Varieties of Semigroups
Период
07.02.2014 - 09.02.2014 г.
Организатор
Johannes Kepler Universität, Linz
Съавтор(и)
J. Koppitz

V-th Int. Conf. FMNS

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
Congruences and reduction systems in stable varieties
Период
12.06.2013 - 16.06.2013 г.
Организатор
South West University
Съавтор(и)
J. Koppitz

Arbeitstagung Allgemeine Algebra (AAA84)

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
Stable varieties of semigroups
Период
08.06.2012 - 10.06.2012 г.
Организатор
Institute of Algebra at Technische Universitat Dresden

IV-th Int. Conf. FMNS

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
On separable sets in finite functions with nontrivial arity gap
Период
08.06.2011 - 11.06.2011 г.
Организатор
South West University
Съавтор(и)
J. Koppitz, D. Kovachev

Math. Conference, Dedicated to Professor Gorgi Cupona

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
Symmetric Functions with Non-trivial Arity Gap
Период
10.09.2010 - 13.09.2010 г.
Организатор
Uni. Skopie

6th Int. Workshop on Optimal Codes and Related Topics

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
On a class of functions in finite algebras
Период
16.06.2009 - 22.06.2009 г.
Организатор
IMI, Bulg. Acad. Science

III-rd Int. Conf. FMNS

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
On the number of functions in a class of k-valued logic
Период
03.06.2009 - 07.06.2009 г.
Организатор
South West University

Arbeitstagung Allgemeine Algebra (AAA77)

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
On the essential arity gap of finite valued functions
Период
20.03.2009 - 22.03.2009 г.
Организатор
University of Potsdam

IV Congress of the Mathematicians of Republic Macedonia

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
Essential Arity Gap of Boolean Functions
Период
19.10.2008 - 22.10.2008 г.
Организатор
Union of Mathematicians of Republic Macedonia

11-th Int. Workshop on Algebraic and Combinatorial Coding Theory

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
Essential Arity Gap of Finite Valued Functions
Период
16.06.2008 - 22.06.2008 г.
Организатор
IMI, Bulg. Acad. Science

Arbeitstagung Allgemeine Algebra (AAA75)

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
Multi-solid varieties
Период
02.11.2007 - 04.11.2007 г.
Организатор
Darmstadt University of Technology

Arbeitstagung Allgemeine Algebra (AAA69)

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
Coloured Terms and Multihyper-substitutions
Период
18.03.2005 - 20.03.2005 г.
Организатор
University of Potsdam, Germany

Arbeitstagung Allgemeine Algebra (AAA68)

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
Recursive Coloration of Trees
Период
10.06.2004 - 13.04.2004 г.
Организатор
Institute of Algebra at Technische Universitat Dresden

Arbeitstagung Allgemeine Algebra (AAA67)

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
On the colouration of terms
Период
26.03.2004 - 28.03.2004 г.
Организатор
University of Potsdam

Arbeitstagung Allgemeine Algebra (AAA65) Potsdam ,Germany, 20-23.03.2003 Paper's title:

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
All Input Variables Are Essential for Almost All Trees and Logical Tree Automata
Период
20.03.2003 - 23.03.2003 г.
Организатор
University of Potsdam, Germany

Arbeitstagung Allgemeine Algebra (AAA63)

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
Sequences of Hypersubstitutions and Coloring
Период
22.02.2002 - 24.02.2002 г.
Организатор
Uni. Kaiserslautern, Germany

6th Int. Conf. on Discrete mathematics and applications

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
Essential inputs and minimal tree automata, Edited by Sl. Shtrakov and K. Denecke
Период
31.08.2001 - 02.09.2001 г.
Организатор
South West University
Съавтор(и)
I. Damyanov

Int. Conference Filomat 2001

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
Tree Automata and Computational Complexity
Период
26.08.2001 - 30.08.2001 г.
Организатор
Uni. Nis
Съавтор(и)
V. Shtrakov

Int. Conference on Galois Connections (ICGC2001)

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
Tree Automata and Essential Subtrees
Период
15.03.2001 - 18.03.2001 г.
Организатор
University of Potsdam, Germany

Arbeitstagung Allgemeine Algebra (AAA61)

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
Algorithms for Depth and Size of Hypersubstitutions
Период
02.02.2001 - 04.02.2001 г.
Организатор
Darmstadt University of Technology

Arbeitstagung Allgemeine Algebra (AAA60)

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
Tree Automata and Essential Input Variables
Период
22.06.2000 - 25.06.2000 г.
Организатор
Institute of Algebra at Technische Universitat Dresden

Arbeitstagung Allgemeine Algebra (on occasion of the 70th birthday of H.-J.Hoehnke) (AAA 52)

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
Dominating and Connected Sets of Variables
Период
03.06.1996 - 06.06.1996 г.
Организатор
University of Potsdam, Germany

5th Int. Conf. on Discrete mathematics and applications

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
Separable sets of variables and $s$-systems
Период
12.09.1994 - 16.09.1994 г.
Организатор
South West University

Arbeitstagung Allgemeine Algebra (AAA43)

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
On Some Transformation Groups in k-Valued Logic
Период
31.01.1993 - 02.02.1993 г.
Организатор
University of Potsdam, Germany

3th Int. Conf. on Discrete mathematics and applications

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
On the Mutually Dominating and Connected Sets of Variables
Период
08.09.1992 - 11.09.1992 г.
Организатор
South West University

2nd Int. Conf. on Discrete mathematics and applications

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
Separability and Dominance of Sets of Variables for Functions
Период
05.06.1990 - 10.06.1990 г.
Организатор
South West University

1st Int. Conf. on Discrete mathematics and applications

Вид
Международна
Участие
Доклад
Заглавие на статия/доклад
Inseparable Sets and Their S - Subsets of Variables
Период
03.12.1987 - 06.12.1987 г.
Организатор
South West University