by Chlyah, Sarah, Gesbert, Nils, Genevès, Pierre, Layaïda, Nabil
Published in Journal of logical and algebraic methods in programming (01.03.2025)

by Nishida, Naoki, Kojima, Misaki, Matsumi, Ayuka
Published in Journal of logical and algebraic methods in programming (01.03.2025)

by Madeira, Alexandre, Oliveira, José Nuno, Proença, José, Neves, Renato
Published in Journal of logical and algebraic methods in programming (01.02.2025)

by Nacu, Andrei
Published in Journal of logical and algebraic methods in programming (01.02.2025)

by Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola
Published in Journal of logical and algebraic methods in programming (01.02.2023)

by Dardha, Ornela, Pérez, Jorge A.
Published in Journal of logical and algebraic methods in programming (01.01.2022)

by Rocha, Camilo, Meseguer, José, Muñoz, César
Published in Journal of logical and algebraic methods in programming (01.01.2017)

by Zhang, Wenhui
Published in Journal of logical and algebraic methods in programming (01.01.2025)

by Galindo, Carlos, Pérez, Sergio, Silva, Josep
Published in Journal of logical and algebraic methods in programming (01.01.2025)

by Cerone, Antonio
Published in Journal of logical and algebraic methods in programming (01.01.2025)

by van den Heuvel, Bas, Pérez, Jorge A.
Published in Journal of logical and algebraic methods in programming (01.01.2025)

by Rubio, Rubén, Riesco, Adrián
Published in Journal of logical and algebraic methods in programming (01.01.2025)

by Barbanera, Franco, Bono, Viviana, Dezani-Ciancaglini, Mariangiola
Published in Journal of logical and algebraic methods in programming (01.01.2025)

by Barkallah, Manel, Jacquet, Jean-Marie
Published in Journal of logical and algebraic methods in programming (01.01.2025)

by Ciccone, Luca, Dagnino, Francesco, Padovani, Luca
Published in Journal of logical and algebraic methods in programming (01.06.2024)

by Tuosto, Emilio, Guanciale, Roberto
Published in The journal of logic and algebraic programming (01.02.2018)

by Aubert, Clément
Published in Journal of logical and algebraic methods in programming (01.01.2024)

by Basile, Davide, ter Beek, Maurice H.
Published in Journal of logical and algebraic methods in programming (01.10.2024)

by Kim, Esther H., Goorden, Martijn A., Larsen, Kim G., Nielsen, Thomas D.
Published in Journal of logical and algebraic methods in programming (01.10.2024)

by Arteche, Noel, Hermo, Montserrat
Published in Journal of logical and algebraic methods in programming (01.10.2024)