Alexander Lochmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2019–2021
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CPP | A verified decision procedure for the first-order theory of rewriting for linear variable-separated rewrite systems. | Alexander Lochmann, Aart Middeldorp, Fabian Mitterwallner, Bertram Felgenhauer |
| 2021 | TACAS | Certifying Proofs in the First-Order Theory of Rewriting. | Fabian Mitterwallner, Alexander Lochmann, Aart Middeldorp, Bertram Felgenhauer |
| 2020 | TACAS | Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting. | Alexander Lochmann, Aart Middeldorp |
| 2019 | CPP | Certified ACKBO. | Alexander Lochmann, Christian Sternagel |
| 2019 | EuroSys | LockDoc: Trace-Based Analysis of Locking in the Linux Kernel. | Alexander Lochmann, Horst Schirmeier, Hendrik Borghorst, Olaf Spinczyk |