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
Name:
Tanja Schindler
Affiliation:
University of Freiburg
Personal website:
https://swt.informatik.uni-freiburg.de/staff/schindler
Contributions
2022
VMCAI
Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI 2022-track
2021
VMCAI
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
2019
ETAPS
Author of Ultimate Automizer within the Posters-track
VMCAI
Author of Solving and Interpolating Constant Arrays Based on Weak Equivalences within the VMCAI 2019-track
2018
VMCAI
Author of Selfless Interpolation for Infinite-State Model Checking within the VMCAI 2018-track
Share
x
Sat 21 Dec 16:39