CLIP Group's Publications in 2026
Articles in Refereed Journals:
- Louis Rustenholz, Pedro Lopez-Garcia, Manuel V. Hermenegildo.
Abstractions of Sequences, Functions and Operators.
STTT,
To Appear, Springer,
March
2026.
Presented at CSV'25..
Articles in Refereed Conferences:
- Daniela Ferreiro, José F. Morales, Pedro Lopez-Garcia, Manuel V. Hermenegildo.
Multi-Configurable Search Rules in Prolog and Application to Testing.
28th International Symposium on Practical Aspects of Declarative Languages, PADL 2026,
LNCS,
pages 96-114,
Springer,
2026.
Last updated on Thu Mar 19 01:50:55 PM CET 2026