Публикации

  1. 301. Buzdalov M., Doerr B. Runtime Analysis of the (1 + (lambda, lambda)) Genetic Algorithm on Random Satisfiable 3-CNF Formulas // GECCO 2017 - Proceedings of the Genetic and Evolutionary Computation Conference - 2017, pp. 1343-1350
    подробнее >>
  2. 300. Mironovich V., Buzdalov M., Vyatkin V. Automatic Generation of Function Block Applications Using Evolutionary Algorithms: Initial Explorations // Proceedings of 2017 15th IEEE International Conference on Industrial Informatics (INDIN) - 2017, pp. 700-705
    подробнее >>
  3. 299. Olekhnovich E.I., Vasilyev A.T., Ulyantsev V.I., Kostryukova E.S., Tyakht A.V. MetaCherchant: analyzing genomic context of antibiotic resistance genes in gut microbiota // Bioinformatics - 2017, pp. btx681 [IF: 5.766, SJR: 4.643]
    подробнее >>
  4. 298. Yakupov I., Buzdalov M. Improved Incremental Non-dominated Sorting for Steady-State Evolutionary Multiobjective Optimization // GECCO 2017 - Proceedings of the Genetic and Evolutionary Computation Conference - 2017, pp. 649-656
    подробнее >>
  5. 297. Aksenov V.E., Kokhas K.P. Calculation of Pfaffians by a Chip Removal // Journal of Mathematical Sciences - 2016, Vol. 215, No. 6, pp. 631-648 [SJR: 0.272]
    подробнее >>
  6. 296. Baranov S. A practical simulator of associative intellectual machine // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2016, Vol. 9719, pp. 185-195 [SJR: 0.252]
    подробнее >>
  7. 295. Bulanova N., Buzdalova A., Buzdalov M. Fitness-Dependent Hybridization of Clonal Selection Algorithm and Random Local Search // GECCO 2016 - Proceedings of the 2016 Genetic and Evolutionary Computation Conference - 2016, pp. 5-6
    подробнее >>
  8. 294. Bulanova N., Buzdalova A., Parfenov V. Comparative Study of Methods for Combining Artificial Immune Systems and Random Local Search // Mendel - 2016, pp. 87-94 [SJR: 0.225]
  9. 293. Buzdalov M. An Algorithm for Computing Lower Bounds for Unrestricted Black-Box Complexities // GECCO 2016 - Proceedings of the 2016 Genetic and Evolutionary Computation Conference - 2016, pp. 147-148
    подробнее >>
  10. 292. Buzdalova A., Petrova I., Buzdalov M. Runtime Analysis of Different Approaches to Select Conflicting Auxiliary Objectives in the Generalized OneMax Problem // IEEE Symposium Series on Computational Intelligence, SSCI 2016 - 2016, pp. 280-286
    подробнее >>
  11. 291. Buzhinsky I., Vyatkin V. Plant Model Inference for Closed-Loop Verification of Control Systems: Initial Explorations // Proceedings of IEEE International Conference on Industrial Informatics (INDIN 2016) - 2016, pp. 736-739
    подробнее >>
  12. 290. Campbell J., Alexandrov A., Kim J., Wala J., Berger A.H., Pedamallu C.S., Shukla S.A., Guo G., Brooks A.N., Murray B.A., Imielinski M., Hu X., Ling S., Akbani R., Rosenberg M., Cibulskis C., Ramachandran A., Collisson E.A., Kwiatkowski D.J., Lawrence M.S., Weinstein J.N., Verhaak R.G., Wu C.J., Hammerman P.S., Cherniack A.D., Getz G., Artyomov M.N., Schreiber R., Govindan R., Meyerson M. Distinct patterns of somatic genome alterations in lung adenocarcinomas and squamous cell carcinomas // Nature Genetics - 2016, Vol. 48, No. 6, pp. 607–616 [IF: 31.616, SJR: 23.762]
    подробнее >>
  13. 289. Chivilikhin D. Experimental Study of Automated Parameter Tuning on the Example of irace and the Traveling Salesman Problem // GECCO 2016 - Proceedings of the 2016 Genetic and Evolutionary Computation Conference - 2016, pp. 45-46
    подробнее >>
  14. 288. Chivilikhin D.S., Ulyantsev V.I., Shalyto A.A. Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas // Automation and Remote Control - 2016, Vol. 77, No. 3, pp. 473-484 [IF: 0.265, SJR: 0.362]
    подробнее >>
  15. 287. Dubinin V.N., Vyatkin V.V., Shalyto A.A. Formal modeling and verification of IEC 61499 function blocks on the basis of transition systems // International Siberian Conference on Control and Communications, SIBCON 2016 - Proceedings - 2016, pp. 7491701
    подробнее >>
  16. 286. Dubinkina V.B., Ischenko D.S., Ulyantsev V.I., Tyakht A.V., Alexeev D.G. Assessment of k-mer spectrum applicability for metagenomic dissimilarity analysis // BMC bioinformatics - 2016, Vol. 17, No. 1, pp. 38 [IF: 2.435, SJR: 1.722]
    подробнее >>
  17. 285. Eremeev A., Korneev G., Semenov A., Veijalainen J. The spanning tree based approach for solving the shortest path problem in social graphs // WEBIST 2016 - Proceedings of the 12th International Conference on Web Information Systems and Technologies - 2016, Vol. 1, pp. 42-53
    подробнее >>
  18. 284. Golubtsov N., Galper D., Filchenkov A. Active adaptation of expert-based suggestions in ladieswear recommender system LookBooksClub via reinforcement learning // Advances in Intelligent Systems and Computing - 2016, Vol. 449, pp. 61-69
    подробнее >>
  19. 283. Isaev I., Smetannikov I. MeLiF+: Optimization of filter ensemble algorithm with parallel computing // IFIP Advances in Information and Communication Technology - 2016, Vol. 475, pp. 341-347 [SJR: 0.16]
    подробнее >>
  20. 282. Izreig S., Samborska B., Johnson R.M., Sergushichev A., Ma E.H., Lussier C., Loginicheva E., Donayo A.O., Poffenberger M.C., Sagan S.M., Vincent E.E., Artyomov M.N., Duchaine T.F., Jones R.G. The miR-17 similar to 92 microRNA Cluster Is a Global Regulator of Tumor Metabolism // Cell Reports - 2016, Vol. 16, No. 7, pp. 1915-1928 [IF: 7.87]
    подробнее >>
  21. 281. Konoplich G.V., Putin E.O., Filchenkov A.A. Application of deep learning to the problem of vehicle detection in UAV images // Proceedings of the 19th International Conference on Soft Computing and Measurements, SCM 2016 - 2016, pp. 4-6
    подробнее >>
  22. 280. Kotenko I.V. Guest editorial: Advances in secure distributed and network-based computing // Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications - 2016, Vol. 7, No. 2, pp. 1-2 [SJR: 0.422]
    подробнее >>
  23. 279. Kulakov F.M., Sokolov B., Shalyto A.A., Alferov G. Robot master slave and supervisory control with large time delays of control signals and feedback // Applied Mathematical Sciences - 2016, Vol. 10, No. 33-36, pp. 1783-1796 [SJR: 0.368]
    подробнее >>
  24. 278. Lampropoulou V., Sergushichev A.A., Bambouskova M., Nair S., Vincent E.E., Loginicheva E., Cervantes-Barragan L., Ma X., Huang S., Griss T., Weinheimer C.J., Khader S.A., Randolph G.J., Pearce E.J., Jones R.G., Diwan A., Diamond M.S., Artyomov M.N. Itaconate Links Inhibition of Succinate Dehydrogenase with Macrophage Metabolic Remodeling and Regulation of Inflammation // Cell Metabolism - 2016, Vol. 24, No. 1, pp. 158–166 [IF: 17.303, SJR: 11.842]
    подробнее >>
  25. 277. Levenets D.G., Zotov M.A., Romanov A.V., Tulupyev A.L., Zolotin A.A., Filchenkov A. Decremental and incremental reshaping of algebraic Bayesian networks global structures // Advances in Intelligent Systems and Computing - 2016, Vol. 451, pp. 57-67
    подробнее >>
  26. 276. Loboda A.A., Artyomov M.N., Sergushichev A.A. Solving generalized maximum-weight connected subgraph problem for network enrichment analysis // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2016, Vol. 9838, pp. 210-221 [SJR: 0.252]
    подробнее >>
  27. 275. Lu Q., Yokoyama C.C., Williams J.W., Baldridge M.T., Jin X., Desrochers B., Bricker T., Wilen C.B., Bagaitkar J., Loginicheva E., Sergushichev A., Kreamalmeyer D., Keller B.C., Zhao Y., Kambal A., Green D.R., Martinez J., Dinauer M.C., Holtzman M.J., Crouch E.C., Beatty W., Boon A.C., Zhang H., Randolph G.J., Artyomov M.N., Virgin H.W. Homeostatic Control of Innate Lung Inflammation by Vici Syndrome Gene Epg5 and Additional Autophagy Genes Promotes Influenza Pathogenesis // Cell Host and Microbe - 2016, Vol. 19, No. 1, pp. 102-113 [IF: 12.328, SJR: 8.283]
    подробнее >>
  28. 274. Mironovich V., Buzdalov M., Parfenov V. Comparative Study of Representations in the Maximum Flow Test Generation Problem // Mendel - 2016, pp. 67-72 [SJR: 0.225]
  29. 273. Nigmatullin N., Buzdalov M., Stankevich A. Efficient removal of points with smallest crowding distance in two-dimensional incremental non-dominated sorting // GECCO 2016 - Proceedings of the 2016 Genetic and Evolutionary Computation Conference - 2016, pp. 1121-1128
    подробнее >>
  30. 272. Nikiforov V., Baranov S.N. Multi-partite graphs and verification of software applications for real-time systems // Cybernetics And Information Technologies - 2016, Vol. 16, No. 2, pp. 85-96 [SJR: 0.17]
    подробнее >>
  31. 271. Pang C., Pakonen A., Buzhinsky I., Vyatkin V. A Study on User-Friendly Formal Specification Languages for Requirements Formalization // Proceedings of IEEE International Conference on Industrial Informatics (INDIN 2016) - 2016, pp. 676-682
    подробнее >>
  32. 270. Petrova I., Buzdalova A., Korneev G. Runtime Analysis of Random Local Search with Reinforcement Based Selection of Non-Stationary Auxiliary Objectives: Initial Study // Mendel - 2016, pp. 95-102 [SJR: 0.225]
  33. 269. Rost A., Petrova I., Buzdalova A. Adaptive Parameter Selection in Evolutionary Algorithms by Reinforcement Learning with Dynamic Discretization of Parameter Range // GECCO 2016 - Proceedings of the 2016 Genetic and Evolutionary Computation Conference - 2016, pp. 141-142
    подробнее >>
  34. 268. Sergushichev A.A., Loboda A.A., Jha A.K., Vincent E.E., Driggers E.M., Jones R.G., Pearce E.J., Artyomov M.N. GAM: a web-service for integrated transcriptional and metabolic network analysis // Nucleic Acids Research - 2016, Vol. 44, No. 1, pp. W194-W200 [IF: 9.202]
    подробнее >>
  35. 267. Shalamov V., Filchenkov A., Chivilikhin D. Small-Moves Based Mutation For Pick-Up And Delivery Problem // GECCO 2016 - Proceedings of the 2016 Genetic and Evolutionary Computation Conference - 2016, pp. 1027-1030
    подробнее >>
  36. 266. Shalamov V., Filchenkov A., Shalyto A. Genetic Search of Pickup and Delivery Problem Solutions for Self-Driving Taxi Routing // IFIP International Conference on Artificial Intelligence Applications and Innovations - 2016, Vol. 475, pp. 348-355 [SJR: 0.16]
    подробнее >>
  37. 265. Smetannikov I., Varlamov E., Filchenkov A. Swarm MeLiF: Feature selection with filter combination found via swarm intelligence // Advances in Intelligent Systems and Computing - 2016, Vol. 449, pp. 227-234
    подробнее >>
  38. 264. Stoyanov D.Y., Filchenkov A.A., Gedertsev A.S. A method of measuring quality of algorithm in stream structure from Motion applied to aerial photography // Proceedings of the 19th International Conference on Soft Computing and Measurements, SCM 2016 - 2016, pp. 35-38
    подробнее >>
  39. 263. Vasin A., Buzdalov M. A Faster Algorithm for the Binary Epsilon Indicator Based on Orthant Minimum Search // GECCO 2016 - Proceedings of the 2016 Genetic and Evolutionary Computation Conference - 2016, pp. 613-620
    подробнее >>
  40. 262. Zabashta A., Smetannikov I., Filchenkov A. Rank aggregation algorithm selection meets feature selection // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2016, Vol. 9729, pp. 740-755 [SJR: 0.252]
    подробнее >>
  41. 261. Александров А.В., Шалыто А.А. Метод исправления ошибок вставки и удаления в наборе чтений нуклеотидной последовательности // Научно-технический вестник информационных технологий, механики и оптики - 2016. - Т. 16. - № 1(101). - С. 108-114 [IF: 0.28]
    подробнее >>
  42. 260. Басин А.О. Разработка мета-классификатора выбора вспомогательных функций приспособленности, основанного на свойствах ландшафта целевой функции, на примере решения задачи коммивояжера // СПИСОК-2016 Материалы всероссийской научной конференции по проблемам информатики (СПб, 26-29 апреля 2016г.) - 2016. - С. 258-261
    подробнее >>
  43. 259. Буланова Н.С., Буздалова А.С., Буздалов М.В. Гибридизация искусственных иммунных систем и эволюционных алгоритмов // СПИСОК-2016 Материалы всероссийской научной конференции по проблемам информатики (СПб, 26-29 апреля 2016г.) - 2016. - С. 262-267
    подробнее >>
  44. 258. Комиссарова С.М., Чакова Н.Н., Ниязова С.С., Казаков С.В., Жукова Е.А., Александров А.В., Глотов О.С., Глотов А.С. Особенности клинических проявлений гипертрофической кардиомиопатии у пациентов с различными мутациями в генах саркомеров [The specifics of hypertrophic cardiomyopathy clinical presentation in patients with various mutations of sarcomere genes] // Российский кардиологический журнал [Russian Journal of Cardiology] - 2016. - Т. 129. - № 1. - С. 20-25 [SJR: 0.129]
    подробнее >>
  45. 257. Петрова И.А., Буздалова А.С., Шалыто А.А. Метод динамического выбора вспомогательных критериев в многокритериальных эволюционных алгоритмах // Научно-технический вестник информационных технологий, механики и оптики - 2016. - Т. 16. - № 3(103). - С. 460-466 [IF: 0.28]
    подробнее >>
  46. 256. Рост А.Ю., Петрова И.А., Буздалова А.С. Адаптивная настройка параметров эволюционного алгоритма с динамическим разбиением диапазона с помощью обучения с подкреплением // СПИСОК-2016 Материалы всероссийской научной конференции по проблемам информатики (СПб, 26-29 апреля 2016г.) - 2016. - С. 268-274
    подробнее >>
  47. 255. Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Модифицированный муравьиный алгоритм для построения конечных автоматов по сценариям работы и темпоральным формулам // Автоматика и телемеханика - 2016. - № 3. - С. 137-151 [IF: 0.783]
    подробнее >>
  48. 254. Aksenov V.E., Kokhas K.P. Chip Removal. Urban Renewal Revisited // Journal of Mathematical Sciences - 2015, Vol. 209, No. 6, pp. 809-825 [SJR: 0.272]
    подробнее >>
  49. 253. Antipov D.S., Buzdalov M.V., Doerr B. Runtime Analysis of (1+1) Evolutionary Algorithm Controlled with Q-learning using Greedy Exploration Strategy on OneMax+ZeroMax Problem // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2015, Vol. 9026, pp. 160-172 [SJR: 0.252]
    подробнее >>
  50. 252. Arkhipov V., Buzdalov M. An asynchronous implementation of the limited memory CMA-ES: First results // Mendel - 2015, pp. 43-46 [SJR: 0.225]
  51. 251. Arkhipov V.V., Buzdalov M.V., Shalyto A.A. An asynchronous implementation of the limited memory CMA-ES // 14th International Conference on Machine Learning and Applications, ICMLA 2015 - 2015, pp. 707-712
    подробнее >>
  52. 250. Baranov S.N., Nikiforov V. Density of multi-task real-time applications // Proceedings of the 17th Conference of Open Innovations Association FRUCT - 2015, pp. 9-15
    подробнее >>
  53. 249. Bekeneva Y., Borisenko K., Shorov A., Kotenko I. Investigation of DDoS attacks by hybrid simulation // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2015, Vol. 9357, pp. 179-189 [SJR: 0.252]
    подробнее >>
  54. 248. Buzdalov M., Buzdalova A. Analysis of Q-Learning with Random Exploration for Selection of Auxiliary Objectives in Random Local Search // IEEE Congress on Evolutionary Computation, CEC 2015 - Proceedings - 2015, pp. 1776-1783
    подробнее >>
  55. 247. Buzdalov M., Buzdalova A. Can OneMax Help Optimizing LeadingOnes using the EA+RL Method? // IEEE Congress on Evolutionary Computation, CEC 2015 - Proceedings - 2015, pp. 1762-1768
    подробнее >>
  56. 246. Buzdalov M., Parfenov V. Various Degrees of Steadiness in NSGA-II and Their Influence on the Quality of Results // GECCO'15: Proceedings of the 2015 Genetic and Evolutionary Computation Conference - 2015, pp. 749-750
    подробнее >>
  57. 245. Buzdalov M., Shalyto A. Hard Test Generation for Augmenting Path Maximum Flow Algorithms using Genetic Algorithms: Revisited // IEEE Congress on Evolutionary Computation, CEC 2015 - Proceedings - 2015, pp. 2121-2128
    подробнее >>
  58. 244. Buzdalov M., Yakupov I., Stankevich A. Fast Implementation of the Steady-State NSGA-II Algorithm for Two Dimensions Based on Incremental Non-Dominated Sorting // GECCO'15: Proceedings of the 2015 Genetic and Evolutionary Computation Conference - 2015, pp. 647-654
    подробнее >>
  59. 243. Buzdalov M.V., Kever M.E., Doerr B. Upper and Lower Bounds on Unrestricted Black-Box Complexity of Jump(n,l) // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2015, Vol. 9026, pp. 209-221 [SJR: 0.252]
    подробнее >>
  60. 242. Buzdalova A., Bulanova N. Selection of Auxiliary Objectives in Artificial Immune Systems: Initial Explorations // Mendel - 2015, pp. 47-52 [SJR: 0.225]
  61. 241. Buzdalova A., Matveeva A., Korneev G. Selection of Auxiliary Objectives with Multi-Objective Reinforcement Learning // GECCO'15: Proceedings of the 2015 Genetic and Evolutionary Computation Conference - 2015, pp. 1177-1180
    подробнее >>
  62. 240. Buzhinskii I.P., Kazakov S.V., Ulyantsev V.I., Tsarev F.N., Shalyto A.A. Modification of the method of generation of control finite-state machines with continuous actions based on training examples // Journal of Computer and Systems Sciences International - 2015, Vol. 54, No. 6, pp. 853-865 [IF: 0.503, SJR: 0.27]
    подробнее >>
  63. 239. Buzhinsky I., Pang C., Vyatkin V. Formal Modeling of Testing Software for Cyber-Physical Automation Systems // 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2015, Proceedings - 2015, Vol. 3, pp. 301-306
    подробнее >>
  64. 238. Buzhinsky I.P., Ulyantsev V.I., Veijalainen J., Viatkin V.V. Evolutionary Approach to Coverage Testing of IEC 61499 Function Block Applications // Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015 - 2015, pp. 1213-1218
    подробнее >>
  65. 237. Chechulin A.A., Kotenko I.V. Attack tree-based approach for real-time security event processing // Automatic Control and Computer Sciences - 2015, Vol. 49, No. 8, pp. 701-704 [SJR: 0.23]
    подробнее >>
  66. 236. Chivilikhin D., Ivanov I., Shalyto A. Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming // GECCO'15: Proceedings of the 2015 Genetic and Evolutionary Computation Conference - 2015, pp. 1185-1188
    подробнее >>
  67. 235. Chivilikhin D., Shalyto A., Vyatkin V. Inferring Automata Logic From Manual Control Scenarios: Implementation in Function Blocks // 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2015, Proceedings - 2015, Vol. 3, pp. 307-312
    подробнее >>
  68. 234. Chivilikhin D.S., Shalyto A.A., Patil S., Viatkin V.V. Reconstruction of function block logic using metaheuristic algorithm: Initial explorations // Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015 - 2015, pp. 1239-1242
    подробнее >>
  69. 233. Fedorchenko A., Kotenko I.V., Chechulin A.A. Design of integrated vulnerabilities database for computer networks security analysis // 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015 - Proceedings - 2015, pp. 559-566
    подробнее >>
  70. 232. Filchenkov A., Dolganov V., Smetannikov I. PCA-based algorithm for constructing ensembles of feature ranking filters // 23rd European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, ESANN 2015 - Proceedings - 2015, pp. 201-206
    подробнее >>
  71. 231. Filchenkov A., Pendryak A. Datasets Meta-Feature Description for Recommending Feature Selection Algorithm // Proceedings of Artificial Intelligence and Natural Language and Information Extraction, Social Media and Web Search FRUCT Conference, AINL-ISMW FRUCT 2015 - 2015, pp. 11-18
    подробнее >>
  72. 230. Glotov A.S., Kazakov S., Zhukova E.A., Alexandrov A., Glotov O.S., Pakin V.S., Danilova M.M., Poliakova I.V., Niyazova S.S., Chakova N.N., Komissarova S.M., Kurnikova E.A., Sarana A.M., Sherbak S.G., Sergushichev A., Shalyto A., Baranov V.S. Targeted next-generation sequencing (NGS) of nine candidate genes with custom AmpliSeq in patients and a cardiomyopathy risk group // Clinica Chimica Acta - 2015, Vol. 446, pp. 132-140 [IF: 2.799, SJR: 1.04]
    подробнее >>
  73. 229. Jha A.K., Huang S.C., Sergushichev A.A., Lampropoulou V., Ivanova Y., Loginicheva E., Chmielewski K., Stewart K.M., Ashall J., Everts B., Pearce E.J., Driggers E.M., Artyomov M.N. Network integration of parallel metabolic and transcriptional data reveals metabolic modules that regulate macrophage polarization // Immunity - 2015, Vol. 42, No. 3, pp. 419-430 [SJR: 16.215]
    подробнее >>
  74. 228. Kogtenkov A., Meyer B., Velder S. Alias calculus, change calculus and frame inference // Science of Computer Programming - 2015, Vol. 97, No. 1, pp. 163-172 [SJR: 0.57]
    подробнее >>
  75. 227. Kotenko I., Шоров А. Simulation of bio-inspired security mechanisms against network infrastructure attacks // Studies in Computational Intelligence - 2015, Vol. 570, pp. 127-133 [SJR: 0.187]
    подробнее >>
  76. 226. Kotenko I.V. Guest editorial: Security in distributed and network-based computing // Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications - 2015, Vol. 6, No. 2, pp. 1-3 [SJR: 0.422]
    подробнее >>
  77. 225. Kotenko I.V., Doynikova E. Countermeasure selection in SIEM systems based on the integrated complex of security metrics // 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015 - Proceedings - 2015, pp. 567-574
    подробнее >>
  78. 224. Kotenko I.V., Saenko I.B. Improved genetic algorithms for solving the optimisation tasks for design of access control schemes in computer networks // International Journal of Bio-Inspired Computation - 2015, Vol. 7, No. 2, pp. 98-110 [IF: 1.681, SJR: 0.77]
    подробнее >>
  79. 223. Lin H., Sierla S.A., Papakonstantinou N., Shalyto A.A., Vyatkin V.V. Change request management in model-driven engineering of industrial automation software // Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015 - 2015, pp. 1186-1191
    подробнее >>
  80. 222. Mironovich V., Buzdalov M. Hard Test Generation for Maximum Flow Algorithms with the Fast Crossover-Based Evolutionary Algorithm // GECCO'15: Proceedings of the 2015 Genetic and Evolutionary Computation Conference - 2015, pp. 1229-1232
    подробнее >>
  81. 221. Petrova I., Buzdalova A. Selection of Auxiliary Objectives in the Travelling Salesman Problem using Reinforcement Learning // GECCO'15: Proceedings of the 2015 Genetic and Evolutionary Computation Conference - 2015, pp. 1455-1456
    подробнее >>
  82. 220. Saenko I., Kotenko I. A Genetic Approach for Virtual Computer Network Design // Studies in Computational Intelligence - 2015, Vol. 570, pp. 95-105 [SJR: 0.187]
    подробнее >>
  83. 219. Savin A.V., Kleban V.O., Shalyto A. Adaptation of object-oriented programming patterns to IEC 61499 applications in a case of “Factory method” design pattern // не указано - 2015, pp. ???
  84. 218. Suleimanova A.D., Toymentseva A.A., Boulygina E.A., Kazakov S.V., Mardanova A.M., Balaban N.P., Sharipova M.R. High-quality draft genome sequence of a new phytase-producing microorganism Pantoea sp. 3.5.1 // Standards in Genomic Sciences - 2015, Vol. 10, pp. 95 [IF: 1.594, SJR: 0.866]
    подробнее >>
  85. 217. Toymentseva A.A., Suleimanova A.D., Boulygina E.A., Kazakov S.V., Baranova D.S., Akhmetova A.I., Mardanova A.M., Sharipova M.R. Draft Genome Sequence of Bacillus ginsengihumi Strain M2.11 with Phytase Activity // Genome announcements - 2015, Vol. 3, No. 4, pp. e00851-15
    подробнее >>
  86. 216. Ulyantsev V., Melnik M. Constructing Parsimonious Hybridization Networks from Multiple Phylogenetic Trees Using a SAT-Solver // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2015, Vol. 9199, pp. 141-153 [SJR: 0.252]
    подробнее >>
  87. 215. Ulyantsev V., Zakirzyanov I., Shalyto A. BFS-Based Symmetry Breaking Predicates for DFA Identification // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2015, Vol. 8977, pp. 611-622 [SJR: 0.252]
    подробнее >>
  88. 214. Vincent E.E., Sergushichev A.A., Griss T., Gingras M., Samborska B., Ntimbane T., Coelho P.P., Blagih J., Raissi T.C., Choiniere L., Bridon G., Loginicheva E., Flynn B.R., Thomas E.C., Tavare J.M., Avizonis D.Z., Pause A.P., Elder D.J., Artyomov M.N., Jones R.G. Mitochondrial Phosphoenolpyruvate Carboxykinase Regulates Metabolic Adaptation and Enables Glucose-Independent Tumor Growth // Molecular Cell - 2015, Vol. 60, No. 2, pp. 195-207 [IF: 14.018, SJR: 13.658]
    подробнее >>
  89. 213. Yakupov I., Buzdalov M. Incremental Non-Dominated Sorting with O(N) Insertion for the Two-Dimensional Case // IEEE Congress on Evolutionary Computation, CEC 2015 - Proceedings - 2015, pp. 1853-1860
    подробнее >>
  90. 212. Zabashta A., Smetannikov I., Filchenkov A. Study on meta-learning approach application in rank aggregation algorithm selection // CEUR Workshop Proceedings - 2015, Vol. 1455, pp. 115-117
  91. 211. Zadorozhnaya O., Kirsanov D., Buzhinsky I., Tsarev F., Abramova N., Bratov A., Munoz F.J., Ribo J., Bori J., Riva M.C., Legin A. Water pollution monitoring by an artificial sensory system performing in terms of Vibrio fischeri bacteria // Sensors and Actuators, B: Chemical - 2015, Vol. 207, No. Part B, pp. 1069-1075 [IF: 4.758, SJR: 1.305]
    подробнее >>
  92. 210. Абрамов М.В., Азаров А.А., Фильченков А.А. Распространение социоинженерной атаки злоумышленника на пользователей информационной системы, представленных в виде графа социальных связей // Международная конференция по мягким вычислениям и измерениям - 2015. - Т. 1. - № Секции 1-3. - С. 329-331
  93. 209. Азаров А.А., Абрамов М.В., Тулупьева Т.В., Фильченков А.А. Применение вероятностно-реляционных моделей комплекса "критичные документы - информационная система - пользователь - злоумышленник" для анализа защищенности пользователей информационных систем от социо-инженерных атак // Нечеткие системы и мягкие вычисления - 2015. - Т. 10. - № 2. - С. 209-221
  94. 208. Аксенов В.Е., Кохась К.П. Удаление чипов при подсчете пфаффианов // Записки научных семинаров Санкт-Петербургского отделения Математического института им. В.А.Стеклова РАН - 2015. - Т. 436. - С. 5-33
    подробнее >>
  95. 207. Аксенов В.Е., Кохась К.П. Удаление чипов. Urban Renewal revisited // Записки научных семинаров Санкт-Петербургского отделения Математического института им. В.А.Стеклова РАН - 2015. - Т. 432. - С. 5-29
    подробнее >>
  96. 206. Баранов С.Н., Никифоров В.В. Транзитивное наследование приоритетов в многозадачных приложениях реального времени // Труды СПИИРАН [SPIIRAS Proceedings] - 2015. - № 6(43). - С. 114-134
    подробнее >>
  97. 205. Бужинский И.П., Казаков С.В., Ульянцев В.И., Царев Ф.Н., Шалыто А.А. Модификация метода генерации управляющих конечных автоматов с непрерывными воздействиями по обучающим примерам // Известия Российской академии наук. Теория и системы управления - 2015. - № 6. - С. 17-30 [IF: 0.535]
    подробнее >>
  98. 204. Забашта А.С., Фильченков А.А. Автоматический выбор алгоритмов агрегирующего ранжирования // Международная конференция по мягким вычислениям и измерениям - 2015. - Т. 1. - № Секции 1-3. - С. 23-24
  99. 203. Морозков А.А., Фильченков А.А. Обучение глобальной структуры байесовских сетей доверия на основе роевых биологических метаэвристик // Международная конференция по мягким вычислениям и измерениям - 2015. - Т. 1. - № Секции 1-3. - С. 49-52
  100. 202. Пендряк А.А., Долганов В.О. Измерение степени похожести наборов данных для подбора оптимального алгоритма выбора признаков // Международная конференция по мягким вычислениям и измерениям - 2015. - Т. 1. - № Секции 1-3. - С. 58-60
  101. 201. Савин А.В., Клебан В.О., Шалыто А.А. Поддержка стандарта IEC 61499 для встраиваемых применений на базе ОС Linux // не указано - 2015. - С. не указано
  102. 200. Савин А.В., Клебан В.О., Шалыто А.А. Применение шаблонов объектно-ориентированного проектирования к программам IEC61499 на примере шаблона “Фабричный метод” // не указано - 2015. - С. не указаны
  103. 199. Самборский И.М., Фильченков А.А. Фильтрация неперсональных аккаунтов социальных сетей в задачах социокомпьютинга // Международная конференция по мягким вычислениям и измерениям - 2015. - Т. 1. - № Секции 1-3. - С. 68-71
  104. 198. Семёнов А.С., Фильченков А.А. Определение пола и возраста пользователей социальной сети vk.com на основе анализа их музыкальных интересов // Материалы Четвертой Международной научно-практической конференции «Социальный компьютинг: основы, технологии развития, социально-гуманитарные эффекты» (ISC-15): cборник статей и тезисов [электронное издание] - 2015. - С. 298-301
    подробнее >>
  105. 197. Сметанников И.Б., Долганов В.О., Фильченков А.А. Свидетельство о регистрации программы для ЭВМ №20156159 от 27.05.2015 // не указано - 2015
  106. 196. Танфильев И.Д., Сметанников И.Б. Агрегирование ранжирований результатов в задаче выбора подмножества атрибутов на основе мета-обучения // Международная конференция по мягким вычислениям и измерениям - 2015. - Т. 1. - № Секции 1-3. - С. 91-94
  107. 195. Фильченков А.А., Золотин А.А., Тулупьев А.Л. Графовые структуры в реляционных базах данных, удовлетворении ограничений и байесовских сетях // Нечеткие системы и мягкие вычисления - 2015. - Т. 10. - № 2. - С. 155-179
    подробнее >>
  108. 194. Aksenov V., Kokhas K. Domino Tilings and Determinants // Journal of Mathematical Sciences - 2014, Vol. 200, No. 6, pp. 647-653 [SJR: 0.272]
    подробнее >>
  109. 193. Buzdalov M. A Switch-and-Restart Algorithm with Exponential Restart Strategy for Objective Selection and its Runtime Analysis // Proceedings - 2014 13th International Conference on Machine Learning and Applications, ICMLA 2014 - 2014, pp. 141-146
    подробнее >>
  110. 192. Buzdalov M., Buzdalova A. OneMax helps optimizing XdivK: Theoretical runtime analysis for RLS and EA+RL // GECCO 2014 - Companion Publication of the 2014 Genetic and Evolutionary Computation Conference - 2014, pp. 201-202
    подробнее >>
  111. 191. Buzdalov M., Knyazev S., Porozov Y. Protein Conformation Motion Modeling using sep-CMA-ES // Proceedings - 2014 13th International Conference on Machine Learning and Applications, ICMLA 2014 - 2014, pp. 35-40
    подробнее >>
  112. 190. Buzdalov M., Petrova I., Buzdalova A. NSGA-II Implementation Details May Influence Quality of Solutions for the Job-Shop Scheduling Problem // GECCO 2014 - Companion Publication of the 2014 Genetic and Evolutionary Computation Conference - 2014, pp. 1445-1446
    подробнее >>
  113. 189. Buzdalov M., Shalyto A. A Provably Asymptotically Fast Version of the Generalized Jensen Algorithm for Non-Dominated Sorting // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2014, Vol. 8672, pp. 528-537 [SJR: 0.252]
    подробнее >>
  114. 188. Buzdalov M., Shalyto A. Worst-Case Execution Time Test Generation for Solutions of the Knapsack Problem Using a Genetic Algorithm // Communications in Computer and Information Science - 2014, Vol. 472, pp. 1-10 [SJR: 0.149]
    подробнее >>
  115. 187. Buzdalova A., Buzdalov M. A New Algorithm for Adaptive Online Selection of Auxiliary Objectives // Proceedings - 2014 13th International Conference on Machine Learning and Applications, ICMLA 2014 - 2014, pp. 584-587
    подробнее >>
  116. 186. Buzdalova A., Kononov V., Buzdalov M. Selecting Evolutionary Operators using Reinforcement Learning: Initial Explorations // GECCO 2014 - Companion Publication of the 2014 Genetic and Evolutionary Computation Conference - 2014, pp. 1033-1036
    подробнее >>
  117. 185. Buzhinsky I., Chivilikhin D., Ulyantsev V., Tsarev F. Improving the Quality of Supervised Finite-State Machine Construction Using Real-Valued Variables // GECCO 2014 - Companion Publication of the 2014 Genetic and Evolutionary Computation Conference - 2014, pp. 1037-1040
    подробнее >>
  118. 184. Buzhinsky I.P., Ulyantsev V.I., Chivilikhin D.S., Shalyto A.A. Inducing finite state machines from training samples using ant colony optimization // Journal of Computer and Systems Sciences International - 2014, Vol. 53, No. 2, pp. 256-266 [IF: 0.503, SJR: 0.27]
    подробнее >>
  119. 183. Chivilikhin D., Ulyantsev V. Inferring Automata-Based Programs from Specification With Mutation-Based Ant Colony Optimization // GECCO 2014 - Companion Publication of the 2014 Genetic and Evolutionary Computation Conference - 2014, pp. 67-68
    подробнее >>
  120. 182. Chivilikhin D., Ulyantsev V., Shalyto A. Combining Exact and Metaheuristic Techniques for Learning Extended Finite-State Machines from Test Scenarios and Temporal Properties // Proceedings - 2014 13th International Conference on Machine Learning and Applications, ICMLA 2014 - 2014, pp. 350-355
    подробнее >>
  121. 181. Chivilikhin D.S., Ulyantsev V.I., Shalyto A.A. Extended Finite-State Machine Inference With Parallel Ant Colony Based Algorithms // Proceedings of the Student Workshop on Bioinspired Optimization Methods and their Applications, BIOMA 2014 - 2014, pp. 117-126
    подробнее >>
  122. 180. Desnitsky V., Kotenko I. Expert Knowledge based Design and Verification of Secure Systems with Embedded Devices // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2014, Vol. 8708, pp. 194-210 [SJR: 0.252]
    подробнее >>
  123. 179. Estler H., Nordio M., Furia C.A., Meyer B. Awareness and Merge Conflicts in Distributed Software Development // IEEE 9th International Conference on Global Software Engineering (ICGSE) - 2014, pp. 26-35
    подробнее >>
  124. 178. Filchenkov A.A., Azarov A.A., Abramov M.V. What is more predictable in social media: Election outcome or protest action? // ACM International Conference Proceeding Series - 2014, Vol. 2014, pp. 157–161
    подробнее >>
  125. 177. Kazakov S., Shalyto A. Overlap graph simplification using edge reliability calculation // Proceedings of the European Conference on Data Mining 2014 and International Conferences on Intelligent Systems and Agents 2014 and Theory and Practice in Modern Computing 2014 - Part of the Multi Conference on Computer Science and Information Systems, MCCSIS 2014 - 2014, pp. 222-226
    подробнее >>
  126. 176. Kotenko I., Doynikova E. Security Evaluation for Cyber Situational Awareness // Proceedings - 16th IEEE International Conference on High Performance Computing and Communications, HPCC 2014, 11th IEEE International Conference on Embedded Software and Systems, ICESS 2014 and 6th International Symposium on Cyberspace Safety and Security, CSS 2014 - 2014, pp. 1197-1204
    подробнее >>
  127. 175. Kotenko I., Novikova E. Visualization of Security Metrics for Cyber Situation Awareness // Proceedings - 9th International Conference on Availability, Reliability and Security, ARES 2014 - 2014, pp. 506-513
    подробнее >>
  128. 174. Kotenko I.V., Chechulin A.A., Shorov A.V., Komashinsky D. Analysis and evaluation of web pages classification techniques for inappropriate content blocking // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2014, Vol. 8557, No. LNAI, pp. 39-54 [SJR: 0.252]
    подробнее >>
  129. 173. Kotenko I.V., Doynikova E. Evaluation of computer network security based on attack graphs and security event processing // Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications - 2014, Vol. 5, No. 3, pp. 14-29 [SJR: 0.422]
    подробнее >>
  130. 172. Kravtsov N., Buzdalov M., Buzdalova A., Shalyto A. Worst-Case Execution Time Test Generation using Genetic Algorithms with Automated Construction and Online Selection of Objectives // Mendel - 2014, pp. 111-116 [SJR: 0.225]
  131. 171. Lukin M., Buzdalov M., Shalyto A. Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2014, Vol. 8855, pp. 165-170 [SJR: 0.252]
    подробнее >>
  132. 170. Mardanova A.M., Toymentseva A.A., Gilyazeva A.G., Kazakov S.V., Shagimardanova E.I., Khaitlina S.Y., Sharipova M.R. Draft Genome Sequence of Serratia grimesii Strain A2. // Genome announcements - 2014, Vol. 2, No. 5, pp. 00937-14
    подробнее >>
  133. 169. Mironovich V., Buzdalov M. Generation of tests against a greedy algorithm for the knapsack problem using an evolutionary algorithm // Mendel - 2014, pp. 77-82 [SJR: 0.225]
  134. 168. Novikova E., Kotenko I. Visual Analytics for Detecting Anomalous Activity in Mobile Money Transfer Services // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2014, Vol. 8708, pp. 63-78 [SJR: 0.252]
    подробнее >>
  135. 167. Pang C., Patil S., Yang C., Vyatkin V., Shalyto A. A Portability Study of IEC 61499: Semantics and Tools // Proceedings of 2014 12th IEEE International Conference on Industrial Informatics (INDIN) - 2014, pp. 440-445
    подробнее >>
  136. 166. Petrova I., Buzdalova A., Buzdalov M. Improved Selection of Auxiliary Objectives using Reinforcement Learning in Non-Stationary Environment // Proceedings - 2014 13th International Conference on Machine Learning and Applications, ICMLA 2014 - 2014, pp. 580-583
    подробнее >>
  137. 165. Petrova I., Buzdalova A., Buzdalov M. Selection of Extra Objectives using Reinforcement Learning in Non-Stationary Environment: Initial Explorations // Mendel - 2014, pp. 105-110 [SJR: 0.225]
  138. 164. Popova S., Danilova V., Egorov A. Clustering narrow-domain short texts using k-means, linguistic patterns and LSI // Communications in Computer and Information Science - 2014, Vol. 436, pp. 66-77 [SJR: 0.149]
    подробнее >>
  139. 163. Saenko I.B., Kotenko I.V. Design of virtual local area network scheme based on genetic optimization and visual analysis // Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications - 2014, Vol. 5, No. 4, pp. 86-102 [SJR: 0.422]
    подробнее >>
  140. 162. Shorov A., Kotenko I. The Framework for Simulation of Bioinspired Security Mechanisms Against Network Infrastructure Attacks // The Scientific World Journal - 2014, pp. 172583
    подробнее >>
  141. 161. Zhabelova G., Yang C., Patil S., Pang C., Yan J., Shalyto A., Vyatkin V. Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence // Proceedings of 2014 12th IEEE International Conference on Industrial Informatics (INDIN) - 2014, pp. 411-417
    подробнее >>
  142. 160. Абрамов М.В., Азаров А.А., Тулупьев А.Л., Фильченков А.А. Модели распространения информации в социальных медиа // Материалы Третьей Международной научно-практической конференции «Социальный компьютинг: основы, технологии развития, социально-гуманитарные эффекты» (ISC-14) - 2014. - С. 112–115
  143. 159. Азаров А.А., Бродовская Е.В., Дмитриева О.В., Добмровская А.Ю., Фильченков А.А. Стратегии формирования установок протестного поведения в сети Интернет: опыт применения киберметрического анализа (на примере Евромайдана). Часть II // Мониторинг общественного мнения - 2014. - № 3 (121). - С. 56–74
  144. 158. Азаров А.А., Бродовская Е.В., Дмитриева О.В., Домбровская А.Ю., Фильченков А.А. Стратегии формирования установок протестного поведения в сети Интернет: опыт применения киберметрического анализа (на примере Евромайдана, ноябрь 2013 г.). Часть I // Мониторинг общественного мнения - 2014. - № 2 (120). - С. 63–78
  145. 157. Аксенов В.Е., Кохась К.П. Разбиения на домино и определители // Записки научных семинаров Санкт-Петербургского отделения Математического института им. В.А.Стеклова РАН - 2014. - Т. 421. - № 22. - С. 5-18
    подробнее >>
  146. 156. Бужинский И.П., Ульянцев В.И., Чивилихин Д.С., Шалыто А.А. Генерация управляющих автоматов по обучающим примерам на основе муравьиного алгоритма // Известия Российской академии наук. Теория и системы управления - 2014. - № 2. - С. 111-121 [IF: 0.535]
    подробнее >>
  147. 155. Ведерников Н.В., Демьянюк В.Ю., Кротков П.А., Ульянцев В.И., Шалыто А.А. Применение методов машинного обучения для автоматизированного построения управляющих автоматов в высокоуровневых средствах проектирования систем // XII Всероссийское совещание по проблемам управления ВСПУ-2014 - 2014. - С. 3159-3166
  148. 154. Тихомиров А.В., Шалыто А.А. Применение направленной мутации для генерации клеточных автоматов // Научно-технический вестник информационных технологий, механики и оптики - 2014. - № 2(90). - С. 93-98 [IF: 0.28]
    подробнее >>
  149. 153. Фильченков А.А., Азаров А.А. Учет психологических особенностей агента при моделировании распространения мемов в социальных сетях // Материалы Третьей Международной научно-практической конференции «Социальный компьютинг: основы, технологии развития, социально-гуманитарные эффекты» (ISC-14) - 2014. - С. 126–131
  150. 152. Фильченков А.А., Азаров А.А., Абрамов М.В. Компаративный анализ методологических основ задач прогнозирования исходов выборов и протестов по цифровым следам пользователей в социальных медиа // Труды XVII Всероссийской объединенной конференции «Интернет и современное общество». - 2014. - С. 159–163
  151. 151. Фильченков А.А., Столярова В.Ф., Тулупьев А.Л. Алгоритм равновероятного синтеза минимального графа смежности // Вестник Тверского государственного университета. Серия: Прикладная математика - 2014. - № 1. - С. 73–89
  152. 150. Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций // Научно-технический вестник информационных технологий, механики и оптики - 2014. - № 6(94). - С. 98-105 [IF: 0.28]
  153. 149. Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Муравьиный алгоритм для построения автоматных программ по спецификации // XII Всероссийское совещание по проблемам управления ВСПУ-2014 - 2014. - С. 4351-4542
  154. 148. Шовкопляс Г.Ф., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Починка забора» // Компьютерные инструменты в школе - 2014. - № 1. - С. 22-25
    подробнее >>
  155. 147. Яковлева Д.В., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «НОД И НОК» // Компьютерные инструменты в школе - 2014. - № 2. - С. 30-33
    подробнее >>
  156. 146. Янкин Ю.Ю., Шалыто А.А. Разработка резервированного блока управления электроприводом на основе автоматного подхода // Научно-технический вестник информационных технологий, механики и оптики - 2014. - № 6(94). - С. 146-152 [IF: 0.28]
  157. 145. Aleksandrov A.V., Tsarev F.N., Kazakov S.V., Sergushichev A.A., Shalyto A.A. The use of evolutionary programming based on training examples for the generation of finite state machines for controlling objects with complex behavior // Journal of Computer and Systems Sciences International - 2013, Vol. 52, No. 3, pp. 410-425 The use of evolutionary programming based on training examples for the generation of finite state machines for controlling objects with complex behavior [IF: 0.503, SJR: 0.27]
    подробнее >>
  158. 144. Arkhipov V., Buzdalov M., Shalyto A. Worst-Case Execution Time Test Generation for Augmenting Path Maximum Flow Algorithms using Genetic Algorithms // Proceedings - 2013 12th International Conference on Machine Learning and Applications, ICMLA 2013 - 2013, Vol. 2, pp. 108-111
    подробнее >>
  159. 143. Bradnam K.R., Fass J.N., Alexandrov A., Baranay P., Bechner M., Birol I., Boisvert S., Chapman J.A., Chapuis G., Chikhi R., Chitsaz H., Chou W., Corbeil J., Del Fabbro C., Docking T.R., Durbin R., Earl D., Emrich S., Fedotov P., Fonseca N.A., Ganapathy G., Gibbs R.A., Gnerre S., Godzaridis E., Goldstein S., Haimel M., Hall G., Haussler D., Hiatt J.B., Ho I.Y., Howard J., Hunt M., Jackman S.D., Jaffe D.B., Jarvis E.D., Jiang H., Kersey P.J., Kazakov S., Kitzman J.O., Knight J.R., Koren S., Lam T., Lavenier D., Laviolette F., Li Z., Li Y., Liu B., Liu Y., Luo R., Maccallum I., Macmanes M.D., Maillet N., Melnikov S., Naquin D., Ning Z., Otto T.D., Paten B., Paulo O., Phillippy A.M., Pina-Martins F., Place M., Przybylski D., Qin X., Qu C., Ribeiro F.J., Richards S., Rokhsar D.S., Ruby J.G., Scalabrin S., Schatz M.C., Schwartz D.C., Sergushichev A., Sharpe T., Shaw T.I., Shendure J., Shi Y., Simpson J.T., Song H., Tsarev F., Vezzi F., Vicedomini R., Vieira B.M., Wang J., Worley K.C., Yin S., Yiu S., Yuan J., Zhang G., Zhang H., Zhou S., Korf I.F. Assemblathon 2: evaluating de novo methods of genome assembly in three vertebrate species // GigaScience - 2013, Vol. 2, No. 1, pp. 10 [IF: 7.463]
    подробнее >>
  160. 142. Buzdalov M., Buzdalova A. Adaptive selection of helper-objectives for test case generation // 2013 IEEE Congress on Evolutionary Computation, CEC 2013 - 2013, pp. 2245-2250
    подробнее >>
  161. 141. Buzdalov M., Buzdalova A., Shalyto A. A First Step towards the Runtime Analysis of Evolutionary Algorithm Adjusted with Reinforcement Learning // Proceedings - 2013 12th International Conference on Machine Learning and Applications, ICMLA 2013 - 2013, Vol. 1, pp. 203-208
    подробнее >>
  162. 140. Buzdalov M.V., Buzdalova A.S., Petrova I.A. Generation of tests for programming challenge tasks using multi-objective optimization // GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference - 2013, pp. 1655-1658
    подробнее >>
  163. 139. Buzdalov M.V., Tcarev F.N. An evolutionary approach to hard test case generation for shortest common superstring problem // Proceedings - 1st BRICS Countries Congress on Computational Intelligence, BRICS-CCI 2013 - 2013, pp. 81-85
    подробнее >>
  164. 138. Buzdalova A.S., Buzdalov M.V., Parfenov V.G. Generation of tests for programming challenge tasks using helper-objectives // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2013, Vol. 8084, No. LNCS, pp. 300-305 [SJR: 0.252]
    подробнее >>
  165. 137. Buzhinsky I.P., Ulyantsev V.I., Shalyto A.A. Test-based induction of finite-state machines with continuous output actions // IFAC Proceedings Volumes (IFAC-PapersOnline) - 2013, Vol. 9, No. 1, pp. 1049-1054 [SJR: 0.228]
    подробнее >>
  166. 136. Buzhinsky I.P., Ulyantsev V.I., Tsarev F.N., Shalyto A.A. Search-based construction of finite-state machines with real-valued actions: New representation model // GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference - 2013, pp. 199-200
    подробнее >>
  167. 135. Chivilikhin D., Ulyantsev V. Learning finite-state machines with classical and mutation-based ant colony optimization: Experimental evaluation // Proceedings of the 1st BRICS Countries Congress on Computational Intelligence, BRICS-CCI 2013 - 2013, pp. 528-533
    подробнее >>
  168. 134. Chivilikhin D.S., Ulyantsev V.I. Learning Finite-State Machines: Conserving Fitness Function Evaluations by Marking Used Transitions // Proceedings - 2013 12th International Conference on Machine Learning and Applications, ICMLA 2013 - 2013, Vol. 2, pp. 90-95
    подробнее >>
  169. 133. Chivilikhin D.S., Ulyantsev V.I. MuACOsm - A New Mutation-Based Ant Colony Optimization Algorithm for Learning Finite-State Machines // GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference - 2013, pp. 511-518 MuACOsm - A New Mutation-Based Ant Colony Optimization Algorithm for Learning Finite-State Machines
    подробнее >>
  170. 132. Chivilikhin D.S., Ulyantsev V.I., Shalyto A.A. Solving five instances of the artificial ant problem with ant colony optimization // IFAC Proceedings Volumes (IFAC-PapersOnline) - 2013, Vol. 9, No. 1, pp. 1043-1048 [SJR: 0.228]
    подробнее >>
  171. 131. Furia C.A., Meyer B.E., Oriol M., Tikhomirov A.V., Yi W. The search for the laws of automatic random testing // Proceedings of the ACM Symposium on Applied Computing - 2013, pp. 1211-1216
    подробнее >>
  172. 130. Kapun E., Tsarev F.N. De Bruijn Superwalk with Multiplicities Problem is NP-hard // BMC bioinformatics - 2013, Vol. 14, No. 5, pp. S7 [IF: 2.435, SJR: 1.722]
    подробнее >>
  173. 129. Kapun E., Tsarev F.N. On NP-hardness of the paired de Bruijn sound cycle problem // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2013, Vol. 8126, No. LNBI, pp. 59-69 [SJR: 0.252]
    подробнее >>
  174. 128. Petrova I., Buzdalova A., Buzdalov M. Improved Helper-Objective Optimization Strategy for Job-Shop Scheduling Problem // Proceedings - 2013 12th International Conference on Machine Learning and Applications, ICMLA 2013 - 2013, Vol. 2, pp. 374-377
    подробнее >>
  175. 127. Polikarpova N.I., Furia C.A., Pei Y., Pei Y., Meyer B. What good are strong specifications? // Proceedings - International Conference on Software Engineering - 2013, pp. 262-271 [SJR: 0.773]
  176. 126. Popova S., Kovrigina L., Mouromtsev D., Khodyrev I. Stop-words in keyphrase extraction problem // Proceedings of the 14th Conference of FRUCT Association - 2013, pp. 113-121
    подробнее >>
  177. 125. Trudel M., Furia C.A., Nordio M., Meyer B. Really automatic scalable object-oriented reengineering // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2013, Vol. 7920, No. LNCS, pp. 477-501 [SJR: 0.252]
    подробнее >>
  178. 124. Азаров А.А., Бродовская Е.В., Вархомеева А.В., Глазков А.А., Дмитриева О.В., Мусина В.Ф., Нечаев В.Д., Суворова А.В., Тулупьев А.Л., Тулупьева Т.В., Фильченков А.А., Шульженок В.И., Юсупов Р.М. Мемы и социоинженерные атаки в виртуальном пространстве // Труды СПИИРАН [SPIIRAS Proceedings] - 2013. - № 7(30). - С. 88–121
    подробнее >>
  179. 123. Азаров А.А., Бродовская Е.В., Глазков А.А., Гибадулин Р.Я., Дмитриева О.В., Долгоруков А.М., Жданов Р.И., Мусина В.Ф., Нечаев В.Д., Огнев А.С., Сироткин А.В., Суворова А.В., Титов В.В., Тулупьев А.Л., Тулупьева Т.В., Фильченков А.А., Юсупов Р.М. Predictor Mining: применение методов интеллектуального анализа данных в задачах социального компьютинга // Труды СПИИРАН [SPIIRAS Proceedings] - 2013. - № 3(26). - С. 136–161
    подробнее >>
  180. 122. Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А. Применение эволюционного программирования на основе обучающих примеров для генерации конечных автоматов, управляющих объектами со сложным поведением // Известия Российской академии наук. Теория и системы управления - 2013. - № 3. - С. 85-100 [IF: 0.535]
    подробнее >>
  181. 121. Бужинский И.П. Построение автоматов с непрерывными выходными воздействиями по обучающим примерам // Научные работы участников конкурса "Молодые ученые НИУ ИТМО" 2012 года - 2013. - С. 26-31
  182. 120. Ведерников Н.В., Замятин Е.И., Шовкопляс Г.Ф., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Штурм» // Компьютерные инструменты в школе - 2013. - № 6. - С. 28–31
    подробнее >>
  183. 119. Вяткин А.В., Фильченков А.А., Тулупьев А.Л., Мусина В.Ф., Фроленков К.В. Подходы к устранению цикличности первичной структуры алгебраической байесовской сети // Труды СПИИРАН [SPIIRAS Proceedings] - 2013. - № 3(26). - С. 216–233
    подробнее >>
  184. 118. Замятин Е.И., Филиппов Д.С., Ведерников Н.В., Ульянцев В.И. Задача «Бутерброд для Симбы» // Компьютерные инструменты в школе - 2013. - № 5. - С. 44–46
    подробнее >>
  185. 117. Комаров А.В., Кротков П.А., Кучеренко Д.С., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Телесъемка» // Компьютерные инструменты в школе - 2013. - № 1. - С. 24–27
  186. 116. Кучеренко Д.С., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Гонки на подах» // Компьютерные инструменты в школе - 2013. - № 4. - С. 26–28
  187. 115. Лукин М.А., Шалыто А.А. Разработка и автоматическая верификация параллельных автоматных программ // Информационно-управляющие системы - 2013. - № 5(66). - С. 43-50 [IF: 0.104]
  188. 114. Сергушичев А.А., Александров А.В., Казаков С.В., Царев Ф.Н., Шалыто А.А. Совместное применение графа де Брейна, графа перекрытий и микросборки для de novo сборки генома // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика - 2013. - Т. 13. - № 2-2. - С. 51–57
    подробнее >>
  189. 113. Сергушичев А.А., Царев Ф.Н. Сборка генома и технология MapReduce // Суперкомпьютеры - 2013. - № 4 (12). - С. 40-43
  190. 112. Спельников Д.М., Князев С.Н., Балахонцева М.А., Буздалов М.В., Порозов Ю.Б., Маслов В.Г., Бухановский А.В. Высокопроизводительный программный комплекс моделирования конформационно-зависимых свойств белков в задачах рационального дизайна лекарственных препаратов // Динамика сложных систем - XXI век - 2013. - Т. 7. - № 3. - С. 12-16 [IF: 0.109]
    подробнее >>
  191. 111. Суворова А.В., Мусина В.Ф., Тулупьева Т.В., Тулупьев А.Л., Красносельских Т.В., Фильченков А.А., Азаров А.А., Абдала Н. Автоматизированный инструментарий для опроса респондентов об эпизодах рискованного поведения: первичный анализ результатов применения // Труды СПИИРАН [SPIIRAS Proceedings] - 2013. - № 3(26). - С. 175–193
    подробнее >>
  192. 110. Тулупьев А.Л., Фильченков А.А., Алексеев А.М. Декодирование последовательности состояний бинарной скрытой марковской модели, представленной в виде алгебраической байесовской сети, по последовательности наблюдений // Труды СПИИРАН [SPIIRAS Proceedings] - 2013. - № 1(24). - С. 165–177
    подробнее >>
  193. 109. Ульянцев В.И., Панченко Е.В. Применение методов решения задачи о выполнимости квантифицированной булевой функции для построения управляющих конечных автоматов по сценариям работы и темпоральным свойствам // Научно-технический вестник информационных технологий, механики и оптики - 2013. - № 4(86). - С. 151-153 [IF: 0.28]
    подробнее >>
  194. 108. Фильченков А.А. Гиперграфовое представление математических моделей фрагментов знаний в теории алгебраических байесовских сетей: проблемы связности и ацикличности в контексте апостериорного логико-вероятностного вывода // Тверь: Изд-во Тверского государственного технического университета - 2013. - С. С. 117–126.
  195. 107. Фильченков А.А. Иерархия глобальных структур алгебраической байесовской сети как система графов и гиперграфов // Научно-технический вестник информационных технологий, механики и оптики - 2013. - № 1(83). - С. 75-81 [IF: 0.28]
    подробнее >>
  196. 106. Фильченков А.А. Преобразование первичной структуры алгебраической байесовской сети к ациклической с сохранением вероятностной семантики // Труды СПИИРАН [SPIIRAS Proceedings] - 2013. - № 7(30). - С. 156–169
    подробнее >>
  197. 105. Фильченков А.А. Синтез вторичной структуры алгебраической байесовской сети: компромисс между сложностью и ацикличностью // СПИСОК-2013 Материалы всероссийской научной конференции по проблемам информатики (СПб, 23-26апреля 2013г.) - 2013. - С. 754–759
    подробнее >>
  198. 104. Фильченков А.А. Субоптимальная звездчатая структура алгебраической байесовской сети // Информационно-управляющие системы - 2013. - № 2. - С. 13–17 [IF: 0.104]
  199. 103. Фильченков А.А., Мусина В.Ф. Равновероятностный синтез реализации случайного минимального графа смежности // СПИСОК-2013 Материалы всероссийской научной конференции по проблемам информатики (СПб, 23-26апреля 2013г.) - 2013. - С. 770–775
    подробнее >>
  200. 102. Фильченков А.А., Мусина В.Ф., Тулупьев А.Л. Алгоритм рандомизированного синтеза минимального графа смежности // Труды СПИИРАН [SPIIRAS Proceedings] - 2013. - № 2(25). - С. 221–234
    подробнее >>
  201. 101. Фильченков А.А., Тулупьев А.Л. Связность и ацикличность первичной структуры алгебраической байесовской сети // Вестник Санкт-Петербургского государственного университета. Серия 1. Математика. Механика. Астрономия. - 2013. - № 1. - С. 110–119
  202. 100. Фильченков А.А., Фроленков К.В., Сироткин А.В., Тулупьев А.Л. Система алгоритмов синтеза подмножеств минимальных графов смежности // Труды СПИИРАН [SPIIRAS Proceedings] - 2013. - № 4(27). - С. 200–244
    подробнее >>
  203. 99. Фроленков К.В., Фильченков А.А., Тулупьев А.Л. Сиблинговый критерий цикличности минимальных графов смежности // Труды СПИИРАН [SPIIRAS Proceedings] - 2013. - № 2(25). - С. 190–203
    подробнее >>
  204. 98. Afanasyeva A., Buzdalov M. Optimization with Auxiliary Criteria using Evolutionary Algorithms and Reinforcement Learning // Mendel - 2012, pp. 58-63 [SJR: 0.225]
  205. 97. Buzdalov M. Generation of tests for programming challenge tasks on graph theory using evolution strategy // Proceedings - 2012 11th International Conference on Machine Learning and Applications, ICMLA 2012 - 2012, Vol. 2, pp. 62-65
    подробнее >>
  206. 96. Buzdalova A., Buzdalov M. Adaptive Selection of Helper-Objectives with Reinforcement Learning // Proceedings - 2012 11th International Conference on Machine Learning and Applications, ICMLA 2012 - 2012, Vol. 2, pp. 66-67
    подробнее >>
  207. 95. Buzdalova A., Buzdalov M. Increasing Efficiency of Evolutionary Algorithms by Choosing between Auxiliary Fitness Functions with Reinforcement Learning // Proceedings - 2012 11th International Conference on Machine Learning and Applications, ICMLA 2012 - 2012, Vol. 1, pp. 150-155
    подробнее >>
  208. 94. Chivilikhin D.S., Ulyantsev V.I. Learning Finite-State Machines with Ant Colony Optimization // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2012, Vol. 7461, No. LNCS, pp. 268-275 [SJR: 0.252]
    подробнее >>
  209. 93. Chivilikhin D.S., Ulyantsev V.I., Tsarev F.N. Test-Based Extended Finite-State Machines Induction with Evolutionary Algorithms and Ant Colony Optimization // GECCO 2012 Proceedings of the 14th annual conference companion on Genetic and evolutionary computation - 2012, pp. 603-606
    подробнее >>
  210. 92. Filchenkov A.A., Tulupyev A.L. Coincidence of the Sets of Minimal and Irreducible Join Graphs over Primary Structure of Algebraic Bayesian Networks // Vestnik St. Petersburg University: Mathematics - 2012, Vol. 45, No. 2, pp. 106–113 [SJR: 0.222]
    подробнее >>
  211. 91. Zakonov A., Shalyto A.A. Extracting EFSMs of web applications for formal requirements specification // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2012, Vol. 7612, No. LNCS, pp. 161-172 [SJR: 0.252]
    подробнее >>
  212. 90. Александров А.В., Казаков С.В., Мельников С.В., Сергушичев А.А., Царев Ф.Н. Метод сборки контигов геномных последовательностей на основе совместного применения графов Де Брюина и графов перекрытий // Научно-технический вестник информационных технологий, механики и оптики - 2012. - № 6(82). - С. 93-98 [IF: 0.28]
  213. 89. Афанасьева А.С., Буздалов М.В. Выбор функции приспособленности особей генетического алгоритма с помощью обучения с подкреплением // Научно-технический вестник информационных технологий, механики и оптики - 2012. - № 1(77). - С. 77-81 [IF: 0.28]
  214. 88. Ахи А.А., Станкевич А.С., Шалыто А.А. Автоматические методы модификации решений для тестирования проверяющих программ // Научно-технический вестник информационных технологий, механики и оптики - 2012. - № 1(77). - С. 81-85 [IF: 0.28]
  215. 87. Белоусов М.В., Александров А.В. Особенности реализации SMT-протокола на базе языка Python 3 // Известия высших учебных заведений. Приборостроение - 2012. - Т. 55. - № 8. - С. 64-66 [IF: 0.278]
    подробнее >>
  216. 86. Бужинский И.П., Ульянцев В.И. Применение муравьиных алгоритмов для построения автоматов управления системами со сложным поведением на основе обучающих примеров // Международная конференция по мягким вычислениям и измерениям - 2012. - Т. 1. - С. 250-253
  217. 85. Буздалова А.С., Буздалов М.В. Метод повышения эффективности эволюционных алгоритмов с помощью обучения с подкреплением // Научно-технический вестник информационных технологий, механики и оптики - 2012. - № 5(81). - С. 115-119 [IF: 0.28]
  218. 84. Ведерников Н.В., Кротков П.А., Ульянцев В.И. Олимпиадные задачи по информатике и программированию. Разбор задачи ЕГЭ. // Компьютерные инструменты в школе - 2012. - № 2. - С. 27-29
  219. 83. Ведерников Н.В., Ульянцев В.И. Олимпиадные задачи по информатике и программированию. Разбор задачи Палиндромы // Компьютерные инструменты в школе - 2012. - № 6. - С. 30-33
  220. 82. Кротков П.А., Кучеренко Д.С., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Склад Оби-Вана Кеноби». // Компьютерные инструменты в школе - 2012. - № 5. - С. 23-27
  221. 81. Степанов Д.В., Шалыто А.А. Использование генетического алгоритма для поиска оптимальной траектории наблюдателя // Научно-технический вестник информационных технологий, механики и оптики - 2012. - № 1(77). - С. 90-95 [IF: 0.28]
  222. 80. Тихомиров А.В., Шалыто А.А. Применение адаптивного генетического алгоритма для генерации клеточных автоматов // Научно-технический вестник информационных технологий, механики и оптики - 2012. - № 1(77). - С. 100-105 [IF: 0.28]
  223. 79. Ульянцев В.И., Царев Ф.Н. Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы // Научно-технический вестник информационных технологий, механики и оптики - 2012. - № 1(77). - С. 96-100 [IF: 0.28]
  224. 78. Ульянцев В.И., Шалыто А.А., Бужинский И.П. Применение муравьиных алгоритмов для построения автоматов управления системами со сложным поведением на основе обучающих примеров // Сборник трудов Mеждународного конгресса по интеллектуальным системам и информационным технологиям IS&IT'2012 - 2012. - Т. 1. - С. 15-20
  225. 77. Чивилихин Д.С., Ульянцев В.И. Метод построения конечных автоматов на основе муравьиных алгоритмов // Научно-технический вестник информационных технологий, механики и оптики - 2012. - № 6(82). - С. 72-76 [IF: 0.28]
  226. 76. Afanasyeva A., Buzdalov M. Choosing Best Fitness Function with Reinforcement Learning // Proceedings - 10th International Conference on Machine Learning and Applications, ICMLA 2011 - 2011, Vol. 2, pp. 354-357
    подробнее >>
  227. 75. Aleksandrov A.V., Sergushichev A.A., Kazakov S.V., Tsarev F.N. Genetic algorithm for induction of finite automata with continuous and discrete output actions // Genetic and Evolutionary Computation Conference, GECCO'11 - Companion Publication - 2011, pp. 775-778
    подробнее >>
  228. 74. Buzdalov M. Generation of tests for programming challenge tasks using evolution algorithms // Genetic and Evolutionary Computation Conference, GECCO'11 - Companion Publication - 2011, pp. 763-766
    подробнее >>
  229. 73. Tsarev F.N., Egorov K.V. Finite State Machine Induction using Genetic Algorithm Based on Testing and Model Checking // Genetic and Evolutionary Computation Conference, GECCO'11 - Companion Publication - 2011, pp. 759-762
    подробнее >>
  230. 72. Uliantcev V.I., Tsarev F.N. Extended Finite-State Machine Induction using SAT-Solver // Proceedings - 10th International Conference on Machine Learning and Applications, ICMLA 2011 - 2011, Vol. 2, pp. 346–349
    подробнее >>
  231. 71. Zakonov A., Shalyto A.A. Automatic extraction and verification of state-models for web applications // Lecture Notes in Electrical Engineering - 2011, Vol. 133, pp. 157-160 [SJR: 0.122]
    подробнее >>
  232. 70. Александров А.В., Казаков С.В., Мельников С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А. Метод исправления ошибок в наборе чтений нуклеотидной последовательности // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 5(75). - С. 81-84
  233. 69. Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А. Генерация конечных автоматов для управления моделью беспилотного самолета // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 3-11
  234. 68. Алексеев С.А., Калиниченко А.И., Шалыто А.А., Клебан В.О. Автоматический синтез системы управления мобильным роботом для решения задачи "Кегельринг" // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 26-31
  235. 67. Алексеев С.А., Клебан В.О., Шалыто А.А. Программно-аппаратный комплекс для исследования автоматного управления мобильными роботами // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 37-40
  236. 66. Ахи А.А., Станкевич А.С., Шалыто А.А. Алгоритм построения флибов со 100%-ной точностью предсказания // Информационные технологии - 2011. - № 7. - С. 34-37
  237. 65. Буздалов М.В. Генерация тестов для олимпиадных задач по программированию с использованием генетических алгоритмов // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 72-77
  238. 64. Буздалов М.В. Генерация тестов для олимпиадных задач по теории графов с использованием эволюционных стратегий // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 6(76). - С. 123-127
  239. 63. Ведерников Н.В., Кротков П.А., Ульянцев В.И. Задача "Хвост графа" // Компьютерные инструменты в школе - 2011. - № 6. - С. 53-56
    подробнее >>
  240. 62. Голубок А.О., Пинаев А.Л., Чивилихин Д.С., Чивилихин С.А. Динамическая силовая литография на тонких металлических пленках в сканирующем зондовом микроскопе с пьезорезонансным датчиком локального взаимодействия // Научное приборостроение - 2011. - Т. 21. - № 1. - С. 31-43 [IF: 0.157]
  241. 61. Данилов В.Р., Шалыто А.А. Метод представления автоматов линейными бинарными графами для использования в генетическом программировании // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 54-57
  242. 60. Законов А.Ю., Шалыто А.А. Применение генетических алгоритмов к генерации тестов для автоматных программ // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 66-72
  243. 59. Казаков С.В., Александров А.В., Царев Ф.Н., Шалыто А.А. Метод исправления ошибок в наборе чтений нуклеотидной последовательности // Научно-технический вестник СПбГУ ИТМО - 2011. - № 5. - С. 81-84
  244. 58. Казаков С.В., Царев Ф.Н., Шалыто А.А. Метод построения конечных автоматов верхнего уровня для управления моделью беспилотного самолета на основе обучающих примеров // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 6(76). - С. 64-68
  245. 57. Клебан В.О., Шалыто А.А. Анализ эффективности использования GPU для автоматического анализа системы управления мобильным роботом // Научно-технический вестник СПбГУ ИТМО - 2011. - № 2 (72). - С. 32-36
  246. 56. Клебан В.О., Шалыто А.А. Разработка системы управления малоразмерным вертолетом // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 12-16
  247. 55. Клебан В.О., Шалыто А.А., Сергеев А.А. Анализ эффективности использования GPU для автоматического синтеза системы управления мобильным роботом // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 32-36
  248. 54. Тихомиров А.В., Шалыто А.А. Применение генетического подхода для генерации клеточных автоматов // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 62-66
  249. 53. Трофимов Д.А., Шалыто А.А. Методы оптимизации стратегий в играх для двух участников с использованием генетических алгоритмов // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 45-49
  250. 52. Ульянцев В.И., Царев Ф.Н., Цыпленков А.Е., Цыпленков А.Е. Олимпиадные задачи по информатике и программированию. Задача "Производство бензина // Компьютерные инструменты в школе - 2011. - № 1. - С. 33-35
  251. 51. Царев Ф.Н. Олимпиадные задачи по информатике и программированию. Задача "Две дуги" // Компьютерные инструменты в школе - 2011. - № 2
  252. 50. Шалыто А.А. Кадры для ИТ-индустрии: найти и удержать // Компьютерные инструменты в образовании - 2011. - № 3. - С. 51-59
  253. 49. Шалыто А.А. Применение автоматного подхода при программировании модулей управления шаговыми двигателями, выполненными на основе ПЛИС // Системы управления и обработки информации - 2011. - № 22. - С. 92-103
  254. 48. Шалыто А.А., Янкин Ю.Ю. Применение автоматного подхода при программировании модулей управления шаговыми двигателями, выполненными на основе ПЛИС // Системы управления и обработки информации - 2011. - № 22. - С. 92 - 103
  255. 47. Шалыто А.А., Янкин Ю.Ю., Янкин Ю.Ю. Автоматное программирование ПЛИС в задачах управления электроприводом // Информационно-управляющие системы - 2011. - № 1. - С. 50-56
  256. 46. Polikarpova N.I., Tochilin V.N., Shalyto A.A. Method of Reduced Tables for Generation of Automata with a Large Number of Input Variables Based on Genetic Programming // Journal of Computer and Systems Sciences International - 2010, Vol. 49, No. 2, pp. 265-282 [IF: 0.503, SJR: 0.27]
    подробнее >>
  257. 45. Альмяшев В.И., Альфимов А.В., Арысланова Е.М., Вавулин Д.Н., Кириллова С.А., Попов И.Ю., Чивилихин Д.С., Чивилихин С.А., Гусаров В.В. Теоретическое и экспериментальное исследование физико-химических процессов формирования, трансформации и транспорта наноструктур // Труды НИЦ фотоники и оптоинформатики: Сборник статей - 2010. - С. 140-167
  258. 44. Гусаров В.В., Попов И.Ю., Чивилихин Д.С., Чивилихин С.А. Диффузионно-контролируемый рост системы наносвитков // Известия высших учебных заведений. Физика - 2010. - Т. 53. - № 03. - С. 201-204
  259. 43. Егоров К.В., Царев Ф.Н., Шалыто А.А. Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе обучающих примеров и спецификации // Научно-технический вестник СПбГУ ИТМО - 2010. - № 5 (69). - С. 81 - 86
  260. 42. Клебанов А.А., Степанов О.Г., Шалыто А.А. Применение шаблонов требований к формальной спецификации и верификации автоматных программ // Научно-технический вестник СПбГУ ИТМО - 2010. - № 5 (69). - С. 91 - 95
  261. 41. Колганов Р.А., Поромов С.С., Ульянцев В.И., Царев Ф.Н., Поромов С.С., Колганов Р.А. Олимпиадные задачи по информатике и программированию. Разбор задачи Обобщенные числа-близнецы // Компьютерные инструменты в школе - 2010. - № 4. - С. 43-45
  262. 40. Комаров А.В., Ульянцев В.И., Цыпленков А.Е., Цыпленков А.Е., Комаров А.В. Олимпиадные задачи по информатике и программированию. Разбор задачи Рыцарский щит // Компьютерные инструменты в школе - 2010. - № 6. - С. 40-42
  263. 39. Корнеев Г.А., Малаховски Я.М. Валидация автоматов с переменными на функциональных языках программирования // Научно-технический вестник СПбГУ ИТМО - 2010. - № 06(70). - С. 73-77 Валидация автоматов с переменными на функциональных языках программирования
  264. 38. Поликарпова Н.И., Точилин В.Н., Шалыто А.А. Метод сокращенных таблиц для генерации автоматов с большим числом входных переменных на основе генетического программирования // Известия РАН. Теория и системы управления - 2010. - № 2. - С. 100 – 117
  265. 37. Попов С.И., Попов Ю.И., Шалыто А.А. Задача о муравьеде и муравьях // Информационные технологии. - 2010. - № 8. - С. 18 - 22
  266. 36. Попов С.И., Шалыто А.А. Задача о муравьеде и муравьях // Информационные технологии - 2010. - № 8. - С. 18-22
  267. 35. Суясов Д.И., Шалыто А.А. Выделение структурных признаков изображений символов на основе клеточных автоматов с метками // Информационно-управляющие системы - 2010. - № 4. - С. 39–45
  268. 34. Тарасюк М.В., Царев Ф.Н., Царев Ф.Н. Метод оценивания трафика VPN-сети на основе моделей скрытой Марковской цепи в задачах технической разведки // Безопасность информационных технологий - 2010. - № 3. - С. 149-152
  269. 33. Ульянцев В.И., Царев Ф.Н. Олимпиадные задачи по информатике и программированию. Разбор задачи Строки Фибоначчи // Компьютерные инструменты в школе - 2010. - № 1. - С. 36-37
  270. 32. Царев Ф.Н. Метод оценивания трафика VPN-сети на основе моделей скрытой Марковской цепи в задачах технической разведки // Безопасность информационных технологий - 2010. - № 3
  271. 31. Царев Ф.Н., Шалыто А.А. Метод построения управляющих конечных автоматов на основе тестовых примеров с помощью генетического программирования // Информационно-управляющие системы - 2010. - № 5. - С. 31-36
  272. 30. Шалыто А.А. Метод сокращенных таблиц для генерации автоматов с большим числом входных переменных на основе генетического программирования // Известия РАН. Теория и системы управления - 2010. - № 2(2). - С. 100-117
  273. 29. Шалыто А.А. Применение шаблонов требований к формальной спецификации и верификации автоматных программ // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2010. - № 5 (69). - С. 91-95
  274. 28. Шалыто А.А., Царев Ф.Н. Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе обучающих примеров и спецификации // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2010. - № 5 (69). - С. 81-86
  275. 27. Chivilikhin S.A., Popov I.Y., Svitenkov A.I., Chivilikhin D.S., Gusarov V.V. Formation and evolution of nanoscroll ensembles based on layered-structure compounds // Doklady Physics - 2009, Vol. 54, No. 11, pp. 491-493 [IF: 0.473]
    подробнее >>
  276. 26. Астафуров А.А., Шалыто А.А. Исследование автоматных классов с использованием динамических языков программирования (на примере языка RUBY) // Информационно–управляющие системы. - 2009. - № 4. - С. 21–25
  277. 25. Вельдер С.Э., Шалыто А.А. Верификация автоматных моделей методом редуцированного графа переходов // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2009. - № 6(64). - С. 66-77
    подробнее >>
  278. 24. Гусаров В.В., Свитенков А.И., Чивилихин С.А., Попов И.Ю., Чивилихин Д.С. Формирование и эволюция ансамбля наносвитков на основе соединений со слоистой структурой // Доклады академии наук - 2009. - Т. 429. - № 2. - С. 185-186
  279. 23. Мандриков Е.А., Чеботарева Ю.К., Шалыто А.А. Автоматное программирование и параллельные вычисления // Известия высших учебных заведений. Приборостроение. - 2009. - Т. 52. - № 10. - С. 66–73
  280. 22. Парфенов В.Г., Шалыто А.А. Инновационная система подготовки специалистов в области производства программного обеспечения в СПбГУ ИТМО // Научно–технический вестник СПбГУ ИТМО. - 2009. - № 4 (62). - С. 5–11
  281. 21. Федотов П.В., Царев Ф.Н., Шалыто А.А., Федотов П.В. Задача поиска усердных бобров и ее решение // Компьютерные инструменты в образовании - 2009. - № 2. - С. 70-76 [IF: 0.104]
  282. 20. Фильченков А.А., Тулупьев А.Л. Структурный анализ систем минимальных графов смежности // Труды СПИИРАН [SPIIRAS Proceedings] - 2009. - № 11. - С. 104-127
  283. 19. Царев Ф.Н. Небывалая победа Российской школы программирования // Информационно–управляющие системы. - 2009. - № 4. - С. 75–76
  284. 18. Царев Ф.Н., Ульянцев В.И. Олимпиадные задачи по информатике и программированию. Разбор задачи «Раскраска кубиков» // Компьютерные инструменты в школе - 2009. - № 5. - С. 19-21
  285. 17. Царев Ф.Н., Ульянцев В.И. Олимпиадные задачи по информатике и программированию. Разбор задачи «Транспортные узлы» // Компьютерные инструменты в школе - 2009. - № 6. - С. 36-37
  286. 16. Шалыто А.А. 1_Непроцедурный текстовый язык описания автоматных обработчиков XML-документов и его применение // Информационные технологии. - 2009. - № 12. - С. 38-45
  287. 15. Шалыто А.А. 1_Парадигма автоматного программирования // RSDN Magazinе - 2009. - № 1. - С. 53-58
  288. 14. Шалыто А.А. 1_Реализация конечных автоматов на функциональных языках программирования // Информационно-управляющие системы - 2009. - № 6. - С. 15-18
  289. 13. Шалыто А.А. 1_Трансляция описаний автоматов, представленных в формате Microsoft Visio, в исходный код на языке C // Прикладная дискретная математика. - 2009. - № 1. - С. 81-83
  290. 12. Царев Ф.Н. Совместное применение генетического программирования, конечных автоматов и искусственных нейронных сетей для построения системы управления беспилотным летательным аппаратом // Научно-технический вестник СПбГУ ИТМО - 2008. - № 53. - С. 42-60
  291. 11. Шалыто А.А. Верификация автоматных программ // Информационно-управляющие системы - 2008. - № 5. - С. 22-30
  292. 10. Шалыто А.А. Парадигма автоматного программирования // Научно-технический вестник СПбГУ ИТМО. - 2008. - № 53. - С. 3-24
  293. 9. Шалыто А.А. Диагностирование аварийных состояний турбонасосного агрегата жидкостного ракетного двигателя // Нейрокомпьютеры: разработка, применение - 2007. - № 9. - С. 372-379
  294. 8. Шалыто А.А. Использование генетических алгоритмов для автоматического построения конечных автоматов в задаче о флибах // Известия РАН. Теория и системы управления - 2007. - № 5. - С. 43-51
  295. 7. Шалыто А.А. Применение генетического программирования при решении задачи о флибах // Информационные технологии - 2007. - № 12. - С. 14-17
  296. 6. Шалыто А.А. Применение динамического программирования при решении задач на конечных автоматах // Компьютерные инструменты в образовани - 2007. - № 4. - С. 13-17
  297. 5. Шалыто А.А., Степанов О.Г., Шалыто А.А., Шопырин Д.Г. Предметно-ориентированный язык автоматного программирования на базе динамического языка RUBY // Информационно-управляющие системы - 2007. - № 4. - С. 22-27
  298. 4. Шалыто А.А. LabVIEW и SWITCH-технология // Промышленные АСУ и контроллеры - 2006. - № 6. - С. 43–45
  299. 3. Шалыто А.А. Автоматное программирование // Известия Уральского государственного университета - 2006. - № 43. - С. 181– 190
  300. 2. Шалыто А.А. Многофункциональные логические модули из элементов с двусторонней проводимостью // Известия РАН. Теория и системы управления - 2006. - № 1. - С. 78–81
  301. 1. Шалыто А.А. О проекте Технология автоматного программирования: применение и инструментальные средства // Информационные технологии - 2006. - № 2. - С. -79-83