Indice
buscar
Diferencias
Muestra las diferencias entre dos versiones de la página.
| Ambos lados, revisión anterior Revisión previa Próxima revisión | Revisión previa | ||
|
publicaciones [2026/01/09 09:16] ezpeleta |
publicaciones [2026/08/25 07:13] (actual) ezpeleta |
||
|---|---|---|---|
| Línea 1: | Línea 1: | ||
| + | • M.J. Ibáñez, J. Ezpeleta, and J. Fabra \\ | ||
| + | **Conformance Checking of Healthcare Processes Using Knowledge Graphs and Data-Aware Temporal Logic**\\ | ||
| + | Proceedings of the Fifth International Conference on Innovations in Computing Research (ICR’26), Berlin, August 24-26 2026, Lecture Notes in Networks and Systems (LNNS, volume 2074), 2026 | ||
| + | |||
| + | • Bernardi, S., Ezpeleta, J. \\ | ||
| + | **Verification of Security Properties of Cryptographic Protocols Through Model Checking Execution Traces**\\ | ||
| + | Renaud, K., Wendzel, S., Heinemann, A. (eds) Cybersecurity. EICC 2026. Communications in Computer and Information Science, vol 3012. Springer, Cham. https://doi.org/10.1007/978-3-032-28957-5_14 | ||
| + | |||
| • Sofia Hustiu, Joaquín Ezpeleta, Cristian Mahulea, Marius Kloetzer \\ | • Sofia Hustiu, Joaquín Ezpeleta, Cristian Mahulea, Marius Kloetzer \\ | ||
| **Multi-robot motion planning based on Nets-within-Nets modeling and simulation**\\ | **Multi-robot motion planning based on Nets-within-Nets modeling and simulation**\\ | ||
