dblp keys for Valentin Wüstholz

Valentin Wüstholz

Keys

# of data records = 46

homepages/28/9798 conf/aaai/EniserWC24 conf/ijcai/ChristakisE0SW23 conf/issta/MansurWC23 conf/issta/OunjaiWC23 journals/corr/abs-2309-12813 conf/aips/SteinmetzFEFGHH22 conf/issta/EniserGW0C22 conf/vmcai/WesleyCNTWG22 journals/corr/abs-2206-06054 conf/cav/ChristakisEHHKL21 conf/cav/MansurMCNW20 conf/sas/WesleyCNTWG21 conf/sigsoft/BohmeLW21 conf/sigsoft/MansurCW21 journals/corr/abs-2107-08583 journals/pacmpl/UrbanCWZ20 conf/icse/WustholzC20 conf/sigsoft/MansurCWZ20 conf/sigsoft/WustholzC20 journals/corr/abs-2002-02776 journals/corr/abs-2004-05934 journals/corr/abs-2009-13860 conf/issta/KlingerCW19 conf/tacas/ChristakisHMSW19 journals/corr/abs-1905-06944 journals/corr/abs-1905-07147 journals/corr/abs-1912-02499 conf/kbse/BugariuWC018 journals/corr/abs-1807-07822 journals/corr/abs-1807-07875 journals/corr/abs-1812-05033 conf/sigsoft/FerlesWCD17 conf/tacas/WustholzOHD17 journals/corr/WustholzOHD17 journals/corr/FerlesWCD17 conf/icse/Christakis0W16 conf/sas/ChristakisW16 conf/tacas/ChristakisL0W16 phd/basesearch/Wustholz15 conf/cav/LeinoW15 conf/vmcai/Christakis0W15 conf/sefm/ChristakisMW14 journals/corr/LeinoW14 conf/fm/ChristakisMW12 conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11

a service of  Schloss Dagstuhl - Leibniz Center for Informatics