Barcenas Everardo

Publications in Math-Net.Ru

1. Blockchain and satisfiability modulo theories for tender systems
   
   Proceedings of ISP RAS, 35:1 (2023),  113–122
2. Mu-calculus satisfiability with arithmetic constraints
   
   Proceedings of ISP RAS, 33:2 (2021),  191–200
3. Regular expressions for web advertising detection based on an automatic sliding algorithm
   
   Proceedings of ISP RAS, 33:2 (2021),  65–76