Deriving Formulas for Integer Sequences Using Inductive Programming. - Les De Ridder; Thijs Vercammen (BNCAI, 2018)

Borrowed Capabilities: Flexibly Enforcing Revocation on a Capability Architecture. - Thijs Vercammen; Thomas Van Strydonck; Dominique Devriese (EuroS&P Workshops, 2021)