Projects per year
Personal profile
Keywords
- Computer Science
- process calculi and their underlying theories
Fingerprint
The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
- 1 Similar Profiles
Collaborations from the last five years
Dive into details by clicking on the dots.
Projects
- 5 Finished
-
PBL og matematik: Hvordan kan PBL fungere på universitetets grundfag? (Strategic Council for Education at AAU)
Søndergaard, B. D., Geil, O., Hüttel, H., Rasmussen, M. G. & Rasmussen, J. G.
01/01/2018 → 01/03/2019
Project: Other
-
Vejledning og IT-platform: PBL Exchange
Hüttel, H., Gnaur, D. & Nørmark, K.
01/02/2017 → 01/05/2018
Project: Research
-
TREsPASS: Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security
Hansen, R. R., David, A., Hüttel, H. & Larsen, K. G.
01/11/2012 → 31/12/2016
Project: Research
-
BETTY: Behavioural Types for Reliable Large-Scale Software Systems
01/10/2012 → 01/11/2015
Project: Research
-
Calculi and verification techniques for security and mobility, 1999-2001
01/01/1999 → 31/12/2001
Project: Research
Research output
-
Contextualisation in university level problem-based learning
Dahl, B., Hüttel, H., Rasmussen, J. G. & Rasmussen, M. G., 2023, (Accepted/In press) In: For the Learning of Mathematics.Research output: Contribution to journal › Journal article › Research › peer-review
-
A Generic Type System for Higher-Order Ψ-calculi
Bendixen, A. R., Bojesen, B. B., Hüttel, H. & Lybech, S., 6 Sept 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 368, p. 43-59 17 p.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
Open AccessFile1 Citation (Scopus)8 Downloads (Pure) -
A Structure Editor with Type-Safe Copy/Paste
Hüttel, H., Nielsen, A. E. L., Sandberg, N. G., Andersen, C. L. & Mikkelsen, P., 31 Aug 2022, Proceedings of the 2022 34th Symposium on Implementation and Application of Functional Languages, IFL 2022. Association for Computing Machinery, 5. (ACM International Conference Proceeding Series).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages
Saioc, G. V. & Hüttel, H., 19 Sept 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 369, p. 51-66 16 p.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
Open Access -
Key Agreement in the Lightning Network Protocol
Hüttel, H. & Staroveški, V., 2022, Information Systems Security and Privacy - 6th International Conference, ICISSP 2020, Revised Selected Papers. Furnell, S., Mori, P., Weippl, E. & Camp, O. (eds.). Springer, p. 139-155 17 p. (Communications in Computer and Information Science, Vol. 1545 CCIS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Press/Media
-
Perfekt klonede menneskelige stemmer trænger ind i din øregang
20/04/2023 → 28/04/2023
3 items of Media coverage
Press/Media: Press / Media
-
-
Over 1.000 forskere og techmoguler i opråb: Sæt øjeblikkeligt udviklingen af kunstig intelligens på pause
29/03/2023 → 03/04/2023
6 items of Media coverage
Press/Media: Press / Media
-
-
Debat: Medarbejdere mener AAU-fyringer ødelægger arbejdsmiljø, uddannelser og forskning
Poul Houman Andersen, Jesper Lindgaard Christensen, Meg Duroux, Morten Ejrnæs, Hans Hüttel, Martin Bak Jørgensen, Preben Horsholt Rasmussen, Lars Rosgaard Jensen, Jens Kirk, Lone Stub Petersen, Janne Emily Seemann & Trine Schultz
21/03/2019
1 item of Media coverage
Press/Media: Press / Media