Иван Николаев Станев

Иван Николаев Станев

Доцент
Доктор
Имейл: 
instanev@fmi.uni-sofia.bg
Телефон: 
+359 2 8161 508
Кабинет: 
ФМИ-530

Списък с публикации

83

Stanev I., Koleva M., A Common Automated Programming Platform for Knowledge Based Software Engineering, IN: Proceedings of ICSII 2015 17th International Conference on Semantic Interoperability and Integration, Rome, 2015. Pp. 638 - 641

82

Stanev I., Koleva M., KBASE Technological framework - Requirements, IN: Proceedings of ICSII 2015 17th International Conference on Semantic Interoperability and Integration, Rome, 2015. . Pp. 634 - 637

81

Станев И., Колева М., KBASE – технологична рамка, В: Трудове от Международна научна конференция на Русенски университет „Ангел Кънчев” и Съюз на учените – Русе, Том 54, серия 6.1 Математика, информатика и физика. Русе. 2015. Стр. 172 - 176

80

Станев И., Колева М., KBASE – изисквания към технологичната рамка, В: Трудове от Международна научна конференция на Русенски университет „Ангел Кънчев” и Съюз на учените – Русе, Том 54, серия 6.1 Математика, информатика и физика. Русе. 2015. Стр. 119 - 124

79

Stanev I., L. Georgiev. Robovisor - Psychotherapist’s selfsupervision robotic assistant in positive psychotherapy. Proceedings of the Union of Scientists Ruse Vol. 11 / 2014, Book 5 Mathematics, Informatics, and Phisics. Ruse. 2014. Pp. 103 - 108.

78

Станев И. Метод за автоматизирано програмиране на роботи. Дисертация. Катедра Информатика и информационни технологии. Русенски уноверситет. Русе. 2014.  Стр. 141.

77

Stanev I. Relational Data Model as Evolution. Proceedings of Sixth International Conference ISGT’2012, Sofia, Bulgaria, June 1-3, 2012, ISSN: 1314-4855. Pp.22 - 27

76

Stanev I. Method for Automated Programming of Robots. In Knowledge Based Automated Software Engineering. Cambridge Scholars Press. Cambridge. 2012. Pp.67 – 85.

75

Stanev I., K. Grigorova. KBASE Unified Process. In Knowledge Based Automated Software Engineering. Cambridge Scholars Press. Cambridge. 2012. Pp.1 – 19.

74

Stanev I., K. Grigorova (Editors). Knowledge Based Automated Software Engineering. Cambridge Scholars Press. Cambridge. 2012. Pp. 162.

73

Kotsev V., I. Stanev, K. Grigorova. BPMN-EPC-BPMN Converter. Proceedings Vol. 50, Book 6.1, Mathematics, Informatics, Physics, University of Ruse ‘A.Kuntchev’, Ruse. Bulgaria. 2011, Pp. 54-58.

72

Станев И. Декларативен език за програмиране Net – софтуерна архитектура. Научни трудове Том 49, Серия 5.1. Математика, Информатика, Физика. Русенски Университет “А. Кънчев”. Русе. 2010 г. Стр. 72-76.

71

Stanev I., Module for Automated Programming of Robots - Software Architecture. International Scientific Conference Informatics in the Scientific Knowledge. Varna Free University “Chernorizets Hrabar”, The Institute of Mathematics and Informatics at the Bulgarian Academy of Science. Varna, Bulgaria, June 2010, Pp. 253 – 268.

70

Станев И. Метод за автоматизирано програмиране на роботи - Изисквания към метода. Научни трудове Том 48, Серия 6.1. Математика, Информатика, Физика. Русенски Университет “А. Кънчев”. Русе. 2009 г. Стр. 81-85.

69

Станев И. Метод за автоматизирано програмиране на роботи - Описание на метода. Научни трудове 48, Серия 6.1. Математика, Информатика, Физика. Русенски Университет “А. Кънчев”. Русе. 2009 г. Стр. 86-90.

68

Georgiev L., I. Stanev, Robovisor – Psychotherapist’s Self-Supervision Robotic Assistant in Positive Psychotherapy. Positive Psychotherapy Symposium. Third World Congress for Psychotherapy; Vienna. July. 2002.

67

Stanev I. A Bulgarian Linguistic Processor Based on the Formal Model Control Networks - Control Networks Solution. In proceedings of the CompSysTech'2002. Sofia. Bulgaria. June. 2002. Pp.. III.8-1 – III.8-5.

