Philipp Kant

According to our database, Philipp Kant authored at least 6 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Fast Isomorphic State Channels.

Manuel M. T. Chakravarty, Sandro Coretti, Matthias Fitzi, Peter Gazi, Philipp Kant, Aggelos Kiayias, Alexander Russell

Proceedings of the Financial Cryptography and Data Security, 2021

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

Flexible Formality Practical Experience with Agile Formal Methods.

Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman, Nicholas Clarke, Jared Corduan, Neil J. Davies, Javier Díaz, Matthias Güdemann, Wolfgang Jeltsch, Marcin Szamotulski, Polina Vinogradova

Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020

2017

A Linear Program for Matching Photogrammetric Point Clouds with CityGML Building Models.

Steffen Goebbels, Regina Pohle-Fröhlich, Philipp Kant

Proceedings of the Operations Research Proceedings 2017, 2017

2015

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

2014

Finding linear dependencies in integration-by-parts equations: A Monte Carlo approach.

Philipp Kant

Comput. Phys. Commun., 2014