Tanja Schindler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
5
Active years
2018–2025
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FMCAD | The FMCAD 2025 Student Forum. | Tanja Schindler, Lee Barnett |
| 2025 | ICAPS | Pseudo-Boolean Proof Logging for Optimal Classical Planning. | Simon Dold, Malte Helmert, Jakob Nordstrm, Gabriele Rger, Tanja Schindler |
| 2023 | CADE | Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT. | Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler |
| 2023 | TACAS | Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution). | Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schssele, Andreas Podelski |
| 2021 | VMCAI | Incremental Search for Conflict and Unit Instances of Quantified Formulas with E-Matching. | Jochen Hoenicke, Tanja Schindler |
| 2019 | VMCAI | Solving and Interpolating Constant Arrays Based on Weak Equivalences. | Jochen Hoenicke, Tanja Schindler |
| 2018 | CADE | Efficient Interpolation for the Theory of Arrays. | Jochen Hoenicke, Tanja Schindler |
| 2018 | TACAS | Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). | Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler |
| 2018 | TACAS | Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). | Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski |
| 2018 | VMCAI | Selfless Interpolation for Infinite-State Model Checking. | Tanja Schindler, Dejan Jovanovic |