by Hennicker, Rolf, Knapp, Alexander, Madeira, Alexandre
Published in Formal aspects of computing (01.12.2021)

by Hennicker, Rolf, Bidoit, Michel
Published in Logical methods in computer science (09.01.2018)

by Barbanera, Franco, de'Liguoro, Ugo, Hennicker, Rolf
Published in Electronic proceedings in theoretical computer science (04.10.2018)

by De Nicola, Rocco, Hennicker, Rolf
Year of Publication 2015

by Bauer, Sebastian S., Hennicker, Rolf, Janisch, Stephan
Published in Electronic proceedings in theoretical computer science (01.01.2011)

by Hennicker, Rolf, Knapp, Alexander
Published in Journal of logical and algebraic methods in programming (01.08.2022)

by Hennicker, Rolf, Klarl, Annabelle
Published in Specification, Algebra, and Software

by Wirsing, Martin, Hennicker, Rolf
Published in Models, Languages, and Tools for Concurrent and Distributed Programming

by Hennicker, Rolf, Wirsing, Martin
Published in From Software Engineering to Formal Methods and Tools, and Back

by Hennicker, Rolf, Madeira, Alexandre, Wirsing, Martin
Published in Theoretical computer science (12.09.2018)

by Hennicker, Rolf
Published in Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

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

by Hennicker, Rolf
Published in Recent Trends in Algebraic Development Techniques

by Hennicker, Rolf, Knapp, Alexander
Published in Acta informatica (01.04.2015)

by Hennicker, Rolf, Knapp, Alexander, Madeira, Alexandre
Published in Journal of logical and algebraic methods in programming (01.08.2021)

by Madeira, Alexandre, Barbosa, Luís S., Hennicker, Rolf, Martins, Manuel A.
Published in Theoretical computer science (05.10.2018)

by ter Beek, Maurice H., Carmona, Josep, Hennicker, Rolf, Kleijn, Jetty
Published in Coordination Models and Languages (2017)

by Klarl, Annabelle, Hennicker, Rolf
Published in 2014 23rd Australian Software Engineering Conference (01.04.2014)

by Hennicker, Rolf, Wirsing, Martin
Published in Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

by De Nicola, Rocco, Hennicker, Rolf
Published in Software, Services, and Systems