| 2022 | ISSAC | Existence of Quantum Symmetries for Graphs on Up to Seven Vertices: A Computer based Approach. | Viktor Levandovskyy, Christian Eder, Andreas Steenpass, Simon Schmidt, Julien Schanz, Moritz Weber |
| 2020 | ISSAC | Computation of free non-commutative grbner bases over Z with Singular: Letterplace. | Viktor Levandovskyy, Tobias Metzlaff, Karim Abou Zeid |
| 2020 | ISSAC | Letterplace: a subsystem of singular for computations with free algebras via letterplace embedding. | Viktor Levandovskyy, Hans Schnemann, Karim Abou Zeid |
| 2018 | ISSAC | Constructive Arithmetics in Ore Localizations with Enough Commutativity. | Johannes Hoffmann, Viktor Levandovskyy |
| 2017 | ISSAC | A Constructive Approach to Arithmetics in Ore Localizations. | Johannes Hoffmann, Viktor Levandovskyy |
| 2016 | ISSAC | A Factorization Algorithm for G-Algebras and Applications. | Albert Heinle, Viktor Levandovskyy |
| 2014 | ISSAC | Factoring linear differential operators in | Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy |
| 2013 | ISSAC | Enhanced computations of grbner bases in free algebras as a new application of the letterplace paradigm. | Viktor Levandovskyy, Grischa Studzinski, Benjamin Schnitzler |
| 2012 | ISSAC | Elements of computer-algebraic analysis. | Viktor Levandovskyy |
| 2011 | CASC | On Two-Generated Non-commutative Algebras Subject to the Affine Relation. | Viktor Levandovskyy, Christoph Koutschan, Oleksandr Motsak |
| 2009 | ISSAC | Principal intersection and bernstein-sato polynomial of an affine variety. | Daniel Andres, Viktor Levandovskyy, Jorge Martn-Morales |
| 2008 | ISSAC | Computational D-module theory with singular, comparison with other systems and two new algorithms. | Viktor Levandovskyy, Jorge Martn-Morales |
| 2006 | ISSAC | Intersection of ideals with non-commutative subalgebras. | Viktor Levandovskyy |
| 2003 | ISSAC | Plural: a computer algebra system for noncommutative polynomial algebras. | Viktor Levandovskyy, Hans Schnemann |