Projects per year
Personal profile
Keywords
- Computer Science
- process calculi and their underlying theories
Fingerprint
- 1 Similar Profiles
Network
Projects
- 5 Finished
-
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
Project: Other
-
Vejledning og IT-platform: PBL Exchange
Hüttel, H., Gnaur, D. & Nørmark, K.
01/02/2017 → 01/05/2018
Project: Research
-
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
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
-
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, p. 66-74 9 p. 9700397Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile11 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, p. 1-13 13 p. (PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
1 Citation (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. (ed.). Association for Computing Machinery, p. 51-58 8 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
1 Citation (Scopus) -
Certifying Time Complexity of Agda Programs Using Complexity Signatures
Hüttel, H., Møllnitz, C. B., Elgaard, J. & Rannes, S., Nov 2021.Research output: Contribution to conference without publisher/journal › Conference abstract for conference › Research › 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. (eds.). Academic Conferences and Publishing International, p. 42-49 8 p. (Proceedings of the European Conference on e-Learning, ECEL).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
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