Werner Lennartz

According to our database, Werner Lennartz authored at least 3 papers between 2009 and 2021.

Collaborative distances:

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

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

2009

Modular Workflow Engine for Distributed Services using Lightweight Java Clients

Ralf-Michael Vetter, Werner Lennartz, Jörg-Volker Peetz

CoRR, 2009