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.
- 6 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
A Web-Based Platform for Competence Development in PBL Supervision
Hüttel, H. & Gnaur, D., 2019, In : International Journal of E-Collaboration. 15, 3, p. 20-33 14 p., 2.Research output: Contribution to journal › Journal article › Research › peer-review
PBL og matematik
Research output: Contribution to conference without publisher/journal › Poster › Communication
Open Access
Using session types for reasoning about boundedness in the pi-calculus
Hüttel, H., Sep 2019, In : Acta Informatica. p. 1-27Research output: Contribution to journal › Journal article › Research › peer-review
A New Platform for Question-Based Sharing of Supervision Competencies in Problem-Based Learning
Hüttel, H., Gnaur, D., Klostergaard, A. H. & Blegmand, G., 4 Sep 2018, Collaboration and Technology: 24th International Conference, CRIWG 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings. Rodrigues, A., Fonseca, B. & Preguiça, N. (eds.). Springer, p. 177-184 8 p. (Lecture Notes in Computer Science (LNCS), Vol. 11001).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
1
Citation
(Scopus)
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