Simon Schwarz

According to our database, Simon Schwarz authored at least 6 papers between 2019 and 2023.

Collaborative distances:

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

2023

You Cannot Escape Me: Detecting Evasions of SIEM Rules in Enterprise Networks.

Rafael Uetz, Marco Herzog, Louis Hackländer, Simon Schwarz, Martin Henze

CoRR, 2023

SCL(FOL) Revisited.

Martin Bromberger, Simon Schwarz, Christoph Weidenbach

CoRR, 2023

Exploring Partial Models with SCL.

Martin Bromberger, Simon Schwarz, Christoph Weidenbach

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2022

Efficient Random Walks on Riemannian Manifolds.

Michael Herrmann, Simon Schwarz, Anja Sturm, Max Wardetzky

CoRR, 2022

Findoo - Interoperable E-Learning Semantic Search and Content Authoring Assistance.

Alexander Streicher, Simon Schwarz

Proceedings of the DELFI 2022, 2022

2019

SPASS-SATT - A CDCL(LA) Solver.

Martin Bromberger, Mathias Fleury, Simon Schwarz, Christoph Weidenbach

Proceedings of the Automated Deduction - CADE 27, 2019