by Yavuz, Tuba
Published in Journal of logical and algebraic methods in programming (01.01.2020)

by Guerra, Esther, Orejas, Fernando
Published in Journal of logical and algebraic methods in programming (01.10.2020)

by Krivulin, Nikolai
Published in Journal of logical and algebraic methods in programming (01.10.2018)

by Hildebrandt, Thomas Troels, Johansen, Christian, Normann, Håkon
Published in Journal of logical and algebraic methods in programming (01.04.2019)

by Varshosaz, Mahsa, Luthmann, Lars, Mohr, Paul, Lochau, Malte, Mousavi, Mohammad Reza
Published in Journal of logical and algebraic methods in programming (01.08.2019)

by König, Barbara, Nederkorn, Maxime, Nolte, Dennis
Published in Journal of logical and algebraic methods in programming (01.12.2019)

by Julián-Iranzo, Pascual, Moreno, Ginés, Penabad, Jaime
Published in Journal of logical and algebraic methods in programming (01.12.2017)

by Bacci, Giovanni, Bacci, Giorgio, Larsen, Kim G., Mardare, Radu
Published in Journal of logical and algebraic methods in programming (01.11.2018)

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

by Caballero, Rafael, Martin-Martin, Enrique, Riesco, Adrián, Tamarit, Salvador
Published in Journal of logical and algebraic methods in programming (01.12.2018)

by Alonso-Jiménez, José A., Aranda-Corral, Gonzalo A., Borrego-Díaz, Joaquín, Fernández-Lebrón, M. Magdalena, José Hidalgo-Doblado, M.
Published in Journal of logical and algebraic methods in programming (01.12.2018)

by Murawski, Andrzej S., Tzevelekos, Nikos
Published in Journal of logical and algebraic methods in programming (01.04.2019)

by Corradini, Andrea, König, Barbara, Nolte, Dennis
Published in Journal of logical and algebraic methods in programming (01.04.2019)

by Jensen, L.S., Kaufmann, I., Larsen, K.G., Nielsen, S.M., Srba, J.
Published in Journal of logical and algebraic methods in programming (01.06.2019)

by Laneve, Cosimo, Lienhardt, Michael, Pun, Ka I, Román-Díez, Guillermo
Published in Journal of logical and algebraic methods in programming (01.06.2019)

by Smets, Sonja, Velázquez-Quesada, Fernando R.
Published in Journal of logical and algebraic methods in programming (01.08.2019)

by Marquer, Yoann, Gava, Frédéric
Published in Journal of logical and algebraic methods in programming (01.12.2019)

by Abd Alrahman, Yehia, Torres Vieira, Hugo
Published in Journal of logical and algebraic methods in programming (01.12.2019)

by Fischer, Nick, van Glabbeek, Rob
Published in Journal of logical and algebraic methods in programming (01.01.2019)

by Brengos, Tomasz, Miculan, Marino, Peressotti, Marco
Published in Journal of logical and algebraic methods in programming (01.11.2015)