Barcenas Everardo

Publications in Math-Net.Ru

1. A decade of advancements in program synthesis from natural language: a systematic literature review
   
   Proceedings of ISP RAS, 36:6 (2024),  59–82
2. Blockchain and satisfiability modulo theories for tender systems
   
   Proceedings of ISP RAS, 35:1 (2023),  113–122
3. Mu-calculus satisfiability with arithmetic constraints
   
   Proceedings of ISP RAS, 33:2 (2021),  191–200
4. Regular expressions for web advertising detection based on an automatic sliding algorithm
   
   Proceedings of ISP RAS, 33:2 (2021),  65–76