Alex Abuin

Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models

Montserrat Hermo, P. Lucio, A. Bolotov, 2022, J. Log. Algebraic Methods Program..

Adiponectin receptor 1 conserves docosahexaenoic acid and promotes photoreceptor cell survival

W. Gordon, D. Rice, N. Bazan, 2015, Nature Communications.

Corrigendum: Adiponectin receptor 1 conserves docosahexaenoic acid and promotes photoreceptor cell survival

W. Gordon, D. Rice, N. Bazan, 2015, Nature Communications.

Towards Certified Model Checking for PLTL Using One-Pass Tableaux

Montserrat Hermo, Alexander Bolotov, Paqui Lucio, 2019, TIME.

One-Pass Context-Based Tableaux Systems for CTL and ECTL

Montserrat Hermo, Alexander Bolotov, Paqui Lucio, 2020, TIME.

Optimization Techniques and Formal Verification for the Software Design of Boolean Algebra Based Safety-Critical Systems

Christian Blum, Jesús Cerquides, Jon Perez, 2021, IEEE Transactions on Industrial Informatics.