Alice and Bob Meet Equational Theories. - David A. Basin; Michel Keller; Sasa Radomirovic; Ralf Sasse (Logic, Rewriting, and Concurrency, 2015)

Learning Deep Descriptors With Scale-Aware Triplet Networks. - Michel Keller; Zetao Chen; Fabiola Maffra; Patrik Schmuck; Margarita Chli (CVPR, 2018)