dblp keys for Gert Smolka

Gert Smolka

Keys

# of data records = 130

homepages/s/GertSmolka conf/cpp/0002JS23 conf/itp/0002KSW21 journals/pacmpl/RoyHSS20 journals/jar/ForsterS19 journals/jar/KirstS19 conf/cpp/0002KS19 journals/jar/DoczkalS18 conf/aplas/KunzeS018 conf/cpp/KirstS18 conf/itp/0002HS18 journals/corr/abs-1804-04967 journals/corr/abs-1806-03205 conf/RelMiCS/SchaferS17 conf/cpp/KaiserTS17 conf/itp/ForsterS17 conf/itp/KirstS17 conf/rta/KaiserPS17 journals/corr/abs-1711-07023 journals/jar/DoczkalS16 conf/cpp/SchaferSS16 conf/itp/DoczkalS16 conf/itp/SmolkaS16 journals/corr/SchneiderSH16 conf/cpp/SchaferST15 conf/itp/SchneiderSH15 conf/itp/SchaferTS15 conf/itp/SmolkaSD15 journals/corr/SchneiderSH15 journals/jar/KaminskiS14 conf/itp/DoczkalS14 conf/cpp/DoczkalKS13 conf/rta/SmolkaT13 conf/cpp/DoczkalS12 journals/corr/abs-1209-1248 journals/corr/abs-1012-0746 conf/cpp/DoczkalS11 conf/dlog/Smolka11 conf/tableaux/Kaminski0S11 journals/entcs/KaminskiS11 journals/corr/abs-1004-1947 conf/cade/KaminskiS10 conf/ifipTCS/KaminskiS10 conf/lpar/KaminskiS10 journals/corr/abs-1001-4021 journals/jolli/KaminskiS09 conf/dlog/KaminskiS09 conf/tableaux/BrownS09 conf/tableaux/KaminskiSS09 conf/tphol/BrownS09 journals/entcs/GotzmannKS10 books/daglib/0023348 conf/cade/KaminskiS08 journals/entcs/KaminskiS09 journals/tcs/NiehrenSS06 conf/cp/TackSS06 conf/flairs/DebusmannS06 journals/entcs/HardtS07 conf/frocos/NiehrenSS05 journals/entcs/TackKS06 conf/coling/DebusmannDKKST04 conf/moz/Smolka04 conf/sfp/RossbergBTBS04 journals/constraints/Smolka00 journals/njc/Smolka00 conf/esop/2000 journals/toplas/HaridiRBMSS99 conf/esop/Smolka98 journals/tcs/PodelskiS97 journals/toplas/RoyHBSMS97 conf/cap/HaridiRS97 conf/slp/Smolka97 conf/cp/1997 journals/csur/Smolka96 journals/ki/MullerS96 conf/asian/Smolka96 conf/jelia/Smolka96 journals/tcs/BackofenS95 conf/cp/PodelskiS95 conf/europar/Smolka95 conf/iclp/Smolka95 conf/iclp/PodelskiS95 conf/iclp/PodelskiS95a conf/lmo/Smolka95 books/sp/cstoday95/Smolka95 journals/jlp/SmolkaT94 journals/tcs/Ait-KaciPS94 conf/ccl/Smolka94 conf/ccl/NiehrenS94 conf/ccl/HenseS94 conf/ppcp/SchulteSW94 conf/slp/SchulteS94 journals/lncs/Smolka94 journals/corr/BackofenS94 journals/jolli/BaaderBNNS93 conf/acl/BackofenS93 conf/iclp/Smolka93 conf/ijcai/HenzSW93 conf/ki/SmolkaHW93 conf/wlp/Smolka93 conf/iclp/1993w3 journals/jlp/Smolka92 conf/fgcs/Ait-KaciPS92 conf/iclp/SmolkaT92 conf/iwar/HenseS92 books/sp/92/Smolka92 journals/ai/Schmidt-SchaussS91 conf/wclp/Smolka91 journals/lncs/NebelS91 conf/cade/MullerBNNS90 phd/Smolka89 journals/jsc/NuttRS89 journals/jsc/SmolkaA89 conf/ki/HernandezNSW89 conf/ki/Smolka89 conf/lilog/NebelS89 tr/ibm/IWBS68 tr/ibm/IWBS81 tr/ibm/IWBS93 conf/adt/Smolka88 conf/alp/Smolka88 tr/ibm/LILOG33 tr/ibm/LILOG53 conf/adt/Smolka86 books/ph/deGrootL86/Smolka86 conf/lfp/Smolka84 conf/ki/Smolka82 conf/ijcai/BlasiusESSNW81 conf/ki/SiekmannS81 conf/gi/EisingerSSUW80

a service of  Schloss Dagstuhl - Leibniz Center for Informatics