Generating S-Box Multivariate Quadratic Equation Systems And Estimating Algebraic Attack Resistance Aided By SageMath. - Anastasia-Maria Leventi-Peetz; J.-V. Peetz (IACR Cryptol. ePrint Arch., 2015)

Generating and exploring S-box multivariate quadratic equation systems with SageMath. - Anastasia-Maria Leventi-Peetz; J.-V. Peetz (DSC, 2017)

CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances. - Anastasia-Maria Leventi-Peetz; Oliver Zendel 002; Werner Lennartz; Kai Weber 003 (POS@SAT, 2018)

Scope and Sense of Explainability for AI-Systems. - Anastasia-Maria Leventi-Peetz; T. Östreich; Werner Lennartz; Kai Weber 003 (IntelliSys (1), 2021)

ML Supported Predictions for SAT Solvers Performance. - Anastasia-Maria Leventi-Peetz; Jörg-Volker Peetz; Martina Rohde (CoRR, 2021)

Rashomon Effect and Consistency in Explainable Artificial Intelligence (XAI). - Anastasia-Maria Leventi-Peetz; Kai Weber 003 (FTC (1), 2022)

Deep Learning Reproducibility and Explainable AI (XAI). - Anastasia-Maria Leventi-Peetz; T. Östreich (CoRR, 2022)

Biotechnology Machine Learning Techniques for Natural Language Processing. - Anastasia-Maria Leventi-Peetz; Frederic Raber; Annika Rüll; Kai Weber 003 (TransAI, 2023)