Dirk Vermeir

  joint publications with Stijn Heymans

Keys

# of publication records = 25

journals/tocl/HeymansNV08 conf/iclp/JanssenHVC08 journals/japll/HeymansNV07 journals/amai/HeymansNV06 journals/corr/abs-cs-0603025 conf/clima/NieuwenborghVHV06 conf/ecai/NieuwenborghHV06 conf/foiks/HeymansNV06 conf/iclp/NieuwenborghHV06 conf/asp/HeymansNV05 conf/asp/NieuwenborghHV05 conf/esws/HeymansNV05 conf/ictcs/HeymansNV05 conf/lpnmr/HeymansNV05 conf/padl/NieuwenborghHV05 conf/semweb/HeymansNV05 conf/iclp/NieuwenborghHV04 conf/jelia/HeymansNV04 conf/lpar/NieuwenborghHV04 conf/ruleml/HeymansNV04 conf/asp/HeymansV03 conf/dexaw/HeymansV03 conf/ppswr/HeymansV03 conf/coopis/HeymansV02 conf/dexaw/HeymansV02

Publications

maintained by Schloss Dagstuhl LZI at University of Trier