by Buczak, Philip, Groll, Andreas, Pauly, Markus, Rehof, Jakob, Horn, Daniel
Published in Advances in statistical analysis : AStA : a journal of the German Statistical Society (01.06.2024)

by QADEER, Shaz, REHOF, Jakob
Published in Lecture notes in computer science (2005)

by Andrej Dudenhefner, Moritz Martens, Jakob Rehof
Published in Logical methods in computer science (15.08.2017)

by Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof
Published in Logical methods in computer science (27.02.2018)

by Düdder, Boris, Garbe, Oliver, Martens, Moritz, Rehof, Jakob, Urzyczyn, Paweł
Published in Electronic proceedings in theoretical computer science (30.07.2013)

by FÄHNDRICH, MANUEL, REHOF, JAKOB
Published in Mathematical structures in computer science (01.10.2008)

by Dudenhefner, Andrej, Rehof, Jakob
Published in Fundamenta informaticae (01.01.2019)

by Chaumet, Constantin, Rehof, Jakob, Schuster, Thomas
Published in Procedia CIRP (2024)

by Dudenhefner, Andrej, Rehof, Jakob
Published in Proceedings of ACM on programming languages (01.01.2019)

by Rehof, Jakob
Published in Electronic proceedings in theoretical computer science (17.03.2015)

by Dudenhefner, Andrej, Rehof, Jakob
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)

by Bessai, Jan, Rehof, Jakob, Düdder, Boris
Published in Models, Mindsets, Meta: The What, the How, and the Why Not?

by Kallat, Fadil, Pfrommer, Jakob, Bessai, Jan, Rehof, Jakob, Meyer, Anne
Published in Procedia CIRP (2021)

by Kallat, Fadil, Mieth, Carina, Rehof, Jakob, Meyer, Anne
Published in Procedia CIRP (2020)

by Mages, Alexander, Mieth, Carina, Hetzler, Jens, Kallat, Fadil, Rehof, Jakob, Riest, Christian, Schafer, Tristan
Published in 2022 Winter Simulation Conference (WSC) (11.12.2022)

by Wenzel, Sigrid, Stolipin, Jana, Rehof, Jakob, Winkels, Jan
Published in 2019 Winter Simulation Conference (WSC) (01.12.2019)

by Schäfer, Tristan, Bergmann, Jim A., Carballo, Rafael Garcia, Rehof, Jakob, Wiederkehr, Petra
Published in Procedia CIRP (2021)

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

by Schäfer, Tristan, Möller, Frederik, Burmann, Anja, Pikus, Yevgen, Weißenberg, Norbert, Hintze, Marcus, Rehof, Jakob
Published in Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

by Henglein, Fritz, Rehof, Jakob
Published in Semantics, Logics, and Calculi (2016)