Anastasia-Maria Leventi-Peetz

12 papers Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Modeling Biological Multifunctionality with Echo State Networks.
CoRR
Anastasia-Maria Leventi-Peetz, Jörg-Volker Peetz, Kai Weber, Nikolaos Zacharis
2023 — conf
Biotechnology Machine Learning Techniques for Natural Language Processing.
TransAI
Anastasia-Maria Leventi-Peetz, Frederic Raber, Annika Rüll, Kai Weber
2022 J jnl
Deep Learning Reproducibility and Explainable AI (XAI).
CoRR
Anastasia-Maria Leventi-Peetz, T. Östreich
2022 — conf
Rashomon Effect and Consistency in Explainable Artificial Intelligence (XAI).
FTC (1)
Anastasia-Maria Leventi-Peetz, Kai Weber
2021 J jnl
CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances.
CoRR
Anastasia-Maria Leventi-Peetz, Oliver Zendel, Werner Lennartz, Kai Weber
2021 J jnl
ML Supported Predictions for SAT Solvers Performance.
CoRR
Anastasia-Maria Leventi-Peetz, Jörg-Volker Peetz, Martina Rohde
2021 — conf
Scope and Sense of Explainability for AI-Systems.
IntelliSys (1)
Anastasia-Maria Leventi-Peetz, T. Östreich, Werner Lennartz, Kai Weber
2021 J jnl
Scope and Sense of Explainability for AI-Systems.
CoRR
Anastasia-Maria Leventi-Peetz, T. Östreich, Werner Lennartz, Kai Weber
2018 — conf
CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances.
POS@SAT
Anastasia-Maria Leventi-Peetz, Oliver Zendel, Werner Lennartz, Kai Weber
2017 — conf
Generating and exploring S-box multivariate quadratic equation systems with SageMath.
DSC
Anastasia-Maria Leventi-Peetz, J.-V. Peetz
2015 J jnl
Generating S-Box Multivariate Quadratic Equation Systems And Estimating Algebraic Attack Resistance Aided By SageMath.
CoRR
Anastasia-Maria Leventi-Peetz, J.-V. Peetz
2015 J jnl
Generating S-Box Multivariate Quadratic Equation Systems And Estimating Algebraic Attack Resistance Aided By SageMath.
IACR Cryptol. ePrint Arch.
Anastasia-Maria Leventi-Peetz, J.-V. Peetz