default search action
Hans Hüttel
Person information
- affiliation: Aalborg University, Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j13]Hans Hüttel
:
On Program Synthesis and Large Language Models. Commun. ACM 68(1): 33-35 (2025) - [c44]Benjamin Bennetzen
A Type Safe Calculus for Generating Syntax-Directed Editors. PEPM 2025: 30-42 - 2024
- [j12]Hans Hüttel
A generic type system for higher-order Ψ-calculi. Inf. Comput. 300: 105190 (2024) - [c43]Hans Hüttel
Functional Array Programming in an Extended Pi-Calculus. EXPRESS/SOS 2024: 2-18 - [c42]Nicky Ask Lund, Hans Hüttel:
A Type System for Data Flow and Alias Analysis in ReScript. FROM 2024: 116-132 - [i2]Nicky Ask Lund, Hans Hüttel
A type system for data flow and alias analysis in ReScript. CoRR abs/2408.11954 (2024) - 2022
- [c41]Hans Hüttel
A Structure Editor with Type-Safe Copy/Paste. IFL 2022: 5:1-5:11 - [c40]Alexander Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel
A Generic Type System for Higher-Order Ψ-calculi. EXPRESS/SOS 2022: 43-59 - [c39]Georgian-Vlad Saioc, Hans Hüttel
A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages. FROM 2022: 51-66 - 2021
- [c38]Iaroslav Golovanov, Hans Hüttel
Behavioural separation with parallel usages. FTfJP@ECOOP 2021: 51-58 - [c37]Christian Godiksen, Thomas Herrmann, Hans Hüttel
A type-safe structure editor calculus. PEPM@POPL 2021: 1-13 - [c36]Rasmus Rendal Kjær, Magnus Holm Lundbergh, Magnus Mantzius, Hans Hüttel
An Editor Calculus With Undo/Redo. SYNASC 2021: 66-74 - 2020
- [j11]Hans Hüttel
Using session types for reasoning about boundedness in the π-calculus. Acta Informatica 57(6): 801-827 (2020) - [c35]Mario Bravetti
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. APLAS 2020: 105-124 - [c34]Hans Hüttel
Secrecy and Authenticity Properties of the Lightning Network Protocol. ICISSP 2020: 119-130 - [c33]Hans Hüttel
Key Agreement in the Lightning Network Protocol. ICISSP (Revised Selected Papers) 2020: 139-155 - [i1]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 abs/2002.12793 (2020)
2010 – 2019
- 2019
- [j10]Hans Hüttel
A Web-Based Platform for Competence Development in PBL Supervision. Int. J. e Collab. 15(3): 20-33 (2019) - [c32]Michael Tran, Alexander Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel
Locations and session types in a language with higher-order reflection. AGERE!@SPLASH 2019: 31-40 - [c31]Hans Hüttel
A Web-Based Platform for Building PBL Competences Among Students. SETE@ICWL 2019: 175-182 - 2018
- [c30]Hans Hüttel
A New Platform for Question-Based Sharing of Supervision Competencies in Problem-Based Learning. CRIWG 2018: 177-184 - [c29]Jens Aagaard, Hans Hüttel
Context-Free Session Types for Applied Pi-Calculus. EXPRESS/SOS 2018: 3-18 - 2017
- [c28]Dorina Gnaur
A Platform for Developing and Maintaining Competences in PBL Supervision. SETE@ICWL 2017: 297-303 - [c27]Francisco Martins
Inferring Types for Parallel Programs. PLACES@ETAPS 2017: 28-36 - [c26]Hans Hüttel
Using Session Types for Reasoning About Boundedness in the Pi-Calculus. EXPRESS/SOS 2017: 67-82 - 2016
- [j9]Hans Hüttel
Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49(1): 3:1-3:36 (2016) - [c25]Hans Hüttel
Binary Session Types for Psi-Calculi. APLAS 2016: 96-115 - 2015
- [c24]Eva Fajstrup Graversen, Jacob Buchreitz Harbo, Hans Hüttel
Type Inference for Session Types in the π-calculus. WS-FM 2015: 103-121 - [c23]Hans Hüttel
Broadcast and aggregation in BBC. PLACES 2015: 15-28 - 2014
- [c22]Dorina Gnaur, Hans Hüttel
How a Flipped Learning Environment Affects Learning in a Course on Theoretical Computer Science. ICWL 2014: 219-228 - 2013
- [c21]Hans Hüttel
Types for Resources in ψ-calculi. TGC 2013: 83-102 - 2012
- [c20]Hans Hüttel, Kurt Nørmark:
Experiences with Web-based Peer Assessment of Coursework. CSEDU (2) 2012: 113-118 - 2011
- [c19]Morten Dahl, Naoki Kobayashi
Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols. ATVA 2011: 75-89 - [c18]Hans Hüttel
Typed ψ-calculi. CONCUR 2011: 265-279 - 2010
- [b1]Hans Hüttel:
Transitions and Trees - An Introduction to Structural Operational Semantics. Cambridge University Press 2010, ISBN 978-0-521-14709-5, pp. I-XVII, 1-272 - [c17]Peter Finderup, Hans Hüttel, Jakob Svane Knudsen, Johannes Garm Nielsen:
Linear Uniform Receptiveness in a Pi-Calculus with Location Failures. CATS 2010: 79-88
2000 – 2009
- 2009
- [j8]Hans Hüttel
Undecidable equivalences for basic parallel processes. Inf. Comput. 207(7): 812-829 (2009) - [c16]Bjørn Haagensen, Hans Hüttel
Parametrised Constants and Replication for Spatial Mobility. COORDINATION 2009: 123-142 - 2008
- [c15]Andrew D. Gordon, Hans Hüttel
Type Inference for Correspondence Types. SecCo@CONCUR 2008: 21-36 - [c14]Jens Chr. Godskesen, Hans Hüttel
Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks. FOCLASA@ICALP 2008: 77-93 - [c13]Mikkel Bundgaard, Jens Chr. Godskesen, Bjørn Haagensen, Hans Hüttel
Decidable Fragments of a Higher Order Calculus with Locations. EXPRESS 2008: 113-138 - 2007
- [c12]Hans Hüttel
A Logical Characterisation of Static Equivalence. MFPS 2007: 139-157 - 2006
- [j7]Hans Hüttel
Decidability Issues for Extended Ping-Pong Protocols. J. Autom. Reason. 36(1-2): 125-147 (2006) - 2005
- [c11]Hans Hüttel, Jirí Srba:
Recursion Versus Replication in Simple Cryptographic Protocols. SOFSEM 2005: 178-187 - [c10]Hans Hüttel
Types for Access Control in a Calculus of Mobile Resources. SecCO@CONCUR 2005: 3-15 - 2002
- [j6]Uwe Nestmann, Hans Hüttel
Aliasing Models for Mobile Objects. Inf. Comput. 175(1): 3-33 (2002) - [c9]Hans Hüttel
Deciding Framed Bisimilarity. INFINITY 2002: 1-18 - [c8]Ulrik Frendrup, Hans Hüttel
Modal Logics for Cryptographic Processes. EXPRESS 2002: 124-141
1990 – 1999
- 1999
- [c7]Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro:
Aliasing Models for Object Migration. Euro-Par 1999: 1353-1368 - 1998
- [j5]Hans Hüttel
Actions Speak Louder Than Words: Proving Bisimilarity for Context-Free Processes. J. Log. Comput. 8(4): 485-509 (1998) - 1997
- [c6]Luca Aceto, Hans Hüttel
Relating semantic models for the object calculus. EXPRESS 1997: 3-18 - 1995
- [j4]Søren Christensen, Hans Hüttel
Bisimulation Equivalence is Decidable for All Context-Free Processes. Inf. Comput. 121(2): 143-148 (1995) - 1994
- [j3]Jan Friso Groote, Hans Hüttel
Undecidable Equivalences for Basic Process Algebra. Inf. Comput. 115(2): 354-371 (1994) - [c5]Hans Hüttel
Undecidable Equivalences for Basic Parallel Processes. TACS 1994: 454-464 - 1993
- [j2]Søren Christensen, Hans Hüttel:
Decidability issues for infinite-state processes- a survey. Bull. EATCS 51: 155-167 (1993) - 1992
- [c4]Søren Christensen, Hans Hüttel, Colin Stirling:
Bisimulation Equivalence is Decidable for all Context-Free Processes. CONCUR 1992: 138-147 - 1991
- [c3]Hans Hüttel
Silence is Golden: Branching Bisimilarity is Decidable for Context-Free Processes. CAV 1991: 2-12 - [c2]Hans Hüttel, Colin Stirling:
Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes. LICS 1991: 376-386 - 1990
- [j1]Hans Hüttel
SnS Can be Modally Characterized. Theor. Comput. Sci. 74(2): 239-248 (1990)
1980 – 1989
- 1989
- [c1]Hans Hüttel
The Use of Static Constructs in A Modal Process Logic. Logic at Botik 1989: 163-180
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 21:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: