|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2024 |
| 1. |
R. Ramirez-Rueda, E. Benítez-Guerrero, C. Mezura-Godoy, E. Barcenas, “A decade of advancements in program synthesis from natural language: a systematic literature review”, Труды ИСП РАН, 36:6 (2024), 59–82  |
|
2023 |
| 2. |
R. Dávila, R. Aldeco-Pérez, E. Barcenas, “Blockchain and satisfiability modulo theories for tender systems”, Труды ИСП РАН, 35:1 (2023), 113–122 |
|
2021 |
| 3. |
Й. Лимон, Э. Барсенас, Э. Бенитес-Герреро, Г. Молеро-Кастильо, А. Веласкес Мена, “Выполнимость мю-исчисления с арифметическими ограничениями”, Труды ИСП РАН, 33:2 (2021), 191–200 |
| 4. |
Д. Рианьо, Р. Пинон, Г. Молеро-Кастильо, Э. Барсенас, А. Веласкес-Мена, “Регулярные выражения для обнаружения Web-рекламы на основе автоматического скользящего алгоритма”, Труды ИСП РАН, 33:2 (2021), 65–76 |
|
