Rafael Mohr

16 papers B 3Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
A data structure for monomial ideals with applications to signature Gröbner bases.
CoRR
Pierre Lairez, Rafael Mohr, Théo Ternier
2026 J jnl
Wronski pairs of honeycomb curves.
J. Symb. Comput.
Laura Casabella, Michael Joswig, Rafael Mohr
2025 J jnl
A syzygial method for equidimensional decomposition.
J. Symb. Comput.
Rafael Mohr
2025 B conf
On the Computation of Newton Polytopes of Eliminants.
ISSAC
Rafael Mohr, Yulia Mukhina
2025 J jnl
On the Computation of Newton Polytopes of Eliminants.
CoRR
Rafael Mohr, Yulia Mukhina
2024 J jnl
A New Algorithm for Whitney Stratification of Varieties.
CoRR
Martin Helmer, Rafael Mohr
2024 J jnl
A Syzygial Method for Equidimensional Decomposition.
CoRR
Rafael Mohr
2024 B conf
Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting.
ISSAC
Jérémy Berthomieu, Rafael Mohr
2024 J jnl
Computing Generic Fibres of Polynomial Ideals with FGLM and Hensel Lifting.
CoRR
Jérémy Berthomieu, Rafael Mohr
2024 — —
Gröbner basis algorithms in service of algebraic set decomposition. (Algorithmes de base de Gröbner au service de la décomposition des ensembles algébriques).
Rafael Mohr
2024 — conf
Systematic Study of Compilers and Vulnerability Scanners Using the Example of Integer Bugs.
Blockchain
Monika Di Angelo, Rafael Mohr, Gernot Salzer
2023 B conf
A Direttissimo Algorithm for Equidimensional Decomposition.
ISSAC
Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din
2023 J jnl
A Direttissimo Algorithm for Equidimensional Decomposition.
CoRR
Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din
2023 J jnl
A signature-based algorithm for computing the nondegenerate locus of a polynomial system.
J. Symb. Comput.
Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din
2022 J jnl
A Signature-based Algorithm for Computing the Nondegenerate Locus of a Polynomial System.
CoRR
Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din
2022 J jnl
Towards signature-based gröbner basis algorithms for computing the nondegenerate locus of a polynomial system.
ACM Commun. Comput. Algebra
Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski