| Publication | Date of Publication | Type |
|---|
| Bounding the number of roots of multi-homogeneous systems | 2025-01-17 | Paper |
| Quaternary Legendre pairs | 2024-10-02 | Paper |
| New weighing matrices via partitioned group actions | 2024-03-27 | Paper |
| Parallel algorithm portfolios with adaptive resource allocation strategy | 2024-03-22 | Paper |
| Legendre pairs of lengths \(\ell \equiv 0 \pmod 5\) | 2024-02-14 | Paper |
| Balanced covering arrays: A classification of covering arrays and packing arrays via exact methods | 2024-02-05 | Paper |
| Correction to: ``Preface: selected revised papers from the LION 15 conference | 2024-01-08 | Paper |
| An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences | 2023-08-10 | Paper |
| Autocorrelation via Runs | 2023-06-30 | Paper |
| Quaternary Legendre Pairs | 2022-12-21 | Paper |
| Personal recollections of Prof. Vladimir P. Gerdt | 2022-12-14 | Paper |
| Nonexistence Certificates for Ovals in a Projective Plane of Order Ten | 2022-10-13 | Paper |
| Book review of: R. Martí (ed.) et al., Handbook of heuristics | 2022-08-25 | Paper |
| Hard satisfiable 3-SAT instances via autocorrelation | 2021-12-09 | Paper |
| A Legendre pair of length 77 using complementary binary matrices with fixed marginals | 2021-06-23 | Paper |
| Algorithm Portfolios | 2021-02-18 | Paper |
| Legendre pairs of lengths $\ell \equiv 0$ (mod $3$) | 2021-01-08 | Paper |
| A SAT-based Resolution of Lam's Problem | 2020-12-08 | Paper |
| New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences | 2020-12-04 | Paper |
| Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT | 2020-09-19 | Paper |
| Formal orthogonal pairs via monomial representations and cohomology | 2020-09-14 | Paper |
| Enumeration of Complex Golay Pairs via Programmatic SAT | 2020-09-09 | Paper |
| Matrix Representations by Means of Interpolation | 2020-09-09 | Paper |
| A nonexistence certificate for projective planes of order ten with weight 15 codewords | 2020-07-15 | Paper |
| Root-finding with implicit deflation | 2020-04-29 | Paper |
| Algebraic models for arbitrary strength covering arrays over \(v\)-ary alphabets | 2020-04-29 | Paper |
| PAF reconstruction with the orbits method | 2020-04-29 | Paper |
| Applying computer algebra systems with SAT solvers to the Williamson conjecture | 2020-03-24 | Paper |
| Computational methods for difference families in finite abelian groups | 2020-02-26 | Paper |
| The SAT+CAS method for combinatorial search with applications to best matrices | 2020-02-11 | Paper |
| Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques | 2020-02-11 | Paper |
| Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem | 2020-01-31 | Paper |
| SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics | 2019-07-09 | Paper |
| Yukawa potential orbital energy: its relation to orbital mean motion as well to the graviton mediating the interaction in celestial bodies | 2019-06-26 | Paper |
| A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples | 2018-11-12 | Paper |
| Goethals-Seidel difference families with symmetric or skew base blocks | 2018-11-01 | Paper |
| Evaluation of tie-breaking and parameter ordering for the IPO family of algorithms used in covering array generation | 2018-09-06 | Paper |
| A feasibility approach for constructing combinatorial designs of circulant type | 2018-05-24 | Paper |
| Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification | 2017-07-12 | Paper |
| Combining SAT solvers with computer algebra systems to verify combinatorial conjectures | 2017-06-29 | Paper |
| D-optimal matrices via quadratic integer optimization | 2017-06-27 | Paper |
| Towards factoring bivariate approximate polynomials | 2017-02-03 | Paper |
| MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures | 2016-11-09 | Paper |
| A class of cyclic \((v; k_{1}, k_{2}, k_{3}; \lambda)\) difference families with \(v \equiv 3\, (\text{mod}\, 4)\) a prime | 2016-10-11 | Paper |
| Circulant weighing matrices: a demanding challenge for parallel optimization metaheuristics | 2016-09-21 | Paper |
| D-Optimal Matrices of Orders 118, 138, 150, 154 and 174 | 2016-01-25 | Paper |
| Periodic Golay Pairs of Length 72 | 2016-01-25 | Paper |
| Inner Product Vectors for Skew-Hadamard Matrices | 2016-01-25 | Paper |
| Symmetric Hadamard matrices of order 116 and 172 exist | 2015-11-11 | Paper |
| Some new periodic Golay pairs | 2015-07-28 | Paper |
| Charm bracelets and their application to the construction of periodic Golay pairs | 2015-05-22 | Paper |
| Compression of periodic complementary sequences and applications | 2015-02-19 | Paper |
| Some New Orders of Hadamard and Skew‐Hadamard Matrices | 2014-06-23 | Paper |
| There is no circulant weighing matrix of order 60 and weight 36 | 2014-06-05 | Paper |
| Structured Hadamard Conjecture | 2013-07-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4917446 | 2013-04-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4914762 | 2013-04-15 | Paper |
| Competent genetic algorithms for weighing matrices | 2013-01-03 | Paper |
| New weighing matrices constructed from two circulant submatrices | 2012-11-30 | Paper |
| New results on D-optimal matrices | 2012-08-30 | Paper |
| A modified power spectral density test applied to weighing matrices with small weight | 2012-04-04 | Paper |
| Weighing matrices and string sorting | 2012-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3103707 | 2011-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3001186 | 2011-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3003879 | 2011-05-31 | Paper |
| Periodic complementary binary sequences and combinatorial optimization algorithms | 2010-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3567480 | 2010-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3567802 | 2010-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3565856 | 2010-06-07 | Paper |
| MDS and near-MDS self-dual codes over large prime fields | 2010-03-08 | Paper |
| An efficient string sorting algorithm for weighing matrices of small weight | 2010-01-29 | Paper |
| Using symmetries in the eigenvalue method for polynomial systems | 2009-10-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3626171 | 2009-05-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3620849 | 2009-04-14 | Paper |
| Hadamard matrices of Williamson type: A challenge for computer algebra | 2009-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3606275 | 2009-02-26 | Paper |
| Heuristic algorithms for Hadamard matrices with two circulant cores | 2008-11-18 | Paper |
| New skew-Hadamard matrices via computational algebra | 2008-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5449148 | 2008-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5442504 | 2008-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5442523 | 2008-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5441051 | 2008-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5437998 | 2008-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5295613 | 2007-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3433924 | 2007-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3423968 | 2007-02-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3421951 | 2007-02-08 | Paper |
| Orthogonal designs via computational algebra | 2006-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5480721 | 2006-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5476370 | 2006-07-14 | Paper |
| Hadamard ideals and Hadamard matrices with two circulant cores | 2006-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5718714 | 2006-01-16 | Paper |
| Genetic algorithms for the construction of Hadamard matrices with two circulant cores | 2006-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3025263 | 2005-07-13 | Paper |
| Inequivalent Hadamard matrices with buckets | 2005-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4660684 | 2005-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3156398 | 2005-01-07 | Paper |
| Homotopies and polynomial system solving I | 2004-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471950 | 2004-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4469685 | 2004-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4445020 | 2004-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329396 | 2002-09-05 | Paper |
| Central configurations of the 5-body problem with equal masses in three-space | 2002-04-14 | Paper |
