Published in Journal of logical and algebraic methods in programming (01.07.2025)

by Gommerstadt, Hannah, Jia, Limin, Pfenning, Frank
Published in Journal of logical and algebraic methods in programming (01.01.2022)

by Espírito Santo, José, Frade, Maria João, Pinto, Luís
Published in Journal of logical and algebraic methods in programming (01.02.2023)

by Veltri, Niccolò, Vezzosi, Andrea
Published in Journal of logical and algebraic methods in programming (01.02.2023)

by Corradini, Andrea, Duval, Dominique, Echahed, Rachid, Prost, Frédéric, Ribeiro, Leila
Published in Journal of logical and algebraic methods in programming (01.02.2019)

by Alpuente, M., Ballis, D., Escobar, S., Galán, D., Sapiña, J.
Published in Journal of logical and algebraic methods in programming (01.04.2023)

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

by Ramírez Restrepo, Carlos Alberto, Jaramillo, Juan C., Pérez, Jorge A.
Published in Journal of logical and algebraic methods in programming (01.06.2023)

by Lucas, Salvador
Published in Journal of logical and algebraic methods in programming (01.06.2021)

by Chen, Xiaohong, Lucanu, Dorel, Roşu, Grigore
Published in Journal of logical and algebraic methods in programming (01.01.2023)

by Olarte, Carlos, Pimentel, Elaine, Rocha, Camilo
Published in Journal of logical and algebraic methods in programming (01.01.2023)

by Rodríguez, Alejandro, Macías, Fernando, Durán, Francisco, Rutle, Adrian, Wolter, Uwe
Published in Journal of logical and algebraic methods in programming (01.01.2023)

by Hafidi, Y., de Vink, E.P.
Published in Journal of logical and algebraic methods in programming (01.01.2023)

by Abuin, Alex, Bolotov, Alexander, Hermo, Montserrat, Lucio, Paqui
Published in Journal of logical and algebraic methods in programming (01.01.2023)

by Dunne, Steve, Ferreira, João F., Mendes, Alexandra, Ritchie, Campbell, Stoddart, Bill, Zeyda, Frank
Published in Journal of logical and algebraic methods in programming (01.01.2023)

Published in Journal of logical and algebraic methods in programming (01.05.2025)

by Coto, Alex, Guanciale, Roberto, Tuosto, Emilio
Published in Journal of logical and algebraic methods in programming (01.11.2021)

by Stehr, Mark-Oliver, Kim, Minyoung, Talcott, Carolyn L.
Published in Journal of logical and algebraic methods in programming (01.01.2022)

by Di Giusto, Cinzia, Germerie Guizouarn, Loïc, Lozes, Etienne
Published in Journal of logical and algebraic methods in programming (01.02.2023)

by Barkowsky, Matthias, Giese, Holger
Published in Journal of logical and algebraic methods in programming (01.02.2023)