DBLP Keys for 'Holger Hermanns'

# of records = 100

homepages/h/HolgerHermanns conf/cav/CosteHLS09 conf/cav/HahnHWZ09 conf/spin/HahnHZ09 conf/sss/DhamaTCHWB09 journals/tse/BodeHHJPPRWB09 conf/acsd/ZhangHHW08 conf/asmta/PulunganH08 conf/cav/HermannsWZ08 conf/concur/CrouzenHZ08 conf/date/CosteGHHTZ08 conf/forte/BogdollHZ08 conf/hybrid/FranzleHT08 conf/mmb/HermannsJ08 conf/mmb/PulunganH08 conf/qest/WimmerDH08 journals/corr/abs-0808-3651 journals/iandc/BaierH08 journals/lmcs/ZhangHEJ08 journals/sttt/HermannsP08 journals/topnoc/EisentrautH08 conf/cav/2007 conf/atva/ZhangH07 conf/dsn/HermannsJ07 conf/opodis/GrossHP07 conf/qest/WachterZH07 conf/tacas/ZhangHEJ07 conf/tacas/BohnenkampHK07 conf/tacas/2006 conf/concur/2006 conf/atva/WimmerHHSB06 conf/qest/BodeHHJPPWB06 conf/dagstuhl/BattBEFHHKMMNSU06 journals/entcs/BravettiHK06 journals/entcs/BaierHKW06 journals/tse/BohnenkampDHK06 conf/formats/AljazzarHL05 conf/forte/ZhangHJ05 conf/wosp/HermannsJU05 journals/iandc/BaierKHW05 journals/iandc/LohreyDH05 journals/sigmetrics/BaierHHK05 journals/sigmetrics/JansenH05 journals/tcs/BaierHKH05 conf/voss/2004 conf/isola/BohnenkampHJKU04 conf/qest/JansenH04 conf/qest/BohnenkampHKMU04 conf/sfm/KatoenBKH04 conf/tacas/BaierHHK04 journals/ipl/BaierHK04 conf/concur/BaierHKW03 conf/cpe/BohnenkampHKK03 conf/dsn/BohnenkampSHV03 conf/dsn/BohnenkampCDDHKKLS03 conf/dsn/HermannsKMS03 conf/formats/AndovaHK03 conf/tacas/HermannsJ03 conf/uml/JansenHK03 journals/tse/BaierHHK03 journals/ipl/DerisaviHS03 journals/jlp/HermannsKNPS03 journals/sttt/HermannsKMS03 conf/papm/2002 books/sp/Hermanns02 conf/concur/BaierKHH02 conf/dsn/HaverkortCHK02 conf/fm/GaravelH02 conf/ftrtft/JansenHK02 conf/icalp/LohreyDH02 conf/performance/BaierHHK02 journals/jlp/HermannsK02 journals/tcs/HermannsHK02 conf/eef/2000 conf/concur/HermannsK01 conf/papm/LopezHK01 conf/papm/DArgenioHKK01 journals/eatcs/Hermanns01 conf/cav/BaierHHK00 conf/eef/BrinksmaH00 conf/icalp/BaierHHK00 conf/ifm/HermannsKMS00 conf/srds/HaverkortHK00 conf/tacas/HermannsKMS00 journals/pe/HermannsHKMS00 journals/scp/HermannsK00 conf/arts/HermannsS99 conf/cav/HermannsMS99 conf/concur/BaierKH99 conf/fbt/HermannsS99 journals/entcs/DArgenioHK99 conf/concur/HermannsL98 conf/cpe/HermannsHKMS98 conf/esm/HermannsR98 journals/cn/HermannsHM98 conf/cav/BaierH97 conf/fbt/BaierH97 conf/tacas/HermannsMR96 journals/cj/HermannsRW95 conf/forte/HillstonHHMR94

XML