Hans Hüttel

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 24

Top Topics

Automated Deduction

Programming Language

Predicate Invention

Top Venues

Publications

Hans Hüttel, Stian Lybech, Alexander Rønning Bendixen, Bjarke Bredow Bojesen
A generic type system for higher-order Ψ-calculi. Inf. Comput. 300 (2024)
Alexander Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel, Stian Lasse Lybech
A Generic Type System for Higher-Order Ψ-calculi. EXPRESS/SOS (2022)
Georgian-Vlad Saioc, Hans Hüttel
A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages. FROM (2022)
Hans Hüttel, Anja Elisasen Lumholtz Nielsen, Nana Gjerulf Sandberg, Christoffer Lind Andersen, Peter Mikkelsen
A Structure Editor with Type-Safe Copy/Paste. IFL (2022)
Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen
Behavioural separation with parallel usages. FTfJP@ECOOP (2021)
Christian Godiksen, Thomas Herrmann, Hans Hüttel, Mikkel Korup Lauridsen, Iman Owliaie
A type-safe structure editor calculus. PEPM@POPL (2021)
Rasmus Rendal Kjær, Magnus Holm Lundbergh, Magnus Mantzius, Hans Hüttel
An Editor Calculus With Undo/Redo. SYNASC (2021)
Hans Hüttel, Vilim Staroveski
Secrecy and Authenticity Properties of the Lightning Network Protocol. ICISSP (2020)
Hans Hüttel, Vilim Staroveski
Key Agreement in the Lightning Network Protocol. ICISSP (Revised Selected Papers) (2020)
Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. CoRR (2020)
Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. APLAS (2020)
Hans Hüttel
Using session types for reasoning about boundedness in the π-calculus. Acta Informatica 57 (6) (2020)
Hans Hüttel, Dorina Gnaur
A Web-Based Platform for Competence Development in PBL Supervision. Int. J. e Collab. 15 (3) (2019)
Hans Hüttel, Dorina Gnaur, Thomas Ryberg, Jette Egelund Holgaard
A Web-Based Platform for Building PBL Competences Among Students. SETE@ICWL (2019)
Michael Tran, Alexander Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel, Stian Lasse Lybech
Locations and session types in a language with higher-order reflection. AGERE!@SPLASH (2019)
Hans Hüttel, Dorina Gnaur, Andreas Hairing Klostergaard, Gideon Blegmand
A New Platform for Question-Based Sharing of Supervision Competencies in Problem-Based Learning. CRIWG (2018)
Jens Aagaard, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen
Context-Free Session Types for Applied Pi-Calculus. EXPRESS/SOS (2018)
Dorina Gnaur, Hans Hüttel
A Platform for Developing and Maintaining Competences in PBL Supervision. SETE@ICWL (2017)
Hans Hüttel
Using Session Types for Reasoning About Boundedness in the Pi-Calculus. EXPRESS/SOS (2017)
Francisco Martins, Vasco Thudichum Vasconcelos, Hans Hüttel
Inferring Types for Parallel Programs. PLACES@ETAPS (2017)
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
Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49 (1) (2016)
Hans Hüttel
Binary Session Types for Psi-Calculi. APLAS (2016)
Eva Fajstrup Graversen, Jacob Buchreitz Harbo, Hans Hüttel, Mathias Ormstrup Bjerregaard, Niels Sonnich Poulsen, Sebastian A. Wahl
Type Inference for Session Types in the π-calculus. WS-FM (2015)
Hans Hüttel, Nuno Pratas
Broadcast and aggregation in BBC. PLACES (2015)
Dorina Gnaur, Hans Hüttel
How a Flipped Learning Environment Affects Learning in a Course on Theoretical Computer Science. ICWL (2014)
Hans Hüttel
Types for Resources in ψ-calculi. TGC (2013)
Hans Hüttel, Kurt Nørmark
Experiences with Web-based Peer Assessment of Coursework. CSEDU (2) (2012)
Hans Hüttel
Typed ψ-calculi. CONCUR (2011)
Morten Dahl, Naoki Kobayashi, Yunde Sun, Hans Hüttel
Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols. ATVA (2011)
Peter Finderup, Hans Hüttel, Jakob Svane Knudsen, Johannes Garm Nielsen
Linear Uniform Receptiveness in a Pi-Calculus with Location Failures. CATS (2010)
Bjørn Haagensen, Hans Hüttel
Parametrised Constants and Replication for Spatial Mobility. COORDINATION (2009)
Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen
Type Inference for Correspondence Types. Electron. Notes Theor. Comput. Sci. 242 (3) (2009)
Hans Hüttel, Naoki Kobayashi, Takashi Suto
Undecidable equivalences for basic parallel processes. Inf. Comput. 207 (7) (2009)
Jens Chr. Godskesen, Hans Hüttel, Morten Kühnrich
Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks. Electron. Notes Theor. Comput. Sci. 229 (2) (2009)
Mikkel Bundgaard, Jens Chr. Godskesen, Bjørn Haagensen, Hans Hüttel
Decidable Fragments of a Higher Order Calculus with Locations. EXPRESS (2008)
Hans Hüttel, Morten Kühnrich
Types for Access Control in a Calculus of Mobile Resources. Electron. Notes Theor. Comput. Sci. 180 (1) (2007)
Hans Hüttel, Michael D. Pedersen
A Logical Characterisation of Static Equivalence. MFPS (2007)
Hans Hüttel, Jirí Srba
Decidability Issues for Extended Ping-Pong Protocols. J. Autom. Reason. 36 (1-2) (2006)
Hans Hüttel, Jirí Srba
Recursion Versus Replication in Simple Cryptographic Protocols. SOFSEM (2005)
Hans Hüttel
Deciding Framed Bisimilarity. INFINITY (2002)
Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro
Aliasing Models for Mobile Objects. Inf. Comput. 175 (1) (2002)
Ulrik Frendrup, Hans Hüttel, Jesper Nyholm Jensen
Modal Logics for Cryptographic Processes. EXPRESS (2002)
Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro
Aliasing Models for Object Migration. Euro-Par (1999)
Hans Hüttel, Colin Stirling
Actions Speak Louder Than Words: Proving Bisimilarity for Context-Free Processes. J. Log. Comput. 8 (4) (1998)
Luca Aceto, Hans Hüttel, Anna Ingólfsdóttir, Josva Kleist
Relating semantic models for the object calculus. EXPRESS (1997)
Søren Christensen, Hans Hüttel, Colin Stirling
Bisimulation Equivalence is Decidable for All Context-Free Processes Inf. Comput. 121 (2) (1995)
Hans Hüttel
Undecidable Equivalences for Basic Parallel Processes. TACS (1994)
Jan Friso Groote, Hans Hüttel
Undecidable Equivalences for Basic Process Algebra Inf. Comput. 115 (2) (1994)
Søren Christensen, Hans Hüttel
Decidability issues for infinite-state processes- a survey. Bull. EATCS 51 (1993)
Søren Christensen, Hans Hüttel, Colin Stirling
Bisimulation Equivalence is Decidable for all Context-Free Processes. CONCUR (1992)
Hans Hüttel, Colin Stirling
Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes LICS (1991)
Hans Hüttel
Silence is Golden: Branching Bisimilarity is Decidable for Context-Free Processes. CAV (1991)
Hans Hüttel
SnS Can be Modally Characterized. Theor. Comput. Sci. 74 (2) (1990)
Hans Hüttel, Kim Guldstrand Larsen
The Use of Static Constructs in A Modal Process Logic. Logic at Botik (1989)