66

Stanev I. A Bulgarian Linguistic Processor Based on the Formal Model Control Networks - General Concepts. In proceedings of the CompSysTech'2002. Sofia. Bulgaria. June. 2002. Pp.. III.7-1 – III.7-5.

65

Stanev I. Formal Programming Language Net. Part II - Syntax Diagrams. In proceedings of the CompSysTech'2001. Sofia. Bulgaria. June. 2001. Pp.. I.17-1 – I.17-5.

64

Stanev I. Formal Programming Language Net. Part I – Conception of the Language. In proceedings of the CompSysTech'2001. Sofia. Bulgaria. June. 2001. Pp.. I.16-1 – I.16-5.

63

Vuleva V., I. Stanev, Ch. Vezirov. A Prototype of a Farm Machinery Diagnostic Expert System. Modeling and optimization in the machines building field, MOCM-6, Romanian Academy, 2000.

62

Kozlev R, Ch. Vezirov, I. Stanev. An Approach and a Sample of Training System for Drivers and Farm Machinery Operators Training. In Proceedings of the AAS’2000 International Symposium on Applied Automatic Systems. Ohrid. Republic of Macedonia. Sep. 2000. Pp. 139-145

61

Станев И. Метод за сравнителен анализ на езици за програмиране. В сборник доклади на конференция CompSysTech'2000. София. България. Юни. 2000. Стр. II.10-1 – II.10-8.

60

Stanev I., S. Ninova-Kozleva, S. Todorova An Intelligent Product Manuals Generator. In proceedings of the CompSysTech'2000. Sofia. Bulgaria. June. 2000. Pp.. V.7-1 – V.7-6

59

Stanev I., S. Stoianov, S. Kalinova. A Generator of Adaptive Extraction Systems. In proceedings of the CompSysTech'2000. Sofia. Bulgaria. June. 2000. Pp..V.6-1 – V.6-6

58

Stanev I., Ch. Vezirov, R. Kozlev, R. Kozhuharov, S. Kalinova. Intelligent Product Manual - Definitions, Structure, and Application in Agricultural Engineering. Proceeding of the XVI International Conference on "Material Flow, Machines and Devices in Industry" - ICMFMDI'2000, 07 -08 December 2000, Belgrad, Yugoslavia, pp. 1-153 ¸ 1-156.

57

Stanev I., Generation of Computer Programs Specified through Natural Language Texts, T.N.Sys8, Systems Engineering Division, University of Wales, Cardiff, UK, 47, Mar 2000. Pp. 47.

56

Станев И. Генериране на програми за управление на робот специфицирани на ограничен естествен език. В Електротехника и електроника. Бр. 5/6 1999г. Стр. 18 – 23.

55.

Кожухаров Р., И. Станев. Среда за разработване на интелигентна продуктова документация. Научни трудове Том 37, Серия 3. Електротехника, електроника, автоматика, физика. Русенски Университет “А. Кънчев”. Русе. 1999г. Стр. 346-350.

54.

Козлев Р., И. Станев, Ч. Везиров. Архитектура на интелигентна система за обучение на водачи на мобилни превозни средства. Научни трудове Том 37, Серия 3. Електротехника, електроника, автоматика, физика. Русенски Университет “А. Кънчев”. Русе. 1999г. Стр. 341-345.

53.

Козлев Р., И. Станев, Ч. Везиров, Я. Цанов. Инструментална среда за компютърна симулация на мобилни превозни средства Научни трудове Том 37, Серия 3. Електротехника, електроника, автоматика, физика. Русенски Университет “А. Кънчев”. Русе. 1999г. Стр. 336-340.

52.

Станев И., С. Калинова, Р. Кожухаров. Понятието Интелигентна потребителска документация. Научни трудове Том 37, Серия 3. Електротехника, електроника, автоматика, физика. Русенски Университет “А. Кънчев”. Русе. 1999г. Стр. 291-295.

51.

Станев И., С. Калинова, С. Стоянов, А. Бороджиева, Р. Кожухаров. Методика за адаптиране на потребителска документация към изискванията на крайния потребител. Научни трудове Том 37, Серия 3. Електротехника, електроника, автоматика, физика. Русенски Университет “А. Кънчев”. Русе. 1999г. Стр. 306-310.

50.

Станев И., Р. Кожухаров, С. Калинова. Понятието Разпределена интелигентна потребителска документация. Научни трудове Том 37, Серия 3. Електротехника, електроника, автоматика, физика. Русенски Университет “А. Кънчев”. Русе. 1999г. Стр. 296-300.

