On the Scalability of Compositions of Service-Oriented Applications. - Nicolás Pozas; Francisco Durán 001 (ICSOC, 2021)

Multi-objective dynamic programming with limited precision. - Lawrence Mandow; José-Luis Pérez-de-la-Cruz; Nicolás Pozas (J. Glob. Optim., 2022)

Statistical Model Checking for sf P. - Francisco Durán 001; Nicolás Pozas; Carlos Ramírez 002; Camilo Rocha (FMICS, 2023)

Location-aware scalable service composition. - Nicolás Pozas; Francisco Durán 001; Katia Moreno Berrocal; Ernesto Pimentel 001 (Softw. Pract. Exp., 2023)

Business processes resource management using rewriting logic and deep-learning-based predictive monitoring. - Francisco Durán 001; Nicolás Pozas; Camilo Rocha (J. Log. Algebraic Methods Program., 2024)

A rewriting logic semantics for the analysis of P programs. - Francisco Durán 001; Carlos Ramírez 002; Camilo Rocha; Nicolás Pozas (J. Log. Algebraic Methods Program., 2025)