Cognitive Code Quality Improvement with Pattern Recognition and Recommendation by Examples. - Márk Danisovszky; Attila Adamkó; Imre Baják; Krisztian Kusper; Szabolcs Marien; Gábor Kusper (CogInfoCom, 2020)

Generating Minimal Unsatisfiable SAT Instances from Strong Digraphs. - Gábor Kusper; Tamás Balla; Csaba Biró; Tibor Tajti; Zijian Gyozo Yang; Imre Baják (SYNASC, 2020)