Maximal Planar Subgraphs of Fixed Girth in Random Graphs. - Manuel Fernández 005; Nicholas Sieger; Michael Tait (Electron. J. Comb., 2018)

dLι: Definite Descriptions in Differential Dynamic Logic. - Rose Bohrer; Manuel Fernández 005; André Platzer (CADE, 2019)