On Recognising Nearly Single-Crossing Preferences. - Florian Jaeckle; Dominik Peters; Edith Elkind (AAAI, 2018)

Risk Mitigation Capability of Flexibility Performance Contracts for demand response in electricity Systems. - Florian Jäckle; Michael Schoepf; Jannick Töppel; Felix Wagon (ECIS, 2019)

Generating adversarial examples with graph neural networks. - Florian Jaeckle; M. Pawan Kumar (UAI, 2021)

Neural Network Branch-and-Bound for Neural Network Verification. - Florian Jaeckle; Jingyue Lu; M. Pawan Kumar (CoRR, 2021)

FastFill: Efficient Compatible Model Update. - Florian Jaeckle; Fartash Faghri; Ali Farhadi; Oncel Tuzel; Hadi Pouransari (ICLR, 2023)

Neural Lower Bounds for Verification. - Florian Jaeckle; M. Pawan Kumar (SaTML, 2023)