dblp keys for Stephan Tobies

Stephan Tobies

Keys

# of data records = 38

homepages/26/6947 conf/date/JungerBTL020 conf/date/BucsFLAT018 conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11 journals/corr/abs-1106-0239 conf/cav/CohenMST10 conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09 conf/icse/DahlweidMSTS09 conf/tphol/CohenDHLMSST09 journals/entcs/CohenMTS09 conf/ami/EertinkPBTTH07 journals/corr/abs-cs-0412100 journals/corr/abs-cs-0412101 conf/forte/DeussenT02 phd/dnb/Tobies01 journals/logcom/Tobies01 conf/cade/BaaderT01 journals/corr/cs-LO-0106031 journals/igpl/HorrocksST00 journals/jair/Tobies00 conf/aiml/HirschT00 conf/cade/HorrocksST00 conf/dlog/HorrocksT00a conf/kr/HorrocksT00 conf/krdb/HorrocksSTT00 conf/lpar/HorrocksSTT00 journals/corr/cs-LO-0005009 journals/corr/cs-LO-0005012 journals/corr/cs-LO-0005013 journals/corr/cs-LO-0005014 journals/corr/cs-LO-0005017 conf/cade/Tobies99 conf/csl/Tobies99 conf/dlog/LutzST99 conf/dlog/Tobies99 conf/iccs/BaaderMT99 conf/lpar/HorrocksST99 conf/tssdv/LangeL0T98

a service of  Schloss Dagstuhl - Leibniz Center for Informatics