Projekter pr. år
Personlig profil
Keywords
- Datalogi
- proceskalkyler og deres matematiske teori
Fingeraftryk Fingeraftryk er baseret på at anvende teksten fra personernes videnskabelige dokumenter til at skabe et indeks med vægtede ord, som definerer de vigtigste emner fra hver enkelt forsker.
- 18 Lignende profiler
Calculus
Matematik
Replication
Matematik
Recursion
Matematik
Cryptographic Protocols
Matematik
Mobile ad hoc networks
Teknik og materialevidenskab
Network protocols
Teknik og materialevidenskab
Correspondence
Matematik
Reachability Analysis
Matematik
Netværk
Klik på punkterne for at se detaljerne.
Projekter 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 → …
Projekter: Projekt › Forskning
PBL og matematik: Hvordan kan PBL fungere på universitetets grundfag? (PBL and mathematics: How might PBL suit the fundamental sciences at a university)
Søndergaard, B. D., Geil, O., Hüttel, H., Rasmussen, M. G. & Rasmussen, J. G.
01/02/2018 → 31/12/2018
Projekter: Projekt › Andet
Vejledning og IT-platform: PBL Exchange
Hüttel, H., Gnaur, D. & Nørmark, K.
01/02/2017 → 01/05/2018
Projekter: Projekt › Forskning
BETTY: Behavioural Types for Reliable Large-Scale Software Systems
01/10/2012 → 01/11/2015
Projekter: Projekt › Forskning
Calculi and verification techniques for security and mobility, 1999-2001
01/01/1999 → 31/12/2001
Projekter: Projekt › Forskning
Publikationer 1995 2019
PBL og matematik
Hüttel, H., Rasmussen, J. G., Rasmussen, M. G. & Søndergaard, B. D., 2019. 1 s.Publikation: Konferencebidrag uden forlag/tidsskrift › Poster › Formidling
Åben adgang
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. (red.). Springer, s. 177-184 8 s. (Lecture Notes in Computer Science (LNCS), Bind 11001).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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. (red.). Reading, UK: Academic Conferences and Publishing International, s. 161-169Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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, Bind 276. s. 3-18 16 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang
Fil
π-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 s.Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Åben adgang
Fil
Blended Learning
classroom
Teaching
video
teacher
Presse/medie
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 element af mediedækning
Presse/medie
Debat Fyringer og usikkerhed ødelægger arbejdsmiljø og forskning
18/03/2019
1 element af mediedækning
Presse/medie
Blade Runner: 6 teknologier som scifi-mesterværket forudså
05/10/2017
1 element af mediedækning
Presse/medie