Projekter pr. år
Personlig profil
Emneord
- Datalogi
- proceskalkyler og deres matematiske teori
Fingerprint
Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
- 5 Lignende profiler
Netværk
Klik på punkterne for at se detaljerne.
Projekter
-
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/01/2018 → 01/03/2019
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
-
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. (red.). Springer VS, s. 175-182 8 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11984 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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. (red.). Springer Science+Business Media, s. 105-124 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12470 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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. (red.). Academic Conferences and Publishing International, s. 243-251 9 s. (Proceedings of the European Conference on e-Learning, ECEL, Bind 2020-October).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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. (red.). SCITEPRESS Digital Library, s. 119-130 12 s. (ICISSP 2020 - Proceedings of the 6th International Conference on Information Systems Security and Privacy).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
Using session types for reasoning about boundedness in the pi-calculus
Hüttel, H., 2020, I: Acta Informatica. 57, s. 801–827Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Presse/medier
-
-
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