REACH: Researching Efficient Alignment-based Conformance Checking. - Jacobo Casas-Ramos; Manuel Mucientes; Manuel Lama (Expert Syst. Appl., 2024)

Efficient Conformance Checking of Rich Data-Aware Declare Specifications. - Jacobo Casas-Ramos; Sarah Winkler; Alessandro Gianola; Marco Montali; Manuel Mucientes; Manuel Lama (BPM, 2025)

DeclareAligner: A leap towards efficient optimal alignments for declarative process model conformance checking. - Jacobo Casas-Ramos; Manuel Lama; Manuel Mucientes (Eng. Appl. Artif. Intell., 2025)

Efficient Conformance Checking of Rich Data-Aware Declare Specifications (Extended). - Jacobo Casas-Ramos; Sarah Winkler; Alessandro Gianola; Marco Montali; Manuel Mucientes; Manuel Lama (CoRR, 2025)