The Use of Static Constructs in A Modal Process Logic. - Hans Hüttel; Kim Guldstrand Larsen (Logic at Botik, 1989)

SnS Can be Modally Characterized. - Hans Hüttel (Theor. Comput. Sci., 1990)

Silence is Golden: Branching Bisimilarity is Decidable for Context-Free Processes. - Hans Hüttel (CAV, 1991)

Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes - Hans Hüttel; Colin Stirling (LICS, 1991)

Bisimulation Equivalence is Decidable for all Context-Free Processes. - Søren Christensen; Hans Hüttel; Colin Stirling (CONCUR, 1992)

Decidability issues for infinite-state processes- a survey. - Søren Christensen; Hans Hüttel (Bull. EATCS, 1993)

Undecidable Equivalences for Basic Parallel Processes. - Hans Hüttel (TACS, 1994)

Undecidable Equivalences for Basic Process Algebra - Jan Friso Groote; Hans Hüttel (Inf. Comput., 1994)

Relating semantic models for the object calculus. - Luca Aceto; Hans Hüttel; Anna Ingólfsdóttir; Josva Kleist (EXPRESS, 1997)

Aliasing Models for Object Migration. - Uwe Nestmann; Hans Hüttel; Josva Kleist; Massimo Merro (Euro-Par, 1999)

Modal Logics for Cryptographic Processes. - Ulrik Frendrup; Hans Hüttel; Jesper Nyholm Jensen (EXPRESS, 2002)

Deciding Framed Bisimilarity. - Hans Hüttel (INFINITY, 2002)

Aliasing Models for Mobile Objects. - Uwe Nestmann; Hans Hüttel; Josva Kleist; Massimo Merro (Inf. Comput., 2002)

Recursion Versus Replication in Simple Cryptographic Protocols. - Hans Hüttel; Jirí Srba (SOFSEM, 2005)

Types for Access Control in a Calculus of Mobile Resources. - Hans Hüttel; Morten Kühnrich (SecCO@CONCUR, 2005)

Decidability Issues for Extended Ping-Pong Protocols. - Hans Hüttel; Jirí Srba (J. Autom. Reason., 2006)

A Logical Characterisation of Static Equivalence. - Hans Hüttel; Michael D. Pedersen (MFPS, 2007)

Decidable Fragments of a Higher Order Calculus with Locations. - Mikkel Bundgaard; Jens Chr. Godskesen; Bjørn Haagensen; Hans Hüttel (EXPRESS, 2008)

Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks. - Jens Chr. Godskesen; Hans Hüttel; Morten Kühnrich (FOCLASA@ICALP, 2008)

Type Inference for Correspondence Types. - Andrew D. Gordon 001; Hans Hüttel; René Rydhof Hansen (SecCo@CONCUR, 2008)

Parametrised Constants and Replication for Spatial Mobility. - Bjørn Haagensen; Hans Hüttel (COORDINATION, 2009)

Undecidable equivalences for basic parallel processes. - Hans Hüttel; Naoki Kobayashi 001; Takashi Suto (Inf. Comput., 2009)

Transitions and Trees - An Introduction to Structural Operational Semantics. - Hans Hüttel (Cambridge University Press, 2010)

Linear Uniform Receptiveness in a Pi-Calculus with Location Failures. - Peter Finderup; Hans Hüttel; Jakob Svane Knudsen; Johannes Garm Nielsen (CATS, 2010)

Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols. - Morten Dahl; Naoki Kobayashi 001; Yunde Sun; Hans Hüttel (ATVA, 2011)

Typed ψ-calculi. - Hans Hüttel (CONCUR, 2011)

Experiences with Web-based Peer Assessment of Coursework. - Hans Hüttel; Kurt Nørmark (CSEDU (2), 2012)

Types for Resources in ψ-calculi. - Hans Hüttel (TGC, 2013)

How a Flipped Learning Environment Affects Learning in a Course on Theoretical Computer Science. - Dorina Gnaur; Hans Hüttel (ICWL, 2014)

Type Inference for Session Types in the π-calculus. - Eva Fajstrup Graversen; Jacob Buchreitz Harbo; Hans Hüttel; Mathias Ormstrup Bjerregaard; Niels Sonnich Poulsen; Sebastian A. Wahl (WS-FM, 2015)

Broadcast and aggregation in BBC. - Hans Hüttel; Nuno Pratas (PLACES, 2015)

Binary Session Types for Psi-Calculi. - Hans Hüttel (APLAS, 2016)