49.

Станев И, С. Нинова, С. Тодорова. Архитектура на инструментална среда AMTG за автоматизирано генериране на шаблони за изграждане на интелигентна потребителска документация. Научни трудове Том 37, Серия 3. Електротехника, електроника, автоматика, физика. Русенски Университет “А. Кънчев”. Русе. 1999г. Стр. 311-315.

48.

Станев И., С. Калинова, А. Найденова, С. Нинова. Методика за автоматизирано генериране на интелигентна потребителска документация. Научни трудове Том 37, Серия 3. Електротехника, електроника, автоматика, физика. Русенски Университет “А. Кънчев”. Русе. 1999г. Стр. 301-305.

47.

Станев И., С. Нинова, С. Тодорова. Архитектура на инструментална среда AMG за автоматизирано генериране на интелигентна потребителска документация. Научни трудове Том 37, Серия 3. Електротехника, електроника, автоматика, физика. Русенски Университет “А. Кънчев”. Русе. 1999г. Стр. 316-320.

46.

Вълева В., И. Станев. Инструменталната среда Sintagtor като средство за компютърна генерация на резюмета на български научни текстове. Научни трудове Том 37, Серия 3. Електротехника, електроника, автоматика, физика. Русенски Университет “А. Кънчев”. Русе. 1999г. Стр. 331-335

45.

Вълева В., И. Станев. Архитектура на хипермедийна адаптивна диагностична експертна система HADES. Научни трудове Том 37, Серия 3. Електротехника, електроника, автоматика, физика. Русенски Университет “А. Кънчев”. Русе. 1999г. Стр. 326-330.

44.

Вълева В., И. Станев, Ч. Везиров. Концептуален модел на хипермедийна адаптивна диагностична експертна система HADES. Научни трудове Том 37, Серия 3. Електротехника, електроника, автоматика, физика. Русенски Университет “А. Кънчев”. Русе. 1999г. Стр. 321-325.

43.

Везиров Ч., Р. Козлев, И. Станев. Моделиране траекторията на завиване на мобилни средства. Научни трудове Том 37, Серия 1. Техника и технологии в земеделието. Русенски Университет “А. Кънчев”. Русе. 1999г. Стр. 204-209.

42

Neal L., K. Kratchanov, I.Stanev. Developing a Western-style Information Systems Engineering Curriculum and Infrastructure. International Journal for Engineering Education. Vol.14. No 1. 1998. Pp. 48 - 53.

41.

Везиров Ч., И. Станев, Р. Козлев, Р. Кожухаров. Информационно осигуряване на аграрното инженерство в България с помощта на ИНТЕРНЕТ. Сборник научни доклади по надеждност, ремонт и експлоатация на техниката. Серия 7 – Експлоатация на техниката и транспортни технологии. Русенски Университет. 1998г. Стр.61-66.

40.

Станев И. Н., Ч. З. Везиров, Н. В. Манев. Възможности за автоматизиран контрол на работоспособността на мобилни средства . В сборник на Юбилейна научна конференция на ВНВУ “В. Левски”. Велико Търново. България. Юни 1998. Стр.8.

39.

Станев И. Н., Ч. З. Везиров, Р. А. Козлев. За използването на компютри при подготовката на водачи на МПС. В сборник на Юбилейна научна конференция на ВНВУ “В. Левски. Велико Търново. България. Юни 1998. Стр.8.

38.

Станев И., К. Крачанов, В. Вълева. Езикови процесори. Томове 1-2. Русенски Университет. 1998. Стр. 234.

37.

Станев И., Р. Кожухаров, С. Клинова, Я. Тръпков. Програмиране и използване на компютри. Фондация “Отворено общество”, Русенски Университет. 1997. Стр. 200.

36.

Kratcahnov K., T. Golemanov, E. Golemanova, I. Stanev. Control Network Programming in SPIDER: Built-in Search Control Tools. Proceedings. New trends in Artificial Intelligence and Neural Networks Conference. Ankara. Turkey. 1997. Pp. 105-109.

35.

Станев И., К. Крачанов, В. Вълева. Теория на алгоритмите. Русенски Университет. 1997. Стр. 210.

34

Станев И. Генериране на компютърни програми, специфицирани чрез естественоезикови текстове, Дисертация, Технически Университет София, София, 1997, Стр.132.

33.

