![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Hans Hüttel
Person information
- affiliation: Aalborg University, Denmark
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j12]Hans Hüttel
, Stian Lybech, Alexander Rønning Bendixen, Bjarke Bredow Bojesen:
A generic type system for higher-order Ψ-calculi. Inf. Comput. 300: 105190 (2024) - 2022
- [c41]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: 5:1-5:11 - [c40]Alexander Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel
, Stian Lasse Lybech
:
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
, Mathias Jakobsen
, Mikkel Kettunen:
Behavioural separation with parallel usages. FTfJP@ECOOP 2021: 51-58 - [c37]Christian Godiksen, Thomas Herrmann, Hans Hüttel
, Mikkel Korup Lauridsen, Iman Owliaie:
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
, 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: 105-124 - [c34]Hans Hüttel
, Vilim Staroveski:
Secrecy and Authenticity Properties of the Lightning Network Protocol. ICISSP 2020: 119-130 - [c33]Hans Hüttel
, Vilim Staroveski:
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
, Dorina Gnaur:
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
, Stian Lasse Lybech:
Locations and session types in a language with higher-order reflection. AGERE!@SPLASH 2019: 31-40 - [c31]Hans Hüttel
, Dorina Gnaur, Thomas Ryberg
, Jette Egelund Holgaard:
A Web-Based Platform for Building PBL Competences Among Students. SETE@ICWL 2019: 175-182 - 2018
- [c30]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: 177-184 - [c29]Jens Aagaard, Hans Hüttel
, Mathias Jakobsen, Mikkel Kettunen:
Context-Free Session Types for Applied Pi-Calculus. EXPRESS/SOS 2018: 3-18 - 2017
- [c28]Dorina Gnaur
, Hans Hüttel
:
A Platform for Developing and Maintaining Competences in PBL Supervision. SETE@ICWL 2017: 297-303 - [c27]Francisco Martins
, Vasco Thudichum Vasconcelos
, Hans Hüttel
:
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
, 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): 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
, Mathias Ormstrup Bjerregaard, Niels Sonnich Poulsen, Sebastian A. Wahl:
Type Inference for Session Types in the π-calculus. WS-FM 2015: 103-121 - [c23]Hans Hüttel
, Nuno Pratas
:
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
, Yunde Sun, Hans Hüttel
:
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
, Naoki Kobayashi
, Takashi Suto:
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
, René Rydhof Hansen
:
Type Inference for Correspondence Types. SecCo@CONCUR 2008: 21-36 - [c14]Jens Chr. Godskesen, Hans Hüttel
, Morten Kühnrich:
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
, Michael D. Pedersen:
A Logical Characterisation of Static Equivalence. MFPS 2007: 139-157 - 2006
- [j7]Hans Hüttel
, Jirí Srba:
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
, Morten Kühnrich:
Types for Access Control in a Calculus of Mobile Resources. SecCO@CONCUR 2005: 3-15 - 2002
- [j6]Uwe Nestmann, Hans Hüttel
, Josva Kleist, Massimo Merro
:
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
, Jesper Nyholm Jensen:
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
, Colin Stirling:
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
, Anna Ingólfsdóttir, Josva Kleist:
Relating semantic models for the object calculus. EXPRESS 1997: 3-18 - 1995
- [j4]Søren Christensen, Hans Hüttel
, Colin Stirling:
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
, Kim Guldstrand Larsen
:
The Use of Static Constructs in A Modal Process Logic. Logic at Botik 1989: 163-180
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
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 2024-08-05 20:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint