Indice
buscar
Diferencias
Muestra las diferencias entre dos versiones de la página.
| Ambos lados, revisión anterior Revisión previa | |||
|
publicaciones [2026/06/16 06:08] 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. \\ | • Bernardi, S., Ezpeleta, J. \\ | ||
| **Verification of Security Properties of Cryptographic Protocols Through Model Checking Execution Traces**\\ | **Verification of Security Properties of Cryptographic Protocols Through Model Checking Execution Traces**\\ | ||
