KOASAS

Ziegler, Martin A.; Schröder, Matthias; Steinberg, Florian, 6th International Conference on Mathematical Aspects of Computer and Information Sciences, pp.505 - 519, Springer International Publishing, 2015-11-12

Thies, Holger; Kawamura, Akitoshi; Ziegler, Martin A., 43rd International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl – Leibniz Center for Informatics, 2018-08-31

Sun, Shu-Ming; Zhong, Ning; Ziegler, Martin A., International Workshop on Complexity and Approximation, 2019, pp.80 - 112, Springer International Publishing, 2019-04

Koswara, Ivan; Selivanova, Svetlana; Ziegler, Martin A., 14th International Computer Science Symposium in Russia, pp.215 - 227, Springer International Publishing, 2019-07-05

Pauly, Arno; Ziegler, Martin A.; Seo, Dongseong, 28th International Conference on Computer Science Logic, European Association for Computer Science Logic, 2020-01-15

Cho, Junhee; Park, Sewon; Ziegler, Martin A., 12th International Conference and Workshop on Algorithms and Computation (WALCOM), pp.132 - 143, Springer International Publishing, 2018-03-04

Selivanova, Svetlana; Steinberg, Florian; Thies, Holger; Ziegler, Martin A., 23rd International Workshop on Computer Algebra in Scientific Computing, CASC 2021, pp.370 - 390, Springer Science and Business Media Deutschland GmbH, 2021-09

Ziegler, Martin A.; Sun, Shu Ming; Zhong, Ning, 11th Conference on Computability in Europe(CiE), pp.334 - 342, Springer International Publishing, 2015-07-02

Park, Sewon; Ziegler, Martin A., 14th International Conference on Computability and Complexity in Analysis, CCA 2017, pp.40 - 41, KAIST School of Computing, 2017-07

Ziegler, Martin A.; Kawamura, Akitoshi; Steinberg, Florian, 12th Conference on Computability in Europe, pp.142 - 152, Springer International Publishing, 2016-06-28