|
|
|
Publications in Math-Net.Ru |
Citations |
|
2023 |
| 1. |
R. Dávila, R. Aldeco-Pérez, E. Barcenas, “Blockchain and satisfiability modulo theories for tender systems”, Proceedings of ISP RAS, 35:1 (2023), 113–122  |
|
2021 |
| 2. |
Y. Limón, E. Bárcenas, E. Benítez-Guerrero, G. Molero-Castillo, A. Velázquez-Mena, “Mu-calculus satisfiability with arithmetic constraints”, Proceedings of ISP RAS, 33:2 (2021), 191–200 |
| 3. |
D. Riaño, R. Piñon, G. Molero-Castillo, E. Bárcenas, A. Velázquez-Mena, “Regular expressions for web advertising detection based on an automatic sliding algorithm”, Proceedings of ISP RAS, 33:2 (2021), 65–76 |
|
| Organisations |
|
|
Contact us: