dblp keys for Christel Baier

Christel Baier

Keys

# of data records = 308

homepages/b/ChristelBaier journals/iandc/BaierCMP24 journals/jss/DubslaffWBA24 journals/lmcs/BaierPZ24 journals/theoretics/PiribauerB24 conf/aaai/BaierBK0P24 conf/concur/BaierPS24 conf/concur/SporkBKPQ24 conf/hybrid/AghamovBKOP24 conf/qestformats/BaierCK24 journals/corr/abs-2402-01539 journals/corr/abs-2406-08175 journals/corr/abs-2406-15087 journals/corr/abs-2407-06887 journals/corr/abs-2407-07584 journals/isse/JohnJBK23 journals/jcss/BaierK00023 journals/jss/ChrszonBDK23 journals/siglog/Baier23 journals/siglog/Baier23a journals/siglog/Baier23b conf/ijcai/HarderJBD23 conf/ijcai/WienhoftSSDB023 conf/mfcs/BaierCMP23 conf/nfm/BaierDWK23 conf/sefm/KornMKLBD23 conf/vecos/DubslaffSWBFKL23 journals/corr/abs-2310-01001 data/10/DubslaffWBA23 journals/corr/abs-2301-08608 journals/corr/abs-2302-13675 journals/corr/abs-2303-12718 journals/corr/abs-2305-07958 journals/corr/abs-2305-08103 journals/corr/abs-2307-06611 journals/corr/abs-2308-11385 journals/isse/ZiemekPFJB22 journals/isse/JohnJBK22 journals/jair/KaferBDDGH22 journals/tse/BagheriSKBM22 conf/birthday/BaierDFJPZ22 conf/birthday/BaierDHK22 conf/concur/Baier0JKLOPW022 conf/epew/KornCKBW22 conf/fossacs/BaierFPZ22 conf/icalp/PiribauerSB22 conf/icse/DubslaffWBA22 conf/lics/2022 data/10/DubslaffWBA22 journals/corr/abs-2201-07280 journals/corr/abs-2201-08768 journals/corr/abs-2204-12280 journals/corr/abs-2209-02973 journals/fmsd/JantschMBK21 conf/aaai/Baier0M21 conf/atva/JohnJBK21 conf/atva/BaierFJPZ21 conf/cav/BaierCFFJS21 conf/concur/PiribauerB0S21 conf/concur/Baier0JKLLOPW021 conf/icalp/BaierD0JMPZ21 conf/ijcai/Baier0M21 conf/kr/BaierDDGHK21 conf/lics/MascleBFJK21 journals/corr/abs-2109-08326 conf/csl/2021 journals/corr/abs-2102-06655 journals/corr/abs-2104-10634 journals/corr/abs-2104-13604 journals/corr/abs-2105-09129 journals/corr/abs-2105-09533 journals/corr/abs-2105-14247 journals/corr/abs-2106-15892 journals/corr/abs-2108-08070 journals/access/RaitzaMTHKBK20 journals/acta/BaierDH20 journals/eatcs/BaierBDDI20 journals/iandc/BaierHHJKK20 conf/atva/Jantsch0B20 conf/fmcad/JantschHFB20 conf/fsttcs/Baier0JKLOPPW20 conf/icalp/PiribauerB20 conf/isola/BaierH20 conf/isola/BaierDHKKK20 conf/splc/ChrszonBDK20 conf/tacas/FunkeJB20 conf/tailor/BaierCGGGH0K20 journals/corr/abs-2004-13287 data/10/BaierDHKKK20 data/10/ChrszonBDK20 journals/corr/abs-2004-06637 journals/corr/abs-2004-11441 journals/corr/abs-2007-00637 journals/corr/abs-2008-04049 journals/corr/abs-2009-13353 journals/eatcs/BaierBDDI19 journals/pieee/FettweisDCKBBEF19 journals/sttt/HerrmannKSBHK19 journals/tomacs/BaierDKKR19 conf/atva/BaierBD00S19 conf/epew/SardarDKBK19 conf/fm/Jantsch0B019 conf/fossacs/PiribauerB19 conf/lics/Baier0PS19 series/lncs/BaierHK19 conf/icalp/2019 journals/corr/abs-1902-04538 journals/corr/abs-1907-02887 journals/corr/abs-1910-10636 journals/corr/abs-1912-05364 journals/fac/ChrszonDKB18 journals/ploscb/KromerMLBF18 journals/siglog/BaierD18 journals/sttt/KleinBCDDKMM18 journals/tmscs/CastrillonLKVAA18 conf/birthday/BaierCD0K18 conf/epew/HerrmannBFKN18 conf/hybrid/GburekB18 conf/lics/Baier0DGS18 reference/mc/BaierAFK18 conf/forte/2018 conf/fossacs/2018 journals/corr/abs-1804-11301 journals/acta/BaierT17 journals/sttt/BaierT17 conf/atva/BaierDKKR17 conf/birthday/DubslaffB17 conf/birthday/BaierKW17 conf/cav/Baier0L0W17 conf/hotos/LeuschnerKSBHK17 conf/qest/BaierDKKR17 conf/sefm/MarckerB0K17 conf/tacas/Baier0KW17 journals/corr/abs-1709-02093 conf/sofsem/2017 journals/corr/Baier0KW17 journals/corr/BaierDKKR17 journals/corr/BaierDKR17 conf/atva/BaierKMNW16 conf/birthday/ChrszonDB0K16 conf/cav/BaierK0K0W16 conf/fase/ChrszonDKB16 conf/icalp/GburekBK16 conf/tacas/0001BCDDKM016 conf/tase/Baier16 series/natosec/Baier16 journals/corr/BaierK0K0W16 journals/acta/0001BK15 journals/jcss/BaierDEHKKMTV15 journals/taosd/DubslaffBK14 conf/formats/DubslaffB15 conf/mfcs/KrahmannSBD15 conf/rp/Baier15 conf/tacas/2015 journals/corr/BertrandBBMBGJ14 journals/fuin/BaierKK14 conf/aosd/DubslaffKB14 conf/apn/BaierDKL14 conf/birthday/BaierDKKW14 conf/csl/BaierDK14 conf/csl/BaierKKW14 conf/fase/BaierDKDKMW14 conf/lata/KleinMBK14 conf/nfm/BaierDDKK14 conf/tacas/BaierKKM14 journals/fmsd/BaierK13 journals/mscs/BaierHHHK13 conf/cai/Baier13 conf/fossacs/UmmelsB13 conf/nfm/BaierEKMTV13 conf/sc/HilbrichSNPBM13 journals/corr/abs-1301-1818 journals/corr/DubslaffKB13 journals/acta/BaierBGK12 journals/ipl/DubslaffBB12 journals/jacm/BaierGB12 conf/fmics/BaierDEHKKMTV12 conf/hybrid/ZulianiBC12 conf/qest/DiazBEF12 journals/corr/abs-1211-6196 journals/scp/MengAB11 conf/concur/BaierKK11 conf/fmics/KleinKSB11 conf/sfm/BaierKK11 journals/cacm/BaierHHK10 journals/fmsd/BaierCHHK10 journals/fmsd/LampkaSOB10 journals/scp/KluppelholzB10 conf/ifm/Baier10 conf/isola/BaierBKKL10 conf/dagstuhl/2010P10031 conf/dagstuhl/BaierDGL10 conf/dagstuhl/BaierDGL10a journals/scp/KluppelholzB09 conf/atva/BaierGC09 conf/concur/BaierBG09 conf/coordination/BaierBKK09 conf/fmco/GrabeJKKSBBABG09 conf/fsttcs/TracolBG09 conf/icalp/BaierBBB09 conf/sofsem/BaierBG09 journals/corr/abs-0907-4760 journals/entcs/BaierP09 journals/entcs/GrabeJABBBGJKKKLSSSTXY10 conf/qapl/2009 books/daglib/0020348 journals/iandc/BaierH08 journals/sttt/OssowskiB08 conf/birthday/BaierHHK08 conf/coordination/KluppelholzB08 conf/fmco/BaierBKK08 conf/fossacs/BaierBG08 conf/lics/BaierBBBG08 conf/qest/CiesinskiBGK08 conf/spin/CiesinskiBGP08 journals/entcs/AldiniB08 journals/entcs/ArbabSB09 conf/qapl/2008 journals/sosym/ArbabBBR07 journals/tocl/BaierBS07 journals/tse/BaierCHKS07 conf/fsttcs/BaierBBBG07 conf/qest/BaierBGK07 conf/sigsoft/ArbabB07 conf/wia/KleinB07 journals/entcs/BlechmannB08 conf/sigsoft/2007syanco journals/ipl/BaierBS06 journals/scp/BaierSAR06 journals/tcs/KleinB06 conf/coordination/BaierW06 conf/coordination/SirjaniJBA06 conf/forte/BaierBS06 conf/fsttcs/GrosserNBCKP06 conf/lpar/BaierBS06 conf/qest/CiesinskiB06 journals/entcs/KluppelholzB07 journals/entcs/WolfBM06a conf/concur/2006 journals/corr/abs-cs-0606091 journals/iandc/AbdullaBIJ05 journals/iandc/BaierKHW05 journals/jucs/Baier05 journals/sigmetrics/BaierHHK05 journals/sigmetrics/BaierCG05 journals/tcs/BaierHKH05 conf/coordination/ArbabBBRS05 conf/fmco/GroesserB05 conf/fmics/BaierCG05 conf/foga/LendersB05 conf/lics/BaierG05 conf/wia/KleinB05 journals/entcs/OssowskiB06 journals/entcs/BaierHKW06 journals/entcs/BaierDG06 journals/entcs/WolfBM06 journals/corr/abs-cs-0511023 journals/ipl/BaierHK04 conf/dsn/BaierCHKS04 conf/ifipTCS/BolligC04 conf/memocode/BaierCG04 conf/qest/BaierGC04 conf/sefm/ArbabBBR04 conf/tacas/BaierHHK04 conf/voss/2004 journals/tse/BaierHHK03 conf/concur/BaierHKW03 journals/entcs/ArbabBRS04 books/daglib/0007100 conf/concur/BaierKHH02 conf/dsn/HaverkortCHK02 conf/performance/BaierHHK02 journals/tcs/KatoenBL01 conf/cav/AsterothBA01 journals/fuin/BaierK00 journals/jcss/BaierEM00 journals/mscs/BaierK00 conf/cav/BaierHHK00 conf/concur/AbdullaBIJ00 conf/fossacs/BaierS00 conf/icalp/BaierHHK00 conf/arts/BaierE99 conf/concur/BaierKH99 conf/probmiv/1998 journals/dc/BaierK97 journals/ipl/BaierK98 conf/icalp/BaierKL98 journals/entcs/BaierHKR99 journals/entcs/BaierCH99 journals/entcs/BaierKN99 journals/acta/BaierM97 journals/fac/BaierM97 journals/fuin/BaierM97 journals/tcs/Baier97 conf/cav/BaierH97 conf/fbt/BaierH97 conf/icalp/BaierCHKR97 conf/podc/BaierK97 journals/entcs/BaierK97 journals/ipl/BaierM96 journals/tcs/Majster-CederbaumB96 conf/amast/BaierM96 conf/cav/Baier96 conf/dimacs/BaierK96 conf/strict/Majster-Cederbaum95 journals/acta/BaierM94 journals/tcs/BaierM94 conf/fct/BaierM91