dblp keys for Martina Seidl

Martina Seidl

Keys

# of data records = 135

homepages/75/2935 conf/vamos/HeisingerPS24 conf/cp/PlankMS23 conf/mkm/Seidl23 conf/mkm/HeisingerS23 conf/sat/PlankS23 conf/sat/ShaikHSP23 conf/tacas/HeisingerSB23 journals/corr/abs-2304-08308 conf/mkm/ShuklaMKS22 conf/paar/HeisingerSB22 conf/synasc/Seidl22 conf/synasc/HadzicBSS22 journals/fmsd/BloemBHELS21 journals/jsc/HeuleKS21 journals/tocl/OetschSTW21 conf/sat/BeyersdorffPSS21 series/faia/BeyersdorffJLS21 conf/csedu/CernaSSWB20 conf/iticse/CernaSSWB20 conf/sat/2020 journals/ai/PulinaS19 journals/cca/HeuleKS19 journals/jsat/PulinaS19 journals/sosym/GabmeyerKSGK19 conf/ftscs/YuSB19 conf/ictai/ShuklaBPS19 conf/sat/HeuleKS19 conf/sat/KieslS19 journals/corr/abs-1902-03431 journals/corr/abs-1903-11391 journals/corr/abs-1905-10192 journals/ipl/KauersS18 journals/lmcs/KieslSTB18 conf/fmcad/BloemBHELS18 conf/sat/KauersS18 books/sp/18/LonsingS18 conf/staf/2017w journals/corr/abs-1802-03993 journals/corr/abs-1804-01437 journals/corr/abs-1807-08964 journals/jar/HeuleSB17 journals/sttt/JacobsBBEHKPRRS17 conf/hvc/HeuleKSB17 conf/ijcai/KieslSTB17 conf/lpar/Kiesl0STB17 conf/sat/KieslHS17 conf/tap/FazekasHSB17 journals/corr/KieslSSTB17 journals/corr/KieslSTB17 journals/ai/LonsingSG16 conf/aaai/JordanKS16 conf/cade/KieslSTB16 conf/sat/LonsingES16 conf/synasc/FazekasSB16 conf/tap/GabmeyerS16 journals/corr/JacobsBBK0KKLNP16 conf/sat/2016qbf journals/corr/LonsingES16 journals/corr/BloemEKKLS16 series/utcs/SeidlSHK15 journals/cl/KaufmannKPSW15 journals/jair/HeuleJLSB15 conf/kbse/ArthoSGCKMRY15 conf/lpar/LonsingBBES15 conf/models/Seidl15 conf/nfm/HeuleSB15 journals/corr/JacobsBBKPRRSST16 conf/models/2015modevva journals/corr/JacobsBBEHKPRRS15 journals/corr/LonsingSG15 journals/jsat/JanotaJKLSG14 conf/cade/HeuleSB14 conf/date/SeidlK14 conf/fmcad/HeuleSB14 conf/sat/JordanKLS14 conf/sle/KaufmannKPSW14 conf/sle/BillGKS14 conf/staf/GabmeyerBKS14 conf/vmcai/BloemKS14 conf/tap/2014 journals/cscw/WielandLSWK13 journals/jss/LangerWBHSWK13 journals/stt/BroschSW13 conf/date/GoultiaevaSB13 conf/hvc/ArthoBHPSTY13 conf/models/BillGKS13 conf/models/KaufmannKPSW13 conf/models/DuboisFGNOSV13 conf/models/ScholzKS13 conf/tap/ArthoBS13 journals/corr/BloemKS13 books/daglib/0029502 journals/jot/BroschSWK12 journals/sigsoft/BroschGKS12 journals/stt/BroschLSWK12 conf/cade/SeidlLB12 conf/models/BrandsteidlMSH12 conf/sat/NiemetzPLSB12 conf/sfm/BroschKLSWW12 conf/sle/WidlBBEHKST12 conf/tap/BroschEGKSTWW12 conf/tap/CreignouES12 journals/csedu/SeidlC11 journals/eceasst/SeidlC11 journals/ijpop/WielandFKSW11 conf/cade/BiereLS11 conf/lpnmr/OetschPSTZ11 conf/models/BroschEGKSTWW11 journals/eceasst/SeidlC10 conf/criwg/BroschLSWWK10 conf/icmt/BroschLSWW10 conf/modellierung/BroschKSWWKL10 conf/models/SeidlC10 conf/models/BroschKLSWWK10 conf/oopsla/BroschSK10 conf/oopsla/BroschSW10 journals/constraints/EglySW09 journals/dbsk/KarglWSK09 journals/ijwis/AltmanningerSW09 conf/ecscw/BroschSWW09 conf/icse/BroschLSW09 conf/lpnmr/OetschSTW09 conf/models/BroschLSWWKRS09 conf/oopsla/BroschSWWL09 conf/oopsla/BroschSWWL09a conf/tools/WimmerSBKK09 books/daglib/0020523 conf/btw/KappelKKSSSW07 conf/wlp/OetschSTW07 conf/gi/Seidl07 conf/ecai/EglySW06 conf/jelia/OetschSTW06 conf/wlp/OetschSTW06 conf/sat/EglySTWZ03

a service of  Schloss Dagstuhl - Leibniz Center for Informatics