| 2026 | PEPM | Computation-Tree Semantics: An Algorithmic Approach to Structurally Defined Relations. | Sean Kristian Remond Harbo, Hans Httel |
| 2025 | PEPM | A Type Safe Calculus for Generating Syntax-Directed Editors. | Benjamin Bennetzen, Nikolaj Rossander Kristensen, Andreas Tor Mortensen, Peter Buus Steffensen, Sune Skaanning Engtorp, Hans Httel |
| 2021 | ECOOP | Behavioural separation with parallel usages. | Iaroslav Golovanov, Hans Httel, Mathias Jakobsen, Mikkel Kettunen |
| 2021 | PEPM | A type-safe structure editor calculus. | Christian Godiksen, Thomas Herrmann, Hans Httel, Mikkel Korup Lauridsen, Iman Owliaie |
| 2021 | SYNASC | An Editor Calculus With Undo/Redo. | Rasmus Rendal Kjr, Magnus Holm Lundbergh, Magnus Mantzius, Hans Httel |
| 2020 | APLAS | Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. | Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Httel, Mathias Jakobsen, Mikkel Kettunen, Antnio Ravara |
| 2020 | ICISSP | Secrecy and Authenticity Properties of the Lightning Network Protocol. | Hans Httel, Vilim Staroveski |
| 2020 | ICISSP | Key Agreement in the Lightning Network Protocol. | Hans Httel, Vilim Staroveski |
| 2016 | APLAS | Binary Session Types for Psi-Calculi. | Hans Httel |
| 2012 | CSEDU | Experiences with Web-based Peer Assessment of Coursework. | Hans Httel, Kurt Nrmark |
| 2011 | ATVA | Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols. | Morten Dahl, Naoki Kobayashi, Yunde Sun, Hans Httel |
| 2011 | CONCUR | Typed ψ-calculi. | Hans Httel |
| 2009 | Coordination | Parametrised Constants and Replication for Spatial Mobility. | Bjrn Haagensen, Hans Httel |
| 2005 | SOFSEM | Recursion Versus Replication in Simple Cryptographic Protocols. | Hans Httel, Jir Srba |
| 1999 | EuroPar | Aliasing Models for Object Migration. | Uwe Nestmann, Hans Httel, Josva Kleist, Massimo Merro |
| 1992 | CONCUR | Bisimulation Equivalence is Decidable for all Context-Free Processes. | Sren Christensen, Hans Httel, Colin Stirling |
| 1991 | CAV | Silence is Golden: Branching Bisimilarity is Decidable for Context-Free Processes. | Hans Httel |
| 1991 | LICS | Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes | Hans Httel, Colin Stirling |