1. A simplex algorithm for rational cp-factorization;Mathematical Programming;2020-01-28
2. Computing with Arithmetic Groups;Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation;2017-07-23
3. Resolutions for unit groups of orders;Journal of Homotopy and Related Structures;2016-12-29
4. The automorphism group of a finitely generated virtually abelian group;Groups Complexity Cryptology;2016-01-01
5. Computing in arithmetic groups with Voronoï's algorithm;Journal of Algebra;2015-08