Professor Doctor of Technical Sciences Stoicho D. Stoichev teachs Synthesis and analysis of algorithms,
Combinatorial algorithms and Algorithms in bioinformatics to Bachelor and
Master of Science students in Computer Systems and Technologies, Dept. of
Computer Systems, Technical University of Sofia (http://www.tu-sofia.bg/)
and its branch in Plovdiv. He can be
emailed at: stoi@tu-sofia.bg. He is a Senior Member of IEEE (former chair
of Computer Society chapter at Bulgaria IEEE Section) and a member of Academy International of Sciences
in San Marino, Member of Scientific Council of
Electronics and Computer Science; Member of Advisory Board of High
Performance Computing and Networking Conferences (Europe); He participated with
talks in national and international
conferences, workshops and seminars: First Pitagorian Conference (Greece),
International Conference and Exhibition on High Performance Computing and
Networking (Member of Advisory Board, 1994-96, Munich, Milano, Brussels),
International Conference on Digital Signal Processing DSP95 (Cyprus), delegate
of IEEE Section Congress(Minneapolis, USA,1999), lecture on seminar in MTU (USA,
1999), lectures in University of Vaxjo (Sweden) etc. He has published more than
140 publications that include 14 textbooks.
Phone: 00359 2 965 3385; Mobile: 00359 886 716 926
Fax: 00359 2 68 53 43
Research areas:
- Algorithms and software for determining graph isomorphisms and automorphisms (generators, orbits and order of graph automorphism group);
- Algorithms and software for solution of subgraph problem and maximum common subgraph problem;
- Algorithms and software for determining unital designs and maximal arcs in projective planes;
- Algorithms and software for determining hamiltonian paths and circuits of graphs;
- Algorithms and software for automatic generation of algorithms for problems in some fields of mathematics and computer science (Artificial Intelligence);
- Algorithms and software for syntactic analysis of sentences in Bulgarian language (Artificial Intelligence);
- Algorithms and software for modeling and analysis of electrical and electronic circuits.
Software developed by S. D. Stoichev:
- Program (exe file for PC) for determining generators, orbits and order of the graph automorphism group (new effective exact algorithm);
- Program (exe file for PC) for determining generators, orbits and order of the graph automorphism group (new effective approximate algorithm);
- Program (exe file for PC) for Determining Maximum Common Subgraph (new effective approximate algorithm);
- Help for users of programs;
- Examples of inputs and outputs for above three programs
If you want to use some of these programs please email me and I’ll send you their exe files and you can run them for different graphs.
Publcations:
- "Determining the vertex orbits and automorphisms of graph by algorithm APIV with consecutive selection of vertices", Proceedings of the 19th Scientific Session on the occasion of Radio Day-May 7th, 1984, (in Bulgarian).
- "The algorithm ARBIP with reduction of number of consecutive selection of vertices for determination of the vertex orbits and automorphisms of graph", Proceedings of the 19th Scientific Session on the occasion of Radio Day-May 7th, 1984, (in Bulgarian).
- "Method and algorithm ASRBIV with highly reduced number of consecutive selections of vertices for determination of the vertex orbits and automorphisms of graph", Proceedings of the 19th Scientific Session on the occasion of Radio Day, May 7th, 1984, (in Bulgarian).
- "Backtracking method MPIVVN of consecutive selection of vertices - new method for determination of the vertex orbits of graph", Proceedings of Higher Institute of Mechanical and Electrical Engineering, vol. 40, book 6, 1985 (in Bulgarian).
- "Variants of the refinement procedure of graph vertices", Proceedings of Higher Institute of Mechanical and Electrical Engineering, vol. 40, book 6, 1985 (in Bulgarian).
- "Characteristics of graph representation by adjacency levels", Proceedings of the Jubilee Scientific Session "40 years Higher Institute of Mechanical and Electrical Engineering", 1985 (in Bulgarian).
- "Algorithm and program VSEPAR for determination of the vertex orbits, generators and order of the graph automorphism group ", Proceedings of the 21th Scientific Session on the occasion of Radio Day-May 7th, 1986 (in Bulgarian).
- "Fast refinement procedure of graph vertices", Proceedings of the Jubilee Scientific Session on the occasion of 110th anniversary of April revolt in Bulgaria, Gabrovo, 1986 (in Bulgarian).
- "Use of the isomorphism of graphs for checking the topology of large integrated circuits in computer-aided design systems ", Journal "Electrical Industry and Instrument-Building", book 11, 1987, pp. 5-7 (in Bulgarian).
- "Algorithm and program IZOGRA for graph isomorphism ", Proceedings of the 22th Scientific Session on the occasion of Radio Day-May 7th, 1987(in Bulgarian).
- "The Nonisomorphism of the strongly Regular Graphs Derived from the Quasisymetric 2-(31, 7, 7) Designs, Journal "Compt. rend. Acad. Bulg. Sci.", 1987, pp. 33-35.
- "Rapida proceduro por enklasigo de grafnodoj", Journal "Grkg/Humankybernetic", band 28, heft 3, 1987, pp. 119-123.
- "The automorphism groups of the known 2-( 91, 6, 1) designs", Journal "Compt. rend. Acad. Bulg. Sci.", (with V. Tonchev), vol. 41, no. 4, 1988, pp. 15-16.
- “The automorphism group of a strongly regular graph with 220 vertices", Journal "Compt. rend. Acad. Bulg. Sci.", vol. 41, no. 9, 1988.
- “A New Algorithm for Layout verification of VLSI circuits”, Proceedings of ISME’91, Varna, Bulgaria, September 15-20, 1991,1 - 32-6.
- “A New Algorithm for Subgraph Problem”, Proceedings of Jubelee Conference on the Occasion of 50th Anniversary of Technical University of Sofia, Sofia, 1995.
- “A New Algorithm for Determining Maximal Isomorphic Intersection of Two Graphs“, Proceedings of Jubelee Conference on the Occasion of 50th Anniversary of Technical University of Sofia, Sofia, 1995
- Fast Adjacency Refinement Algorithm”, Proceedings of the International Conference on Digital Signal Processing, Limassol, Cyprus, June 26-28, 1995, Vol. 2, pp. 870-875;
- S. D. Stoichev and P. Borovska, Experimental Environment for Tasc Allocation in Parallel Computer Architectures”, Lecture Notes in Computer Science, vol. 919, 1995, pp. 935
- N. Hamilton, S. D. Stoichev and V. D. Tonchev, “Maximal Arcs and Disjoint Maximal Arcs in Projective Planes of Order 18”, Journal of Geometry, Vol. 67, 2000, pp. 117-126.
- S. D. Stoichev and V. D. Tonchev, Unital Designs in Planes of Order 16,Discrete Applied Mathematics, Vol. 102,2000,pp. 151-158.
- S. D. Stoichev, Algorithms for transforming generalized nets into graphs, Scientific proceedings, NTS, Sofia, 1998, 3 (July), pp. 90-94;
- Stoicho D. Stoichev, Zahari Zahariev, Finding Redundant Trees for Path Recovery in Connected Graphs, 16-th International Conference on Systems for Automation of Engineering and Research (SAER-2002), 2002, Varna.
- Stoicho D. Stoichev, Zahari Zahariev, A New Algorithm for Determining Maximum Common Subgraph, 17-th International Conference on Systems for Automation of Engineering and Research (SAER-2003), 2003, Varna.
Articles in preparation
- N. Kasabov, S. D. Stoichev, Hr. Dinkova, Algorithm and program for determining genes activities network;
- S. D. Stoichev, N. Kasabov, Il. Milusheva, Algorithm and software for determining proteins structure similarity;
- S. D. Stoichev, Algorithms for determining unitals and maximal arcs in projective planes of order 16;
- S. D. Stoichev, Two approximate but almost exact algorithms for determining graph automorphism group;
- S. D. Stoichev, VSEPARN – new effective algorithm for determining generators, orbits and order of the graph automorphism group.
Textbooks and tutorial books
- S. Stoichev, L. Dakovski, L. Balkandjiev, Tutorial book on electronic computers, Tehnika, Sofia, 1973.
- S. Stoichev, L. Dakovski, P. Martinov, Electronic computers, Tehnika, Sofia, 1974.
- S. Stoichev, D. Avreski, Testing and Diagnostics of digital computers, Tehnika, Sofia, 1979.
- S. Stoichev, A. Angelov, B. Filipov, Tutorial book on algorithmic and arithmetic foundations of digital computers, Tehnika, Sofia, 1980.
- S.Stoichev, L. Dakovski, D. Arnaudov, Foundations of Computer Engineering, Tehnika, Sofia, 1981.
- S. Stoichev, L. Dakovski, G. Gochev, Tutorial book on Foundations of Computer Engineering and Programming, Tehnika, Sofia, 1982.
- S. Stoichev and al., Collection of Solved problems in Computer Engineering and Programming, Tehnika, Sofia, 1982.
- S. Stoichev, N. Kasabov, Tutorial book on Theory and Practice of Computer Applications, Tehnika, Sofia, 1984.
- S. Stoichev, N. Kasabov, Programming with Pascal (tutorial book), Tehnika, Sofia, 1985.
- S. Stoichev, N. Kasabov, Electronic computing machines, Tehnika, Sofia, 1986.
- S. Stoichev, N. Kasabov, Tutorial book on Synthesis and Analysis of Algorithms and Programs, Tehnika, Sofia, 1988.
- S. Stoichev, N. Kasabov, Programming with Pascal, Tehnika, Sofia, 1989.
- S. D. Stoichev, Synthesis and Analysis of Algorithms (textbook, in Bulgarian), BPS, Sofia, 2003,2004,2005.