Projekter pr. år
Personlig profil
Emneord
- Datalogi
- proceskalkyler og deres matematiske teori
Fingerprint
- 1 Lignende profiler
Netværk
Projekter
- 5 Afsluttet
-
PBL og matematik: Hvordan kan PBL fungere på universitetets grundfag? (Strategic Council for Education at AAU)
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
-
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 → 31/12/2016
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 Generic Type System for Higher-Order Ψ-calculi
Bendixen, A. R., Bojesen, B. B., Hüttel, H. & Lybech, S., 6 sep. 2022, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 368, s. 43-59 17 s.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Åben adgangFil1 Citationer (Scopus)7 Downloads (Pure) -
A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages
Saioc, G. V. & Hüttel, H., 19 sep. 2022, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 369, s. 51-66 16 s.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Åben adgang -
Key Agreement in the Lightning Network Protocol
Hüttel, H. & Staroveški, V., 2022, Information Systems Security and Privacy - 6th International Conference, ICISSP 2020, Revised Selected Papers. Furnell, S., Mori, P., Weippl, E. & Camp, O. (red.). Springer, s. 139-155 17 s. (Communications in Computer and Information Science, Bind 1545 CCIS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
An Editor Calculus With Undo/Redo
Kjær, R. R., Lundbergh, M. H., Nielsen, M. M. & Hüttel, H., dec. 2021, Proceedings of 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). Schneider, C., Marin, M., Negru, V. & Zaharie, D. (red.). IEEE, s. 66-74 9 s. 9700397. (Proceedings - 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil46 Downloads (Pure) -
A type-safe structure editor calculus
Godiksen, C., Herrmann, T., Hüttel, H., Lauridsen, M. K. & Owliaie, I., 18 jan. 2021, PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021. Association for Computing Machinery, s. 1-13 13 s. (PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
1 Citationer (Scopus)
Presse/medier
-
-
Perfekt klonede menneskelige stemmer trænger ind i din øregang
20/04/2023 → 28/04/2023
3 elementer af Mediedækning
Presse/medie
-
Over 1.000 forskere og techmoguler i opråb: Sæt øjeblikkeligt udviklingen af kunstig intelligens på pause
29/03/2023 → 03/04/2023
6 elementer af Mediedækning
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