Hans Hüttel

According to our database, Hans Hüttel authored at least 52 papers between 1989 and 2024.

Collaborative distances:

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

2024

A type system for data flow and alias analysis in ReScript.

Nicky Ask Lund, Hans Hüttel

CoRR, 2024

2022

A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages.

Georgian-Vlad Saioc, Hans Hüttel

Proceedings of the Sixth Working Formal Methods Symposium, 2022

A Generic Type System for Higher-Order Ψ-calculi.

Alexander Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel, Stian Lasse Lybech

Proceedings of the Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, 2022

A Structure Editor with Type-Safe Copy/Paste.

Hans Hüttel, Anja Elisasen Lumholtz Nielsen, Nana Gjerulf Sandberg, Christoffer Lind Andersen, Peter Mikkelsen

Proceedings of the 34th Symposium on Implementation and Application of Functional Languages, 2022

2021

An Editor Calculus With Undo/Redo.

Rasmus Rendal Kjær, Magnus Holm Lundbergh, Magnus Mantzius, Hans Hüttel

Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021

A type-safe structure editor calculus.

Christian Godiksen, Thomas Herrmann, Hans Hüttel, Mikkel Korup Lauridsen, Iman Owliaie

Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2021

Behavioural separation with parallel usages.

Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen

Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021

2020

Using session types for reasoning about boundedness in the π-calculus.

Hans Hüttel

Acta Informatica, 2020

Key Agreement in the Lightning Network Protocol.

Hans Hüttel, Vilim Staroveski

Proceedings of the Information Systems Security and Privacy - 6th International Conference, 2020

Secrecy and Authenticity Properties of the Lightning Network Protocol.

Hans Hüttel, Vilim Staroveski

Proceedings of the 6th International Conference on Information Systems Security and Privacy, 2020

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

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019

A Web-Based Platform for Competence Development in PBL Supervision.

Hans Hüttel, Dorina Gnaur

Int. J. e Collab., 2019

A Web-Based Platform for Building PBL Competences Among Students.

Hans Hüttel, Dorina Gnaur, Thomas Ryberg, Jette Egelund Holgaard

Proceedings of the Emerging Technologies for Education - 4th International Symposium, 2019

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

Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, 2019

2018

Context-Free Session Types for Applied Pi-Calculus.

Jens Aagaard, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen

Proceedings of the Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, 2018

A New Platform for Question-Based Sharing of Supervision Competencies in Problem-Based Learning.

Hans Hüttel, Dorina Gnaur, Andreas Hairing Klostergaard, Gideon Blegmand

Proceedings of the Collaboration and Technology - 24th International Conference, 2018

2017

Using Session Types for Reasoning About Boundedness in the Pi-Calculus.

Hans Hüttel

Proceedings of the Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, 2017

Inferring Types for Parallel Programs.

Francisco Martins, Vasco Thudichum Vasconcelos, Hans Hüttel

Proceedings of the Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2017

A Platform for Developing and Maintaining Competences in PBL Supervision.

Dorina Gnaur, Hans Hüttel

Proceedings of the Emerging Technologies for Education - Second International Symposium, 2017

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

Binary Session Types for Psi-Calculi.

Hans Hüttel

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015

Broadcast and aggregation in BBC.

Hans Hüttel, Nuno Pratas

Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

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

Proceedings of the Web Services, Formal Methods, and Behavioral Types, 2015

2014

How a Flipped Learning Environment Affects Learning in a Course on Theoretical Computer Science.

Dorina Gnaur, Hans Hüttel

Proceedings of the Advances in Web-Based Learning - ICWL 2014, 2014

2013

Types for Resources in ψ-calculi.

Hans Hüttel

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

2012

Experiences with Web-based Peer Assessment of Coursework.

Hans Hüttel, Kurt Nørmark

Proceedings of the CSEDU 2012, 2012

2011

Typed ψ-calculi.

Hans Hüttel

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols.

