I agree that this site is using cookies. You can find further informations here.
X
Hüttel, Hans
109  results:
Search for persons X
?
1

A Structure Editor with Type-Safe Copy/Paste:

, In: Proceedings of the 34th Symposium on Implementation and Application of Functional Languages,
Hüttel, Hans ; Elisasen Lumholtz Nielsen, Anja ; Gjerulf Sandberg, Nana.. - p. 1-11 , 2022
Link: https://dl.acm.org/doi/1..
 
?
2

Key Agreement in the Lightning Network Protocol:

, In: Communications in Computer and Information Science; Information Systems Security and Privacy,
Hüttel, Hans ; Staroveški, Vilim - p. 139-155 , 2022
Link: https://doi.org/10.1007/..
 
?
3

An Editor Calculus With Undo/Redo:

, In: 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),
Kjaer, Rasmus Rendal ; Lundbergh, Magnus Holm ; Mantzius, Magnus. - p. 66-74 , 2021
Link: https://doi.org/10.1109/..
 
?
4

A type-safe structure editor calculus:

, In: Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation,
Godiksen, Christian ; Herrmann, Thomas ; Hüttel, Hans.. - p. 1-13 , 2021
Link: https://dl.acm.org/doi/1..
 
?
5

Behavioural separation with parallel usages:

, In: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs,
Golovanov, Iaroslav ; Hüttel, Hans ; Jakobsen, Mathias. - p. 51-58 , 2021
Link: https://dl.acm.org/doi/1..
 
?
6

Behavioural Types for Memory and Method Safety in a Core Ob..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Bravetti, Mario ; Francalanza, Adrian ; Golovanov, Iaroslav... - p. 105-124 , 2020
Link: https://doi.org/10.1007/..
 
?
7

A Web-Based Platform for Building PBL Competences Among Stu..:

, In: Emerging Technologies for Education; Lecture Notes in Computer Science,
Hüttel, Hans ; Gnaur, Dorina ; Ryberg, Thomas. - p. 175-182 , 2020
Link: https://doi.org/10.1007/..
 
?
8

Locations and session types in a language with higher-order..:

, In: Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control,
Tran, Michael ; Bendixen, Alexander Rønning ; Bojesen, Bjarke Bredow.. - p. 31-40 , 2019
Link: https://dl.acm.org/doi/1..
 
?
9

Using session types for reasoning about boundedness in the ..:

Hüttel, Hans
Acta Informatica.  57 (2019)  6 - p. 801-827 , 2019
Link: https://doi.org/10.1007/..
 
?
10

A New Platform for Question-Based Sharing of Supervision Co..:

, In: Lecture Notes in Computer Science; Collaboration and Technology,
Hüttel, Hans ; Gnaur, Dorina ; Hairing Klostergaard, Andreas. - p. 177-184 , 2018
Link: https://doi.org/10.1007/..
 
?
11

Foundations of Session Types and Behavioural Contracts:

Hüttel, Hans ; Lanese, Ivan ; Vasconcelos, Vasco T....
ACM Computing Surveys.  49 (2016)  1 - p. 1-36 , 2016
Link: https://doi.org/10.1145/..
 
?
12

Foundations of Session Types and Behavioural Contracts:

Hüttel, Hans ; Lanese, Ivan ; Vasconcelos, Vasco T....
ACM Computing Surveys (CSUR).  49 (2016)  1 - p. 1-36 , 2016
Link: https://dl.acm.org/doi/1..
 
?
13

Transitions and trees 

an introduction to structural operational semantics 
Hüttel, Hans , 2010
Link: https://doi.org/10.1017/..
 
?
14

Transitions and Trees: an Introduction to Structural Operat..:

Hüttel, Hans , 2010
Link: https://search.ebscohost..
 
?
15

Undecidable equivalences for basic parallel processes:

Hüttel, Hans ; Kobayashi, Naoki ; Suto, Takashi
Information and Computation.  207 (2009)  7 - p. 812-829 , 2009
Link: https://doi.org/10.1016/..
 
1-15