by Kawamura, Akitoshi, Steinberg, Florian, Thies, Holger
Published in Logic, Language, Information, and Computation (01.01.2018)

by Konečný, Michal, Park, Sewon, Thies, Holger
Published in NASA Formal Methods (2022)

by Konečný, Michal, Park, Sewon, Thies, Holger
Published in Logic, Language, Information, and Computation (01.01.2021)

by Steinberg, Florian, Théry, Laurent, Thies, Holger
Published in Logical methods in computer science (12.05.2021)

by Selivanova, Svetlana, Steinberg, Florian, Thies, Holger, Ziegler, Martin
Published in Computer Algebra in Scientific Computing (2021)

by Kawamura, Akitoshi, Steinberg, Florian, Thies, Holger
Published in Theory and Applications of Models of Computation (2019)

by Konečný, Michal, Park, Sewon, Thies, Holger
Year of Publication 17.10.2024

by Konečný, Michal, Park, Sewon, Thies, Holger
Published in arXiv.org (02.02.2022)

by Steinberg, Florian, Thery, Laurent, Thies, Holger
Published in arXiv.org (11.05.2021)

by Konečný, Michal, Park, Sewon, Thies, Holger
Published in arXiv.org (17.10.2024)

by Konečný, Michal, Steinberg, Florian, Thies, Holger
Year of Publication 04.05.2020

by Konečný, Michal, Steinberg, Florian, Thies, Holger
Published in arXiv.org (04.05.2020)

by PANKIEWICZ, David, LEMM, Michael, FREI, Sergej, HEINRICHS-BARTSCHER, Sascha, HOPPE, Christian, THIES, Holger, BENZ, Peter, KÖHLER, Jürgen, GOHL, Sven
Year of Publication 27.06.2024

by Gohl, Sven, Pankiewicz, David, Köhler, Jürgen, Heinrichs-Bartscher, Sascha, Thies, Holger, Benz, Peter, Frei, Sergej, Hoppe, Christian, Lemm, Michael
Year of Publication 20.06.2024

by HOLGER THIES, LUTZ DANNE
Year of Publication 17.09.2002

by Rumyantsev, Vladislav, Struwe, Otmar, Wolff, Andreas, Thies, Holger, Bork, Andre
Year of Publication 23.03.2017

by STRUWE, Otmar, WOLFF, Andreas, RUMYANTSEV, Vladislav, THIES, Holger, BORK, Andre
Year of Publication 23.03.2017

by LUTZ DANNE, THIES HOLGER
Year of Publication 13.02.2001

by LUTZ; DANNE, THIES; HOLGER
Year of Publication 25.01.2000

by THIES, HOLGER, DANNE, LUTZ
Year of Publication 09.08.2007