Personal tools
You are here: Home Departments Computer Informatics Prof. Vladimir Dimitrov, Ph. D. Publications of Prof. Vladimir Dimitrov, Ph. D.

Publications of Prof. Vladimir Dimitrov, Ph. D.


  1. К. Мутафов, В Димитров, “Бейзик-Плюс и Бейзик-Плюс-2 – сравнение на възможностите за приложно програмиране”, семинар “Програмно осигуряване на мини-ЕИМ СМ-4 (ИЗОТ-1016 С)”, 15.06.1982, София, ДКНТП НС по автоматизация, ЦС на НТС комитет по автоматизация.
  2. P. Nenov, D. Alexandrov, V. Dimitrov, M. Jamleev, “Micro-Info – a Portable Relational Database Management System for Micro Computers”, Proc. of Sixth Int. Seminar on Database Management Systems, Matrafured, Hungary, Budapest, Hungary, Promoted by Central Statistical Office, Hungary, Ed. by Dr. Pal Poloskei, pp. 266-274.
  3. M. Jamleev, V. Dimitrov, “Micro-Info: Relational DBMS for Microcomputers – Application Features”, Proc. of Seventh Int. Seminar on Database Management Systems, Varna, Bulgaria, 8-13 Oct. 1984, Org. by BSURDI “Interprogram”, Ed. by P. Doumkov and J. Mihaylov, pp. 135-143.
  4. В. Димитров, П. Панов, “Паралелна архитектура за релационен метод на достъп”, Сборник резюмета и доклади на Тринадесети национален преглед на ТНТМ “Научно-техническият прогрес – територия на младежко дръзновение, Математика и механика и приложението им в науката и практиката”, Орг. От ЦК на ДКМС, ДКНТП и ЕЦММ – БАН, София, 13-14 юни 1985, стр. 187-193.
  5. V. Dimitrov, “A modification of the Nested Blocks Algorithm for Performing Relational Operations: Cartesian Product, Join and Division”, Proc. of the Eighth Int. Seminar on Database Management Systems, Piestany, Chechoslovakia, 30 Sept. – 4 Oct. 1985, Org. by VUSEI-AR, Ed. by P. Kaiser and A. Scheber, pp. 118-124.
  6. M. Jamleev, V. Dimitrov, “Micro-Info: Implementation Aspects”, Proc. of the Eighth Int. Seminar on Database Management Systems, Piestany, Chechoslovakia, 30 Sept. – 4 Oct. 1985, Org. by VUSEI-AR, Ed. by P. Kaiser and A. Scheber, pp. 125-133.
  7. М. Ямлеев, Е. Бояджиева, В. Димитров, “Реализация языка запросов по примеру (QBE/M) для микро-ЭВМ”, Сборник докладов Первой национальной конференции по персональным компьютерам ПЕРСКОМП’85, т. 1, 23-26 апрель 1985, София, Болгария, Орг. ИТКР-БАН, Изд. БАН, 1986, стр. 219-230.
  8. A. Petkov, A. Terziev, V. Dimitrov, St. Stanchev, “Information Flows Maintenance in Heterogenous Local Area Network”, Proc. of First National Conference on Personal Computers PERSCOMP’85, vol. 2, 23-26 April 1985, Sofia, Bulgaria, Org. by ITCR-BAS, BAS Publ., 1986, pp. 11-22.
  9. A. Petkov, A. Terziev, V. Dimitrov, “Transport Service in Local Area Computer Network”, MTA SZTAKI tanulmayok 183/1986, Budapest, Hungary, pp. 43-49.
  10. V. Dimitrov, A. Petkov, “A Class of Petri Nets Useful for Coordination Modeling of Distributed Systems”, Proc. of Second Int. Symposium MMPS’87, vol. 2, Eisenach, GDR, 7-11 Sept. 1987, Informatik Informationen Reporte, No. 15, Akademie der Wissenschaften der DDR, Institute fur Informatik und Rechentechnik, 1987, pp. 84-98.
  11. В. Димитров, И. Павлов, В. Вичев, Г. Георгиев, “Генерация на отчети ориентирана към крайния потребител”, Младежки научно-технически симпозиум “Електронно-изчислителна техника и технология”, 28 май 1987, София, депозиран в ЦНТБ, 6 стр.
  12. В. Димитров, И. Павлов, “Към програмиране без програмисти на микрокомпютри с Qbase”, Младежки научно-технически симпозиум “Електронно-изчислителна техника и технология”, 28 май 1987, София, депозиран в ЦНТБ, 5 стр.
  13. В. Димитров, “Верификация на комуникационни протоколи с мрежи на Петри”, Сборник доклади от Шестнадесетата пролетна конференция на СМБ, Математика и математическо образование, Слънчев бряг, 6-10 април 1987, Орг. От ЕЦММ-БАН и СМБ, Изд. на БАН, Отг. редактор Г. Геров, стр. 392-397.
  14. В. Димитров, И. Павлов, “Qbase – релационна система за управление на малки бази от данни за микрокомпютри”, Сборник доклади от Шестнадесетата пролетна конференция на СМБ, Математика и математическо образование, Слънчев бряг, 6-10 април 1987, Орг. От ЕЦММ-БАН и СМБ, Изд. на БАН, Отг. редактор Г. Геров, стр. 514-521.
  15. V. Dimitrov, A. Petkov, “Using Petri Nets for Verification of Communication Protocols”, 5-9 Jan. 1987, Gausig/Bautzen, GDR, Org. by KNP-4, KNP-8 and TU Dresden, Wiss. Beitr. Inform. – IZ d. Hochschulwesens a.d. TU Dresden-1 (1987), H. 3, pp. 44-46.
  16. В. Димитров, “Верификация на комуникационни протоколи с мрежи на Петри”, Автореферат, СНС по метематика при ВАК, Издателско-печатна база ЕЦНПКФКС, София, 1988, 21 стр.
  17. V. Dimitrov, A. Petkov, “Verification Oriented Estelle Specification of Communication Protocols”, Research into Networks and Distributed Applications EUTECO’88, Ed. by R. Speth, Participants Edition, European Teleinformatics Conference, Vienna, Austria, 20-22 April 1988, Org. by The European Action in Teleinformatics COST 11ter, Commission of the European Communities, Directorate XIII: Telecommunications, Information Industries and Innovations, Elsevier Science Publ. B. V. (North-Holland), pp. 953-960.
  18. V. Dimitrov, A. Petkov, “Automatic Verification of Estelle Specifications of Communication Protocols Using Petri Nets”, Preprints of the IFIP TC8 Int. Symposium “Network Information Processing Systems”, Sofia, Bulgaria, 9-13 May 1988, pp. 119-125
    and in “Network Information Processing Systems”, Proc. of the IFIP TC6/TC8 Open Symposium, Ed. by K. Boyanov and R. Angelinov, Elsevier Science Publ. B. V. (North-Holland), 1989, pp. 101-108.
  19. V. Dimitrov, A. Petkov, “Verification Oriented Estelle Specifications of Communication Protocols”, First European Conference on Information Technology for Organizational Systems EUROINFO’88, Ed. by H.-J. Bullinger et al., Participants Edition, Athens, Greece, 16-20 May 1988, Org. for the European Communities, Sponsored by IFIP, CECUA, ADI, AFCET, AICA, API, ASAB, BCD, CIGREF, COMGE, DANFIP, GCS, GI, ICS, IFCU, INFOREP, NCUF, NGI, VID/EKV, VEBI, ZVEI, Elsevier Science Publ. B.V. (North-Holland), 1988, pp. 536-540.
  20. В. Димитров, А. Петков, “Верификация спецификации, написанных на языке Естель с исползованием сетей Петри”, Сборник докладов международного семинара по комплексному проекту “Сети ЭВМ. Аппаратные и программные средства для сетевых процессоров, локальные вычислителые сети, распределенная обработка на базе сетевых средств”, 1988, Москва, СССР, ИПИ АН СССР, Под общей редакцией В. Праченко, стр. 31-40.
  21. A. Petkov, V. Dimitrov, I. Bojanova, “Verification Oriented Specification of Distributed Systems in Estelle”, Proc. of the Second Int. Seminar “Modeling and Performance Evaluation of Distributed Computer Systems”, Wendish Rietz, GDR, 14-18 Nov. 1988, Informatik Informationen Reporte, No. 15, vol. 1, Akademie der Wissenschaften der DDR, Institute fur Informatik und Rechentechnik, 1987, pp. 105-118.
  22. В. Димитров, А. Петков, “Верификация спецификаций написанных на языке Estelle, с изпользованием сетей Петри”, Автоматика и вычислительная техника, № 5, 1989, Рига, СССР, стр. 23-27.
  23. V. Dimitrov, V. Doichinov, “Document Oriented DBMS Ray Based on Relational Technology, Proc. of Twelfth Int. Seminar on Database Management Systems, vol. 1, Oct. 1989, Suzdal, USSR, Org. by Sci. – Prod. Assoc. “Tzentrprogrammsystem”, pp. 61-69.
  24. И. Божанова, В. Димитров, “Z-спецификация на файловия интерфейс на мобилната в Ada – среда фораметираща система FORM”, Сборник доклади на Четиринадесетата школа Програмиране’89, 20-30 май 1989, Дружба, Варна, Орг. от МКНП, ИМ с ИЦ – БАН и СМБ, Ред. П. Бърнев, П. Станчев и Ст. Керпеджиев, ИЦТТ ИНФОРМА, стр. 128-129.
  25. В. Димитров, А. Христов, “Инструментальная среда для создания экспертных систем”, Научно-технический симпозиум “Болгария сегодня и завтра”, 2-6 июня 1989, ВДНХ, Москва, СССР, Орг. Федерацией Научно-Технических Организаций Болгарий и Дирекцией юбилейной выставки, 10 стр.
  26. В. Димитров, В. Дойчинов, “Применение реляционной модели данных при построении документального СУБД Ray”, Сборник докладов конференции по интелигентых систем, т. 1, 26 сент. – 2 окт. 1989, Дружба, Варна, Болгария, Орг. Институтом математики при БАН, Ред. Ф. Златарова, стр. 115-122.
  27. V. Dimitrov, V. Blagoev, R. Radiev, “Flisp – An Implementation of LispToolKit SECD Machine on IBM PC”, Proc. of Conference on Intelligent Systems, vol. 2, 26 Sept. – 2 Oct. 1989, Druzhba, Varna, Bulgaria, Org. by Institute of Mathematics – BAS, Ed. by F. Zlatarova, pp. 356-361.
  28. В. Димитров, И. Божанова, “Z спецификация на буферен Ада пакет”, Сборник научни доклади и съобщения от Третата национална младежка школа с международно участие “Системи за автоматизация на инженерния труд и научните изследвания – САИТНИ’89”, 2-7 октомври 1989, Орг. от ЦК на ДКМС, Съвет на младите научни работници, ВМЕИ “Ленин”, ЦАП “Техноинвест”, НИИММ, стр. 207-211.
  29. I. Bojanova, V. Dimitrov, “A Tool for Transformation of FDT Models”, Proc. of the 2-nd Int. KNP-4 Workshop, Bad Saarow, Dec. 12-15 1989, Institute fur Informatik und Rechentechnik, Informatik Informationen Reporte 10/1990, pp. 163-177.
  30. I. Bojanova, V. Dimitrov, “Parallelism in Parsing Algorithms of Specification Languages LXIC and SYNT”, Parallel and Distributed Processing, Proc. of the Second Workshop on Parallel and Distributed Processing (WP & DP’90), Sofia, Bulgaria, 27-29 March 1990, Ed. by K. Boyanov, North-Holland, pp. 185-197.
  31. I. Bojanova, V. Dimitrov, “A Specification of Estelle and its Transformation into Petri Nets” Proc. of the Int. Conference on Local Area Networks LOCALNET’90, Riga, USSR, Oct. 9-11, 1990, pp. 268-272.
  32. Ст. Станев, В. Димитров, “Z спецификация коммуникационной системы с наличием серверной станции”, Труды международной конференции Локальные Вычислительные Сети ЛОКСЕТЬ 90, Рига, СССР, 9-11 октября 1990, стр. 93-96.
  33. I. Bojanova, V. Dimitrov, “Simulation of Estelle Specifications with Ada Programs”, 19. Jahrestagung, Grundlagen der Modellierung und Simulationstechnik, Rostok, 18-20 Dezember, 1990, pp. 105-108.
  34. I. Bojanova, V. Dimitrov, “An Estelle Checker Specification and its Implementation”, Modeling, Evaluation and Optimization of Dependable Computer Systems, Proc. of the 3-rd Seminar, Wendish Rietz, Nov. 20-22, 1990, Part I, Informatik Informationen Reporte 9/1990, Akademie der Wissenschaften der DDR, Institute fur Informatik und Rechentechnik, pp. 35-44.
  35. В. Димитров, В. Станчева, И. Орозов, Д. Лангова, “Среда за разработване на експертни системиADVISOR”, сп. “Автоматика и информатика”, брой 3/4, 1991, стр. 5.
  36. В. Димитров, В. Станчева, “Изграждане на системи за обучение с елемент на експертност с помощта на средата за разработка на експертни системи ADVISOR”, Сборник доклади на САИТНИ’91, 24-25 септември 1991, Дружба, Варна, стр. 9-19.
  37. Р. Радиев, В. Димитров, “Формално описание на диалог с разширен краен автомат”, Сборник доклади на САИТНИ’91, 24-25 септември 1991, Дружба, Варна.
  38. R. Radiev, V. Dimitrov, “Formal Specification of Intelligent Interactive Systems”, Gordon and Breach Science Publishers S. A., UK, SAMS, 1992, vol. 9, pp. 313-323.
  39. В. Христович, В. Димитров, “Информационно-търсещи системи за бази от нормативни актове”, Математика и математическо образование, 1996, Сборник доклади, стр. 383-384.
  40. В. Димитров, Анализ-84, Анализ состояния и тенденции развития производства и применения програмных продуктов, Обзор и аннотированная библиография, Компьютеры пятого поколения, СБНИПИ “Интерпрограмма”, София, Болгария, 1985, 77 стр.
  41. В. Димитров, Анализ-85, Анализ состояния и тенденции развития информатики, Исследовательский отчет, Оценка работ по перспективным ЭВМ пятого поколения, СБНИПИ “Интерпрограмма”, София, Болгария, 1986, 247 стр.
  42. В. Димитров, Анализ-87, Анализ состояния и тенденции развития информатики, Исследовательский отчет, Перспективные средства спецификации програмного и технического обеспечения новых поколении вычислительных машин, СБНИПИ “Интерпрограмма”, София, Болгария, 1988, 180 стр.
  43. В. Димитров, Анализ-88, Анализ состояния и тенденции развития информатики, Исследовательский отчет, Перспективы использования среды Ада для создания софтвера, кн. 8, СБНИПИ “Интерпрограмма”, София, Болгария, 1989, 226 стр.
  44. В. Димитров, Анализ-90, Анализ состояния и тенденции развития информатики, Аналитический обзор, Изследования разработки в области телеинформатики, СБНИПИ “Интерпрограмма”, София, Болгария, 1990, 135 стр.
  45. В. Димитров, Анализ-90, Анализ состояния и тенденции развития информатики, Информация для руководителей и специалистов, Руководящие указания для архитектуры информатики, СБНИПИ “Интерпрограмма”, София, Болгария, 1990, 96 стр.
  46. В. Димитров, Увод в обектно-ориентираното програмиране, CHT Co., София, 2000, 22 стр.
  47. V. Dimitrov, V. Peychev, Real time data management in cluster of RDBMS servers, NEC’2001, XVIII Int. Symposium, Varna, Sept. 12-18, 2001, pp.69-71.
  48. V. Peychev, V. Dimitrov, Dynamic WAP application for information search in legal documents, UBM, Mathematics and Education in Mathematics, Proc. of XXXI Conf. of UBM, Borovets, April 3-6, 2002, pp.172-176.
  49. V. Dimitrov, LHC Computing, UBM, Mathematics and Education in Mathematics, Proc. of XXII Conf. of UBM, Sunny Beach, April 5-8, 2003, pp.239-243.
  50. L. Yordanova, E. Groeneveld, V. Dimitrov, A XML approach for support DB modeling, UBM, Mathematics and Education in Mathematics, Proc. of XXII Conf. of UBM, Sunny Beach, April 5-8, 2003, pp.297-304.
  51. V. Dimitrov, DBMS Implementation for Office Systems, Proc. of Pre-conference Workshop on VLDB 2003 “Emerging Database Research in East Europe”, CSR 14/03, November 2003, BTU, Cottbus, Germany, pp. 42-45.
  52. V. Dimitrov, Versioning in Legislative Databases, Proc. of 29 Int. Summer School Applications of Mathematics in Engineering and Economics, Sozopol, June 2003, Bulvest 2000 Ltd, pp.353-357.
  53. V. Dimitrov, LHC Computing – A Regional Point of View, NEC’2003, XIX Int. Symposium, Varna, Sept. 15-20, 2003, pp. 127-129.
  54. V. Dimitrov, Formal Specification of Legal Documents Issued by Bulgarian Government, UBM, Mathematics and Education in Mathematics, Proc. of XXIII Conf. of UBM, Borovets, April 1-4, 2004, pp.209-213.
  55. V. Dimitrov, Virtual Reality for Mathematical Computations, UBM, Mathematics and Education in Mathematics, Proc. of XXIII Conf. of UBM, Borovets, April 1-4, 2004, pp.410-406.
  56. M. Tipografov, V. Dimitrov, XML Based Languages for Representing Mathematical and Scientific Content, UBM, Mathematics and Education in Mathematics, Proc. of XXIII Conf. of UBM, Borovets, April 1-4, 2004, pp. 472-477.
  57. В. Димитров, Текстови бази от данни, Сиела – Софт енд паблишинг, София, 2004, 108 стр.
  58. V. Dimitrov, XML Today, First International Conference on Information Systems & Datagrids, 17-18 February 2005, Sofia, pp. 65-74.
  59. D. Leskovska, G. Trifonova, V. Dimitrov, Dynamic Visualization of Information with VRML, First International Conference on Information Systems & Datagrids, 17-18 February 2005, Sofia, pp. 178-182.
  60. В. Димитров, CSE във висшето образование в България, Доклади на XXXIV конф. на СМБ, Боровец, 6-9 април 2005, стр. 300-304.
  61. Д. Лесковска, В. Димитров, З. Гъркова, Приложение наVRML (X3D) в обучението, Доклади на XXXIV конф. на СМБ, Боровец, 6-9 април 2005, стр. 344-351.
  62. V. Dimitrov, V. Vladislavov, Parallel Algorithm for Crystalizations, NEC’2005, XX Int. Symposium, Varna, Sept. 12-18, 2005, pp.93-98.
  63. В. Димитров, Р. Горанова, Създаване и сертифициране на LCG ферма в СУ „Св. Климент Охридски”, Юбилейна международна научна конференция, 7-8 юни 2006, Свищов, стр. 122-126.
  64. В. Димитров, Р. Горанова, Гридовская ферма Софийского университета, Труды второй международной конференции „Разпределенные вычисления и грид-технологии в науке и образовании”, Дубна, 26-30 июня 2006, стр. 286-290.
  65. V. Dimitrov, B-tree Index Structures for Multimedia Data, Proc. of ICEST’2007, 24-27 June 2007, Ohrid, Macedonia, pp. 411-414.
  66. V. Dimitrov, Standardization of Education on Information Systems at University of Sofia, Proc. of 32nd Int. Conf. Application of Mathematics in Engineering and Economics, Sozopol, 2007, pp. 233-238.
  67. Д. Атанасиу, В. Димитров, Електронната търговия за малките предприятия, Доклади на межд. научна конф. „Бизнес информатика”, 11 октомври 2007, София, стр. 333-348.
  68. V. Dimitrov, Hash Index Structures for Multiple Dimensions Support on Multimedia Data, Proc. of the Workshop Multisensor Signal, Image and Data Processing in the frame of Third Balkan Conference in Informatics, 27-29 September 2007, Sofia, pp. 23-28.
  69. V. Dimitrov, Development of Applications with Service Oriented Architecture for Grid, Proc. of CompSysTech’08, Gabrovo, 12-13 June 2008, pp. II.9-1 – II.9-6.
  70. V. Dimitrov, Primitive SOA, Int. Scientific Conf. Informatics in the Scientific Knowledge, Varna, 26-28 June 2008, pp. 164-168.
  71. V. Dimitrov, Enterprise Grid Computing, |Proc. of Fourth Int. Bulgarian-Greek Conf. Computer Science’2008, Kavala, 18-19 September 2008,  pp. 737-742.
  72. V. Dimitrov, Grid and Standardization Efforts, Proc. of Int. Scientific Conf. Unitech’08, 21-22 November 2008, Gabrovo, pp. I-296 – I-300.
  73. V. Dimitrov, What is SOA, Proc. of Int. Scientific Conf. Unitech’08, 21-22 November 2008, Gabrovo, pp. I-385 – I-390.
  74. В. Димитров, Д. Атанасиу, Използване на информационните системи за разработване на стратегия в гръцките предприятия, сп. „Бизнес управление”, бр. 3/2008, стр. 79-92.
  75. V. Dimitrov, Conversion of Process Flow Diagrams to Activity Diagrams, Proc. of XXXVII Conf. of UMB, Borovets, April 1-5, 2009, pp. 171-177.
  76. V. Dimitrov, Data Streams Model, Third International Conference on Information Systems & Grid Technologies, 28-29 May 2009, Sofia, pp. 39-45.
  77. V. Dimitrov, Grid Governance, Third International Conference on Information Systems & Grid Technologies, 28-29 May 2009, Sofia, pp. 126-130.
  78. V. Dimitrov, Data Streams Model, Third International Conference on Information Systems & Grid Technologies, 28-29 May 2009, Sofia, pp. 39-45.
  79. В. Димитров, Р. Горанова, Абстрактен и конкретен синтаксис в разширенията на SQL за потоци от данни, Международна научна конференция „Приложна информатика и статистика – съвременни подходи и методи”, Равда, 25-26 септември 2009.
  80. В. Димитров, Р. Горанова, Изпълнение на заявки в разширенията на SQL за потоци от данни, Международна научна конференция „Приложна информатика и статистика – съвременни подходи и методи”, Равда, 25-26 септември 2009.
  81. V. Dimitrov, MSIS 2006 Implementation Review in Bulgaria, Proc. of 4th Mediterranean Conference on Information Systems, 25-27 September 2009, Athens, Greece, pp. 68-74.
  82. В. Димитров, Технологично-ориентираната реализация на IS 2002 във ФМИ при СУ, Сборник доклади от международна научна конференция „Информационни технологии в управлението на бизнеса”, 16-17 октомври 2009, Варна, стр. 291-296.
  83. В. Димитров, Въвеждане на Грид, Сборник доклади от международна научна конференция „Информационни технологии в управлението на бизнеса”, 16-17 октомври 2009, Варна, стр. 420-425.
  84. В. Димитров, Модел на потоци от данни, Научни трудове на Русенския университет - 2009, том 48, серия 6.1, стр. 66-70.
  85. В. Димитров, Ориентираната към услуги архитектура в реализацията на MSIS 2006, Сборник доклади на международна научна конференция УНИТЕХ’09, 20-21 ноември 2009, Габрово, стр. IІІ-372 – IІІ-378.
  86. В. Димитров, Разширена форма на Бекус-Наур, ISO/IEC 14977:1996(E), Дита-М, 2009, 32 стр.
  87. В. Димитров, Ориентирана към услуги архитектура, Технологика, 2009, 208 стр.
  88. V. Dimitrov, Formal Specification of Relational Model of Data in Z-Notation, Proc. of XXXIX Conf. of UMB, Albena, April 6-10, 2010, pp. 178-183.
  89. V. Dimitrov, From Process Flow Diagrams to BPMN, Fourth International Conference on Information Systems & Grid Technologies, 28-29 May 2009, Sofia, (in print).
  90. V. Dimitrov, “Relationship” Specified in Z-notation, Fourth International Conference on Information Systems & Grid Technologies, 28-29 May 2009, Sofia, (in print).
  91. V. Dimitrov, Toward Semantic Specification of WS-BPEL, Fourth International Conference on Information Systems & Grid Technologies, 28-29 May 2009, Sofia, (in print).
Document Actions