by Basile, Davide, ter Beek, Maurice H., Fantechi, Alessandro, Gnesi, Stefania
Published in Journal of logical and algebraic methods in programming (01.04.2024)

by Nakamura, Yoshiki
Published in Journal of logical and algebraic methods in programming (01.06.2022)

by Chen, Jinfu, Zhang, Chi, Cai, Saihua, Zhang, Lin, Ma, Liang
Published in Journal of logical and algebraic methods in programming (01.04.2023)

by Maletto, Giacomo, Roversi, Luca
Published in Journal of logical and algebraic methods in programming (01.01.2024)

by Durán, Francisco, Pozas, Nicolás, Rocha, Camilo
Published in Journal of logical and algebraic methods in programming (01.01.2024)

by Abdelli, Abdelkrim
Published in Journal of logical and algebraic methods in programming (01.01.2024)

by Kosiol, Jens, John, Stefan, Taentzer, Gabriele
Published in Journal of logical and algebraic methods in programming (01.01.2024)

by Graversen, Eva, Phillips, Iain, Yoshida, Nobuko
Published in Journal of logical and algebraic methods in programming (01.06.2021)

by Francalanza, Adrian, Tabone, Gerard
Published in Journal of logical and algebraic methods in programming (01.10.2023)

by Selvaraj, Yuvaraj, Krook, Jonas, Ahrendt, Wolfgang, Fabian, Martin
Published in Journal of logical and algebraic methods in programming (01.02.2024)

by Nester, Chad, Voorneveld, Niels
Published in Journal of logical and algebraic methods in programming (01.02.2024)

by Stock, Sebastian, Mashkoor, Atif, Leuschel, Michael, Egyed, Alexander
Published in Journal of logical and algebraic methods in programming (01.02.2024)

by Zhang, Yuanrui, Liu, Zhiming
Published in Journal of logical and algebraic methods in programming (01.01.2024)

by Costa, Diana, Figueiredo, Daniel, Martins, Manuel A.
Published in Journal of logical and algebraic methods in programming (01.06.2023)

by Cardelli, Luca, Squillace, Giuseppe, Tribastone, Mirco, Tschaikowski, Max, Vandin, Andrea
Published in Journal of logical and algebraic methods in programming (01.08.2023)

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

by Xu, Xiong, Zhan, Bohua, Wang, Shuling, Talpin, Jean-Pierre, Zhan, Naijun
Published in Journal of logical and algebraic methods in programming (01.01.2023)

by Wilson, Paul, Zanasi, Fabio
Published in Journal of logical and algebraic methods in programming (01.10.2023)

by Barbanera, Franco, Lanese, Ivan, Tuosto, Emilio
Published in Journal of logical and algebraic methods in programming (01.10.2023)

by Broda, Sabine, Machiavelo, António, Moreira, Nelma, Reis, Rogério
Published in Journal of logical and algebraic methods in programming (01.04.2023)