Morten Dahl, Naoki Kobayashi, Yunde Sun, Hans Hüttel

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Linear Uniform Receptiveness in a Pi-Calculus with Location Failures.

Peter Finderup, Hans Hüttel, Jakob Svane Knudsen, Johannes Garm Nielsen

Proceedings of the Theory of Computing 2010, 2010

Transitions and Trees - An Introduction to Structural Operational Semantics.

Hans Hüttel

Cambridge University Press, ISBN: 978-0-521-14709-5, 2010

2009

Undecidable equivalences for basic parallel processes.

Hans Hüttel, Naoki Kobayashi, Takashi Suto

Inf. Comput., 2009

Parametrised Constants and Replication for Spatial Mobility.

Bjørn Haagensen, Hans Hüttel

Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

2008

Type Inference for Correspondence Types.

Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen

Proceedings of the 6th Workshop on Security Issues in Concurrency, 2008

Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks.

Jens Chr. Godskesen, Hans Hüttel, Morten Kühnrich

Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008

Decidable Fragments of a Higher Order Calculus with Locations.

Mikkel Bundgaard, Jens Chr. Godskesen, Bjørn Haagensen, Hans Hüttel

Proceedings of the 15th Workshop on Expressiveness in Concurrency, 2008

2007

A Logical Characterisation of Static Equivalence.

Hans Hüttel, Michael D. Pedersen

Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007

2006

Decidability Issues for Extended Ping-Pong Protocols.

Hans Hüttel, Jirí Srba

J. Autom. Reason., 2006

2005

Types for Access Control in a Calculus of Mobile Resources.

Hans Hüttel, Morten Kühnrich

Proceedings of the International Workshop on Security and Concurrency, SecCo@CONCUR 2005, 2005

Recursion Versus Replication in Simple Cryptographic Protocols.

Hans Hüttel, Jirí Srba

Proceedings of the SOFSEM 2005: Theory and Practice of Computer Science, 2005

2002

Aliasing Models for Mobile Objects.

Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro

Inf. Comput., 2002

Deciding Framed Bisimilarity.

Hans Hüttel

Proceedings of the 4th International Workshop on Verification of Infinite-State Systems (CONCUR 2002 Satellite Workshop), 2002

Modal Logics for Cryptographic Processes.

Ulrik Frendrup, Hans Hüttel, Jesper Nyholm Jensen

Proceedings of the 9th International Workshop on Expressiveness in Concurrency, 2002

1999

Aliasing Models for Object Migration.

Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1998

Actions Speak Louder Than Words: Proving Bisimilarity for Context-Free Processes.

Hans Hüttel, Colin Stirling

J. Log. Comput., 1998

1997

Relating semantic models for the object calculus.

Luca Aceto, Hans Hüttel, Anna Ingólfsdóttir, Josva Kleist

Proceedings of the International Workshop on Expressiveness in Concurrency, 1997

1995

Bisimulation Equivalence is Decidable for All Context-Free Processes

Søren Christensen, Hans Hüttel, Colin Stirling

Inf. Comput., September, 1995

1994

Undecidable Equivalences for Basic Process Algebra

Jan Friso Groote, Hans Hüttel

Inf. Comput., December, 1994

Undecidable Equivalences for Basic Parallel Processes.

Hans Hüttel

Proceedings of the Theoretical Aspects of Computer Software, 1994

1993

Decidability issues for infinite-state processes- a survey.

Søren Christensen, Hans Hüttel

Bull. EATCS, 1993

1991

Silence is Golden: Branching Bisimilarity is Decidable for Context-Free Processes.

Hans Hüttel

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990

SnS Can be Modally Characterized.

Hans Hüttel

Theor. Comput. Sci., 1990

1989

The Use of Static Constructs in A Modal Process Logic.

Hans Hüttel, Kim Guldstrand Larsen

Proceedings of the Logic at Botik '89, 1989