• Sign in
  • Sign up
conf.researchr.org / Tanja Schindler
  • 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
xThu 30 Mar 16:43
using conf.researchr.org (v1.60.0)
Support page
Sign Up