by Ameur-Boulifa, Rabéa, Henrio, Ludovic, Madelaine, Eric
Published in Journal of logical and algebraic methods in programming (01.02.2023)

by Barbanera, Franco, de'Liguoro, Ugo, Hennicker, Rolf
Published in Journal of logical and algebraic methods in programming (01.12.2019)

by Laveaux, Maurice, Willemse, Tim A.C.
Published in Journal of logical and algebraic methods in programming (01.04.2023)

by Savanović, Zorica, Galletta, Letterio
Published in Journal of logical and algebraic methods in programming (01.04.2023)

by Corradini, Flavio, Morichetta, Andrea, Muzi, Chiara, Re, Barbara, Tiezzi, Francesco
Published in Journal of logical and algebraic methods in programming (01.02.2021)

by Nigam, Vivek, Talcott, Carolyn
Published in Journal of logical and algebraic methods in programming (01.04.2022)

by Fredlund, Lars-Åke, Benac Earle, Clara, Arts, Thomas, Svensson, Hans
Published in Journal of logical and algebraic methods in programming (01.01.2023)

by de'Liguoro, Ugo, Melgratti, Hernán, Tuosto, Emilio
Published in Journal of logical and algebraic methods in programming (01.06.2022)

by Espírito Santo, José, Pinto, Luís, Uustalu, Tarmo
Published in Journal of logical and algebraic methods in programming (01.06.2022)

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

by Philippou, Anna, Psara, Kyriaki
Published in Journal of logical and algebraic methods in programming (01.01.2022)

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

by Jouannaud, Jean-Pierre, Orejas, Fernando
Published in Journal of logical and algebraic methods in programming (01.02.2023)

by Eraşcu, Mădălina, Micota, Flavia, Zaharie, Daniela
Published in Journal of logical and algebraic methods in programming (01.06.2021)

by Foster, Simon, Ye, Kangfeng, Cavalcanti, Ana, Woodcock, Jim
Published in Journal of logical and algebraic methods in programming (01.06.2021)

by Lion, Benjamin, Arbab, Farhad, Talcott, Carolyn
Published in Journal of logical and algebraic methods in programming (01.11.2022)

by Eker, Steven
Published in Journal of logical and algebraic methods in programming (01.04.2022)

by Lucas, Salvador, Vítores, Miguel, Gutiérrez, Raúl
Published in Journal of logical and algebraic methods in programming (01.04.2022)

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

by Castellani, Ilaria, D'Argenio, Pedro R., Mousavi, Mohammad Reza, Sokolova, Ana
Published in Journal of logical and algebraic methods in programming (01.01.2023)