Барсенас Эверардо

Публикации в базе данных Math-Net.Ru

1. A decade of advancements in program synthesis from natural language: a systematic literature review
   
   Труды ИСП РАН, 36:6 (2024),  59–82
2. Blockchain and satisfiability modulo theories for tender systems
   
   Труды ИСП РАН, 35:1 (2023),  113–122
3. Выполнимость мю-исчисления с арифметическими ограничениями
   
   Труды ИСП РАН, 33:2 (2021),  191–200
4. Регулярные выражения для обнаружения Web-рекламы на основе автоматического скользящего алгоритма
   
   Труды ИСП РАН, 33:2 (2021),  65–76