ngel Herranz-Nieva
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2003–2024
Best venue rank
B
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | EUSPN | Evaluation of Mixed Reality Technologies in Telemedicine-Assisted Childbirth Simulations. | Leonel Vasquez-Cevallos, Leticia Parpacen-Briones, Fabian Del-Pino-Bazan, Hermes Moran-Chaguay, Pryscilla Diaz-Mora, Juan Carlos Zevallos, Rebeca Estrada, Paul E. D. Soto-Rodriguez, Susana Muoz-Hernndez, ngel Herranz-Nieva |
| 2022 | ECSA | Persistence Factories Architectural Design Pattern. | Jorge D. Ortiz-Fuentes, ngel Herranz-Nieva |
| 2014 | ICWS | Property-Based Testing of JSON Based Web Services. | Lars-ke Fredlund, Clara Benac Earle, ngel Herranz-Nieva, Julio Mario-Carballo |
| 2014 | SEFM | A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems. | Lars-ke Fredlund, ngel Herranz-Nieva, Julio Mario |
| 2014 | SEFM | Execution and Verification of UML State Machines with Erlang. | Ricardo J. Rodrguez, Lars-ke Fredlund, ngel Herranz-Nieva, Julio Mario |
| 2011 | ICLP | Synthesis of Logic Programs from Object-Oriented Formal Specifications. | ngel Herranz-Nieva, Julio Mario |
| 2009 | FMICS | Modeling Concurrent Systems with Shared Resources. | ngel Herranz-Nieva, Julio Mario, Manuel Carro, Juan Jos Moreno-Navarro |
| 2008 | PADL | Automatic Coding Rule Conformance Checking Using Logic Programming. | Guillem Marpons-Ucero, Julio Mario-Carballo, Manuel Carro, ngel Herranz-Nieva, Juan Jos Moreno-Navarro, Lars-ke Fredlund |
| 2003 | RSP | Rapid Prototyping and Incremental Evolution Using SLAM. | ngel Herranz-Nieva, Juan Jos Moreno-Navarro |