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.
- 7 Similar Profiles
Network
Dive into details by clicking on the dots.
Projects
-
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 → …
Project: Research
-
Vejledning og IT-platform: PBL Exchange
Hüttel, H., Gnaur, D. & Nørmark, K.
01/02/2017 → 01/05/2018
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
-
A web-based platform for building PBL competences among students
Hüttel, H., Gnaur, D., Ryberg, T. & Holgaard, J. E., 1 Jan 2020, Emerging Technologies for Education - 4th International Symposium, SETE 2019, held in Conjunction with ICWL 2019, Revised Selected Papers. Popescu, E., Hao, T., Hsu, T-C., Xie, H., Temperini, M. & Chen, W. (eds.). Springer VS, p. 175-182 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11984 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
Bravetti, M., Francalanza, A., Golovanov, I., Hüttel, H., Jakobsen, M. S., Kettunen, M. K. & Ravara, A., 2020, Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Proceedings. Oliveira, B. C. (ed.). Springer, p. 105-124 20 p. (Lecture Notes in Computer Science, Vol. 12470).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
How higher education adapted to online teaching at aalborg university after COVID-19: Experiences and perspectives
Hüttel, H. & Gnaur, D., 2020, Proceedings of the 19th European Conference on e-Learning, ECEL 2020. Busch, C., Steinicke, M. & Wendler, T. (eds.). Academic Conferences and Publishing International, p. 243-251 9 p. (Proceedings of the European Conference on e-Learning, ECEL, Vol. 2020-October).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Secrecy and authenticity properties of the lightning network protocol
Hüttel, H. & Staroveski, V., 2020, ICISSP 2020 - Proceedings of the 6th International Conference on Information Systems Security and Privacy. Furnell, S., Mori, P., Weippl, E. & Camp, O. (eds.). SCITEPRESS Digital Library, p. 119-130 12 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Using session types for reasoning about boundedness in the pi-calculus
Hüttel, H., 2020, In: Acta Informatica. 57, p. 801–827Research output: Contribution to journal › Journal article › Research › peer-review
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
-
Debat Fyringer og usikkerhed ødelægger arbejdsmiljø og forskning
18/03/2019
1 item of Media coverage
Press/Media: Press / Media
-
Ny aktionsgruppe kalder på folkelig opstand
25/02/2019
4 items of Media coverage
Press/Media: Press / Media
-
Blade Runner: 6 teknologier som scifi-mesterværket forudså
05/10/2017
1 item of Media coverage
Press/Media: Press / Media