Windridge, David and Kammueller, Florian (2020) Edit distance Kernelization of NP theorem proving for polynomial-time machine learning of proof heuristics. In: FICC 2019: Future of Information and Communications Conference, 14-15 Mar 2019, San Francisco, USA.
Bornat, Richard and Boender, Jaap and Kammueller, Florian and Poly, Guillaume and Nagarajan, Rajagopal (2019) Describing and simulating concurrent quantum systems. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 20), 27-30 Apr 2020, Dublin. (Accepted/In press)
Karthick, Gayathri and Mapp, Glenford E. and Kammueller, Florian and Aiash, Mahdi (2018) Formalization and analysis of a resource allocation security protocol for secure service migration. In: IEEE/ACM International Conference on Utility and Cloud Computing (UCC2018), 17-20 Dec 2018, Zurich, Switzerland.