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)
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
-
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). IEEE, s. 66-74 9 s. 9700397Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil8 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) -
Behavioural separation with parallel usages
Golovanov, I., Hüttel, H., Jakobsen, M. & Kettunen, M., 13 jul. 2021, FTfJP 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021. Cok, D. R. (red.). Association for Computing Machinery, s. 51-58 8 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
1 Citationer (Scopus) -
Certifying Time Complexity of Agda Programs Using Complexity Signatures
Hüttel, H., Møllnitz, C. B., Elgaard, J. & Rannes, S., nov. 2021.Publikation: Konferencebidrag uden forlag/tidsskrift › Konferenceabstrakt til konference › Forskning › peer review
-
Going online: Student perspectives in a problem-based learning environment during the pandemic
Andersen, E., Hüttel, H. & Gnaur, D., 2021, Proceedings of the 20th European Conference on e-Learning, ECEL 2021. Busch, C., Steinicke, M., Frieß, R. & Wendler, T. (red.). Academic Conferences and Publishing International, s. 42-49 8 s. (Proceedings of the European Conference on e-Learning, ECEL).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › 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