CLIP Group's Publications in 2026
Articles in Refereed Journals:
- Louis Rustenholz, Pedro Lopez-Garcia, Manuel V. Hermenegildo.
Abstractions of Sequences, Functions and Operators.
Int'l. Journal on Software Tools for Technology Transfer,
To Appear, Springer,
March
2026.
Special issue on 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:57:04 PM CET 2026