Tanja Schindler

Orcid: 0000-0002-7462-8445

Affiliations:
  • University of Liège, Belgium
  • University of Freiburg, Germany (former)


According to our database1, Tanja Schindler authored at least 13 papers between 2018 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT.
Proceedings of the Automated Deduction - CADE 29, 2023

2022
SMT-Solving, Interpolation und Quantoren.
Ausgezeichnete Informatikdissertationen, 2022

SMT solving, interpolation, and quantifiers.
PhD thesis, 2022

A Simple Proof Format for SMT.
Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), 2022

2021
Incremental Search for Conflict and Unit Instances of Quantified Formulas with E-Matching.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality.
Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), 2021

2019
Interpolation and the Array Property Fragment.
CoRR, 2019

Solving and Interpolating Constant Arrays Based on Weak Equivalences.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2018
Selfless Interpolation for Infinite-State Model Checking.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Efficient Interpolation for the Theory of Arrays.
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018


  Loading...