Anastasia-Maria Leventi-Peetz

According to our database, Anastasia-Maria Leventi-Peetz authored at least 7 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2022

Deep Learning Reproducibility and Explainable AI (XAI).

Anastasia-Maria Leventi-Peetz, T. Östreich

CoRR, 2022

Rashomon Effect and Consistency in Explainable Artificial Intelligence (XAI).

Anastasia-Maria Leventi-Peetz, Kai Weber

Proceedings of the Future Technologies Conference, 2022

2021

ML Supported Predictions for SAT Solvers Performance.

Anastasia-Maria Leventi-Peetz, Jörg-Volker Peetz, Martina Rohde

CoRR, 2021

Scope and Sense of Explainability for AI-Systems.

Anastasia-Maria Leventi-Peetz, T. Östreich, Werner Lennartz, Kai Weber

Proceedings of the Intelligent Systems and Applications, 2021

2018

CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances.

Anastasia-Maria Leventi-Peetz, Oliver Zendel, Werner Lennartz, Kai Weber

Proceedings of Pragmatics of SAT 2015, 2018

2017

Generating and exploring S-box multivariate quadratic equation systems with SageMath.

Anastasia-Maria Leventi-Peetz, J.-V. Peetz

Proceedings of the IEEE Conference on Dependable and Secure Computing, 2017

2015

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