by Guttmann, Walter
Published in Journal of logical and algebraic methods in programming (01.12.2018)

by Jaber, Mohamad, Falcone, Yliès, Attie, Paul, Khalil, Al-Abbass, Hallal, Rayan, El-Hokayem, Antoine
Published in Journal of logical and algebraic methods in programming (01.10.2020)

by Fervari, Raul, Velázquez-Quesada, Fernando R.
Published in Journal of logical and algebraic methods in programming (01.11.2019)

by Giachino, Elena, Lanese, Ivan, Mezzina, Claudio Antares, Tiezzi, Francesco
Published in Journal of logical and algebraic methods in programming (01.04.2017)

by Leuştean, Ioana, Moangă, Natalia, Şerbănuţă, Traian Florin
Published in Journal of logical and algebraic methods in programming (01.04.2021)

by Capra, Lorenzo
Published in Journal of logical and algebraic methods in programming (01.04.2021)

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

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

by Pinna, G. Michele, Fabre, Eric
Published in Journal of logical and algebraic methods in programming (01.04.2020)

by Bravetti, Mario, Zavattaro, Gianluigi
Published in Journal of logical and algebraic methods in programming (01.04.2020)

by Aceto, Luca, Achilleos, Antonis, Francalanza, Adrian, Ingólfsdóttir, Anna
Published in Journal of logical and algebraic methods in programming (01.04.2020)

by Kapus-Kolar, Monika
Published in Journal of logical and algebraic methods in programming (01.08.2020)

by Akshay, S., Hélouët, Loïc, Phawade, Ramchandra
Published in Journal of logical and algebraic methods in programming (01.01.2020)

by Kahl, Wolfram
Published in Journal of logical and algebraic methods in programming (01.12.2020)

by Berghammer, Rudolf, Furusawa, Hitoshi, Guttmann, Walter, Höfner, Peter
Published in Journal of logical and algebraic methods in programming (01.12.2020)

by Delaune, Stéphanie, Hirschi, Lucca
Published in Journal of logical and algebraic methods in programming (01.02.2017)

by Prokić, Ivan, Vieira, Hugo Torres
Published in Journal of logical and algebraic methods in programming (01.02.2021)

by Prokić, Ivan, Vieira, Hugo Torres
Published in Journal of logical and algebraic methods in programming (01.02.2021)

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

by Johnsen, Einar Broch, Schlatte, Rudolf, Tapia Tarifa, S. Lizeth
Published in Journal of logical and algebraic methods in programming (01.01.2015)