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.
- 10 Similar Profiles
Calculus
Mathematics
Replication
Mathematics
Recursion
Mathematics
Cryptographic Protocols
Mathematics
Mobile ad hoc networks
Engineering & Materials Science
Network protocols
Engineering & Materials Science
Correspondence
Mathematics
Reachability Analysis
Mathematics
Network
Dive into details by clicking on the dots.
Projects 1999 2018
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 1995 2019
PBL og matematik
Hüttel, H., Rasmussen, J. G., Rasmussen, M. G. & Søndergaard, B. D., 2019. 1 p.Research output: Contribution to conference without publisher/journal › Poster › Communication
Open Access
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
Teaching
Problem-Based Learning
Building a new Community Around a Platform for Developing PBL Competences
Huttel, H. & Gnaur, D., Nov 2018, Proceedings of the 17th European Conference on e-Learning. Ntalianis, K., Andreatis, A. & Sgouropoulou, C. (eds.). Reading, UK: Academic Conferences and Publishing International, p. 161-169Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Context-Free Session Types for Applied Pi-Calculus
Aagaard, J., Hüttel, H., Steen Jakobsen, M. & Kettunen, M., 24 Aug 2018, Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018.. Open Publishing Association, Vol. 276. p. 3-18 16 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open Access
File
π-calculus
Type Systems
Equivalence
Constant term
Bisimulation
Flipped and blended classroom approaches at AAU: Theory, cases and toolbox
Otrel-Cass, K., Gnaur, D., Huttel, H., Steinø, N., Major, A., Nielsen, K., Petersen, E. M. & Bøgholm, T., 2018, Aalborg University. 60 p.Research output: Book/Report › Report › Research
Open Access
File
Blended Learning
classroom
Teaching
video
teacher
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
Datalog: Auditorier skader de studerende
19/11/2015
2 items of media coverage
Press/Media: Press / Media