Neal L., K. Kratchanov, I. Stanev. Developing a western-style Curriculum for Information Systems Engineering in a rapidly changing country. WCCE/95 - Proceedings of the Sixth IFIP World Conference Computers in Education. Birmingham. UK. 23 - 28/07/95.

32.

Kratchanov K. D., I. N. Stanev, D. S. Sabotinova. A Fuzzy Computational Model Implementation. Supplement to Kybernetika, 28, 1992, 97-102.

31.

Kratchanov K. D., I.N.Stanev. "Computing" the Reflective Transitive Closure of a Fuzzy Graph: Applications to Fuzzy Rule-Based System Interpreters. In: Papers of Fuzzy Sets and Their Applications. Akademia Ekonomiczna w Poznaniu, Zeszyty Naukowe - Ser. 1, Zeszyt 187, Poznan 1992, 35-49.

30.

Големанов Ц. Д., И. Н. Станев, Е. Г. Големанова, Я. Л. Арсов. Програмна система за транслация на LADDER - диаграми в мрежа на управляема продукционна система. Научни трудове на ТУ-Русе. Т.27. Сер. 9. Русе. 1990.

29.

Станев И. Н., Л. П. Микренска, Д. С. Съботонова. Интерпретаторът Waynodefunc като евристична техника за активиране на знания в управляема продукционна система. Научни трудове на ТУ-Русе. Том XXXII. Серия 9. Русе. 1990.

28.

Големанов Ц. Д., И. Н. Станев. Един подход за разработване на семантични процедури при възходящ синтактичен анализ на езици за програмиране. Научни трудове – ВТУ "А. Кънчев"- Русе. Том XXXII, Серия 9. Русе. 1989.

27.

Съботинова Д. С., И. Н. Станев, Интерпретация на размити програми за управление на робот. Научни трудове- ВТУ "А.Кънчев"-Русе. Том 32, Сер.9. Русе. 1989.

26.

Крачанов К. Д., И. Н. Станев. Система за управление на робокар с ограничен български език. "Ръководство за лабораторни упражнения по роботика". - II част Ред. В.Тодоров. София. 1989. 218-273.

25.

Станев И. Н. Интерпретация предметной области "Двукоординатное движение по плану" в системе ОСКАР. Сборник материалов конкурса молодых научных работников "Роботика'89". Созополь. 1989.

24.

Станев И. Н. Използване на управляеми продукционни системи за машинно разпознаване на ограничен български език. Сборник материали на V международна младежка школа по езикознание'89. Ловеч. 1989.

23.

Kratchanov K. D., I. N. Stanev, D. S. Sabotinova. Fuzzy Algorithms Interpreters. Proc. 3-rd Polish Symposium on Fuzzy Sets and Interval Analysis, Poznan 89. Academy of Economics (in press).

22.

Kratchanov K. D., I. N. Stanev et al. Rule Networks: A Style of Programming and an Expert System Tool kit. Artificial Intelligence III. Methodology, Systems, Applications (T.O.Shea and V.Sgurev - eds.). North-Holland, 1988, 265-272.

21.

Kratchanov K. D., I. N. Stanev. Fuzzy Rule-Based Systems, Fuzzy Algorithms, Fuzzy Reasoning. 1-st Joint IFSA-EC and Euro-WG Workshop on Progress in Fuzzy Sets in Europe, Warsaw, 1986 (J.Kacprzyk and A.Straszak - eds.), Prace IBS PAN, 167, 1988, Warszawa, 155-166.

20.

Kratchanov K. D., I. N. Stanev. A Rule-Based System for Fuzzy Natural Language Robot Control. Proc. 4-th Intern. Conf. Artificial Intelligence and Information-Control Systems of Robots, Smolenice, Czechoslovakia, 1987 (I. Plander - ed.), North-Holland, 1987, 304-309.

19.

Крачанов К. Д., И. Н. Станев, Я. Н. Стерева. Методика применения одного типа систем, основанных на правилах для реализации естественноязыкового интерфейса. Научни труд. ВТУ "А.Кънчев"-Русе, 29, 1987.

18.

Крачанов К. Д., И. Н. Станев, В. Й. Вълева - Реализации интерпретаторов систем, основанных на правилах. ХIII нац. млад. школа с междун. участие "Приложение на математиката в  техниката", Варна, 1987, 257-260.

17.

Крачанов К. Д., И. Н. Станев, В. Й. Вълева. От математической модели системы, основанной на правилах, к множеству алгоритмов интерпретатора. Научни труд. ВТУ "А. Кънчев"-Русе, 29, 1987.

