Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tanja Schindler
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2018 profile
POPL 2019 profile
POPL 2021 profile
POPL 2022 profile
Not registered as user yet
Name:
Tanja Schindler
Affiliation:
University of Freiburg
Personal website:
https://swt.informatik.uni-freiburg.de/staff/schindler
Contributions
VMCAI 2022
Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI 2022-track
VMCAI 2021
Committee Member in Artifact Evaluation Committee within the VMCAI-track
Author of Incremental Search for Conflict and Unit Instances of Quantified Formulas with E-Matching within the VMCAI-track
ETAPS 2019
Author of Ultimate Automizer within the Posters-track
VMCAI 2019
Author of Solving and Interpolating Constant Arrays Based on Weak Equivalences within the VMCAI 2019-track
VMCAI 2018
Author of Selfless Interpolation for Infinite-State Model Checking within the VMCAI 2018-track
Share
x
Thu 30 Mar 16:43