Finding linear dependencies in integration-by-parts equations: A Monte Carlo approach. - Philipp Kant (Comput. Phys. Commun., 2014)

HatHor for single top-quark production: Updated predictions and uncertainty estimates for single top-quark production in hadronic collisions. - Philipp Kant; O. M. Kind; T. Kintscher; Thomas Lohse; Till Martini; S. Mölbitz; Patrick Rieck; Peter Uwer (Comput. Phys. Commun., 2015)

A Linear Program for Matching Photogrammetric Point Clouds with CityGML Building Models. - Steffen Goebbels; Regina Pohle-Fröhlich; Philipp Kant (OR, 2017)

Flexible Formality Practical Experience with Agile Formal Methods. - Philipp Kant; Kevin Hammond; Duncan Coutts; James Chapman 001; Nicholas Clarke; Jared Corduan; Neil J. Davies; Javier Díaz; Matthias Güdemann; Wolfgang Jeltsch; Marcin Szamotulski; Polina Vinogradova (TFP, 2020)

Hydra: Fast Isomorphic State Channels. - Manuel M. T. Chakravarty; Sandro Coretti; Matthias Fitzi; Peter Gazi; Philipp Kant; Aggelos Kiayias; Alexander Russell (IACR Cryptol. ePrint Arch., 2020)

Fast Isomorphic State Channels. - Manuel M. T. Chakravarty; Sandro Coretti; Matthias Fitzi; Peter Gazi; Philipp Kant; Aggelos Kiayias; Alexander Russell (Financial Cryptography (2), 2021)