homepages/63/6462 conf/setn/LaganiTT12 conf/esann/BorboudakisTLT11 journals/jmlr/TriantafillouTT10 journals/jgaa/TsiarasTT09 conf/ruleml/AvguleasGTBAKB08 conf/gd/TsiarasTT07