by Bessai, Jan, Dudenhefner, Andrej, Düdder, Boris, Martens, Moritz, Rehof, Jakob
Published in Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

by Heineman, George T., Bessai, Jan, Düdder, Boris, Rehof, Jakob
Published in Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

by Düdder, Boris, Heineman, George T., Rehof, Jakob
Published in Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

by Rehof, Jakob, Urzyczyn, Paweł
Published in Typed Lambda Calculi and Applications

by Chaumet, Constantin, Rehof, Jakob, Schuster, Thomas
Year of Publication 30.11.2023

by Bessai, Jan, Dudenhefner, Andrej, Düdder, Boris, Martens, Moritz, Rehof, Jakob
Published in Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

by Rehof, Jakob, Urzyczyn, Paweł
Published in Logic and Program Semantics

by Chaumet, Constantin, Rehof, Jakob
Published in arXiv.org (30.11.2023)

by Düdder, Boris, Martens, Moritz, Rehof, Jakob
Published in Typed Lambda Calculi and Applications

by Winkels, Jan, Graefenstein, Julian, Schäfer, Tristan, Scholz, David, Rehof, Jakob, Henke, Michael
Published in Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

by Düdder, Boris, Martens, Moritz, Rehof, Jakob
Published in Programming Languages and Systems

by Rehof, Jakob
Published in arXiv.org (15.03.2015)

by Buczak, Philip, Groll, Andreas, Pauly, Markus, Rehof, Jakob, Horn, Daniel
Published in arXiv.org (28.11.2022)

by Dudenhefner, Andrej, Rehof, Jakob
Year of Publication 17.05.2017

by Chaumet, Constantin, Rehof, Jakob, Schuster, Thomas
Published in arXiv.org (30.11.2023)

by Bessai, Jan, Düdder, Boris, Heineman, George T., Rehof, Jakob
Published in Formal Aspects of Component Software (2016)

by MIETH, Carina, KALLAT, Fadil, REHOF, Jakob
Year of Publication 03.05.2023

by Dudenhefner, Andrej, Martens, Moritz, Rehof, Jakob
Published in arXiv.org (14.08.2017)

by Dudenhefner, Andrej, Rehof, Jakob
Published in arXiv.org (21.08.2017)

by Geisler, Sandra, Vidal, Maria-Esther, Cappiello, Cinzia, Lóscio, Bernadette Farias, Gal, Avigdor, Jarke, Matthias, Lenzerini, Maurizio, Missier, Paolo, Otto, Boris, Paja, Elda, Pernici, Barbara, Rehof, Jakob
Year of Publication 19.05.2021