by Krivulin, Nikolai
Published in Relational and Algebraic Methods in Computer Science (2018)

by Joosten, Sebastiaan J. C.
Published in Relational and Algebraic Methods in Computer Science (2017)

by Nakamura, Yoshiki
Published in Relational and Algebraic Methods in Computer Science (01.01.2020)

by Möller, Bernhard, O’Hearn, Peter, Hoare, Tony
Published in Relational and Algebraic Methods in Computer Science (2021)

by Foster, Simon, Huerta y Munive, Jonathan Julián, Struth, Georg
Published in Relational and Algebraic Methods in Computer Science (2020)

by Fernandez, Alexandre, Maignan, Luidnel, Spicher, Antoine
Published in Relational and Algebraic Methods in Computer Science (2021)

by Pous, Damien, Rot, Jurriaan, Wagemaker, Jana
Published in Relational and Algebraic Methods in Computer Science (2021)

by Kappé, Tobias
Published in Relational and Algebraic Methods in Computer Science (08.03.2023)

by Santocanale, Luigi
Published in Relational and Algebraic Methods in Computer Science (2021)

by Fussner, Wesley, Zuluaga Botero, William
Published in Relational and Algebraic Methods in Computer Science (2021)

by Ye, Kangfeng, Foster, Simon, Woodcock, Jim
Published in Relational and Algebraic Methods in Computer Science (2021)

by Aguzzoli, Stefano, Bianchi, Matteo
Published in Relational and Algebraic Methods in Computer Science (2021)

by Calk, Cameron, Goubault, Eric, Malbos, Philippe
Published in Relational and Algebraic Methods in Computer Science (2021)

by Winter, Michael
Published in Relational and Algebraic Methods in Computer Science (2021)

by Marquès, Jérémie
Published in Relational and Algebraic Methods in Computer Science (2021)

by Šemrl, Jaš
Published in Relational and Algebraic Methods in Computer Science (2021)

by van Gool, Sam, Guatto, Adrien, Metcalfe, George, Santschi, Simon
Published in Relational and Algebraic Methods in Computer Science (2021)

by Naaf, Matthias
Published in Relational and Algebraic Methods in Computer Science (2021)

by Kuznetsov, Stepan L.
Published in Relational and Algebraic Methods in Computer Science (2021)

by Fahrenberg, Uli, Johansen, Christian, Struth, Georg, Bahadur Thapa, Ratan
Published in Relational and Algebraic Methods in Computer Science (2020)