Julia Sapia
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2013–2024
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | PPDP | NuITP: An Inductive Theorem Prover for Equational Program Verification. | Francisco J. Durn, Santiago Escobar, Jos Meseguer, Julia Sapia |
| 2022 | LOPSTR | Variant-Based Equational Anti-unification. | Mara Alpuente, Demis Ballis, Santiago Escobar, Julia Sapia |
| 2020 | ESORICS | An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA. | Damin Aparicio-Snchez, Santiago Escobar, Ral Gutirrez, Julia Sapia |
| 2020 | INDOCRYPT | Protocol Analysis with Time. | Damin Aparicio-Snchez, Santiago Escobar, Catherine Meadows, Jos Meseguer, Julia Sapia |
| 2013 | ESOP | Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne. | Mara Alpuente, Demis Ballis, Francisco Frechina, Julia Sapia |