Symbolic AI for XAI: Evaluating LFIT Inductive Programming for Fair and Explainable Automatic Recruitment. - Alfonso Ortega 002; Julian Fiérrez; Aythami Morales; Zilong Wang 027; Tony Ribeiro (WACV (Workshops), 2021)

Symbolic AI for XAI: Evaluating LFIT Inductive Programming for Explaining Biases in Machine Learning. - Alfonso Ortega 002; Julian Fiérrez; Aythami Morales; Zilong Wang 027; Marina de la Cruz; César Luis Alonso; Tony Ribeiro (Comput., 2021)

Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts. - Zilong Wang 027; Gideon Mohr; Klaus von Gleissenthall; Jan Reineke 001; Marco Guarnieri (CCS, 2023)

Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors. - Zilong Wang 027; Gideon Mohr; Klaus von Gleissenthall; Jan Reineke 001; Marco Guarnieri (CCS, 2025)