16.

Kratchanov K. D., I. N. Stanev, Y. N. Stereva. Mathematical Model of a Rule-Based System and Its Implementations. East-European Category Seminar, Predela, 1987, Summaries.

15.

Крачанов К. Д., А. С. Смрикаров, П. И. Хараламов, И. Н. Станев, М. П. Джамбазова. Реализация на десетична аритметика с фиксирана запетая за микропроцесор СМ601 с използване на макроасемблер. Семинар "Автомати, езици, системи", София, 1986.

14.

Големанов Ц. Д., И. Н. Станев, К. Д. Крачанов. Диалогова информационно-търсеща система. Семинар "Автомати, езици, системи", София, 1986.

13.

Крачанов К. Д., И. Н. Станев, В. Й. Вълева, В. П. Великов, А. М. Чалъкова, Д. П. Иванова, В. С. Коева, В. Х. Станков. Интелектуална система за решаване на словесни задачи за движение, задавани на български език. Научни труд. ВТУ "А. Кънчев" - Русе, Т.28,  1986. сер.6, 55-60.

12.

Големанов Ц. Д., И. Н. Станев, К. Д. Крачанов. Видеоредактор на мрежи. Научни труд. ВТУ "А. Кънчев"-Русе,Т. 28, 1986. сер.6, 49-54.

11.

Станев И. Н., К. Д. Крачанов, Ц. Д. Големанов, С. П. Стоева, А. М. Чалъкова. Интелектуална система за размито управление на робот. Научни труд. ВТУ "А. Кънчев" - Русе. Т.28, Сер.6. 1986. сер.6, 43-48.

10.

Крачанов К. Д., И. Н. Станев, В. Й. Вълева, А. М. Чалъкова, В. П. Великов. Интерпретатори с връщане при неуспех в системите, базиращи се на правила и тяхното използване в интелектуалната система УМЧО1. Семинар "Автомати, езици и системи", С., 1986.

09.

Станев И. Н., А. М. Чалъкова, К. Д. Крачанов. Система, базираща се на правила, за морфологичен анализ на българския език. Научни труд. ВТУ "А. Кънчев" - Русе, 27, Сер.3. 117-122. 1985.

08.

Крачанов К. Д., И. Н. Станев, А. М. Чалъкова. Интерпретатор с връщане при неуспех на управляема система, базираща се на правила. Научни труд. ВТУ "А. Кънчев" - Русе, Т.27, Сер. 3. 33-38. 1985.

07.

Крачанов К. Д., И. Н. Станев, А. М. Чалъкова. Върху стратегията връщане при неуспех (backtracking). Научни труд. ВТУ "А. Кънчев" - Русе, Т.27, Сер.3. 111-116. 1985.

06.

Kratchanov K. D., I. N. Stanev. Morphological Analysis Aspects of a Data-Driven System for Bulgarian Language Understanding. Intern. Conf. Artificial Intelligence: Methodology, Systems, Applications AIMSA 84, Varna, 1984, Paper Abstracts, 100.

05.

Kratchanov K. D., I. N. Stanev. Rule-Based Systems and the Fifth Generation Computer Architecture. 10-th National School "Application of Mathematics in Engineering", Varna. 1985. 364-367.

04.

Смрикаров А., Д. Станчев, К. Крачанов, Т. Тотев, С. Смрикарова, И. Станев, П. Хараламов, П. Данаилов, Г. Попов. Микропроцесорна измерително-изчислителна система за теглително изпитване на трактори. Селскостопанска техника, 20, 1983, Но 8, 51-56.

03.

Крачанов К. Д., А. С. Смрикаров, И. Н. Станев, П. И. Хараламов, А. Г. Хараламова. Архитектура и математическо осигуряване на една микропроцесорна система за събиране и обработка на  данни. Национална младежка школа "Автоматизация на производството '83", Приморско, 1983.

02.

Крачанов К. Д., П. И. Хараламов, И. Н. Станев, А. Г. Хараламова. Върху генерирането на основната програма с макроасемблер за микропроцесор СМ601. Републикански научно-технически симпозиум "Изчислителна техника - програмно осигуряване, технология и елементна база", София, 1983.

01.

Станев И. Н., К. Д. Крачанов, С. П. Стоева. Инструментална среда за преход от ограничен естествен език към машинна реализация. IX нац школа "Приложение на математиката в техниката - математически методи в информатиката, Варна, 1983, 47-49.