Foundations of Session Types and Behavioural Contracts. - Hans Hüttel; Ivan Lanese; Vasco T. Vasconcelos; Luís Caires; Marco Carbone; Pierre-Malo Deniélou; Dimitris Mostrous; Luca Padovani; António Ravara; Emilio Tuosto; Hugo Torres Vieira; Gianluigi Zavattaro (ACM Comput. Surv., 2016)

A Platform for Developing and Maintaining Competences in PBL Supervision. - Dorina Gnaur; Hans Hüttel (SETE@ICWL, 2017)

Inferring Types for Parallel Programs. - Francisco Martins; Vasco Thudichum Vasconcelos; Hans Hüttel (PLACES@ETAPS, 2017)

Using Session Types for Reasoning About Boundedness in the Pi-Calculus. - Hans Hüttel (EXPRESS/SOS, 2017)

A New Platform for Question-Based Sharing of Supervision Competencies in Problem-Based Learning. - Hans Hüttel; Dorina Gnaur; Andreas Hairing Klostergaard; Gideon Blegmand (CRIWG, 2018)

Context-Free Session Types for Applied Pi-Calculus. - Jens Aagaard; Hans Hüttel; Mathias Jakobsen; Mikkel Kettunen (EXPRESS/SOS, 2018)

Locations and session types in a language with higher-order reflection. - Michael Tran; Alexander Rønning Bendixen; Bjarke Bredow Bojesen; Hans Hüttel; Stian Lasse Lybech (AGERE!@SPLASH, 2019)

A Web-Based Platform for Building PBL Competences Among Students. - Hans Hüttel; Dorina Gnaur; Thomas Ryberg; Jette Egelund Holgaard (SETE@ICWL, 2019)

A Web-Based Platform for Competence Development in PBL Supervision. - Hans Hüttel; Dorina Gnaur (Int. J. e Collab., 2019)

Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. - Mario Bravetti; Adrian Francalanza; Iaroslav Golovanov; Hans Hüttel; Mathias Jakobsen; Mikkel Kettunen; António Ravara (APLAS, 2020)

Secrecy and Authenticity Properties of the Lightning Network Protocol. - Hans Hüttel; Vilim Staroveski (ICISSP, 2020)

Key Agreement in the Lightning Network Protocol. - Hans Hüttel; Vilim Staroveski (ICISSP (Revised Selected Papers), 2020)

Using session types for reasoning about boundedness in the π-calculus. - Hans Hüttel (Acta Informatica, 2020)

Behavioural separation with parallel usages. - Iaroslav Golovanov; Hans Hüttel; Mathias Jakobsen; Mikkel Kettunen (FTfJP@ECOOP, 2021)

A type-safe structure editor calculus. - Christian Godiksen; Thomas Herrmann; Hans Hüttel; Mikkel Korup Lauridsen; Iman Owliaie (PEPM@POPL, 2021)

An Editor Calculus With Undo/Redo. - Rasmus Rendal Kjær; Magnus Holm Lundbergh; Magnus Mantzius; Hans Hüttel (SYNASC, 2021)

A Structure Editor with Type-Safe Copy/Paste. - Hans Hüttel; Anja Elisasen Lumholtz Nielsen; Nana Gjerulf Sandberg; Christoffer Lind Andersen; Peter Mikkelsen (IFL, 2022)

A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages. - Georgian-Vlad Saioc; Hans Hüttel (FROM, 2022)

A Type System for Data Flow and Alias Analysis in ReScript. - Nicky Ask Lund; Hans Hüttel (FROM, 2024)

Functional Array Programming in an Extended Pi-Calculus. - Hans Hüttel; Lars Jensen; Chris Oliver Paulsen; Julian Teule (EXPRESS/SOS, 2024)

A generic type system for higher-order Ψ-calculi. - Hans Hüttel; Stian Lybech; Alexander Rønning Bendixen; Bjarke Bredow Bojesen (Inf. Comput., 2024)

A Type Safe Calculus for Generating Syntax-Directed Editors. - Benjamin Bennetzen; Nikolaj Rossander Kristensen; Andreas Tor Mortensen; Peter Buus Steffensen; Sune Skaanning Engtorp; Hans Hüttel (PEPM, 2025)

On Program Synthesis and Large Language Models. - Hans Hüttel (Commun. ACM, 2025)

A generalised editor calculus (Short Paper). - Benjamin Bennetzen; Peter Buus Steffensen; Hans Hüttel; Nikolaj Rossander Kristensen; Andreas Tor Mortensen (CoRR, 2025)