Nicolás Pozas

According to our database, Nicolás Pozas authored at least 4 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Business processes resource management using rewriting logic and deep-learning-based predictive monitoring.

Francisco Durán, Nicolás Pozas, Camilo Rocha

J. Log. Algebraic Methods Program., January, 2024

2023

Location-aware scalable service composition.

Nicolás Pozas, Francisco Durán, Katia Moreno Berrocal, Ernesto Pimentel

Softw. Pract. Exp., December, 2023

Statistical Model Checking for sf P.

Francisco Durán, Nicolás Pozas, Carlos Ramírez, Camilo Rocha

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

2021

On the Scalability of Compositions of Service-Oriented Applications.

Nicolás Pozas, Francisco Durán

Proceedings of the Service-Oriented Computing - 19th International Conference, 2021