Nikolaus Huber
Scholar

Nikolaus Huber

Google Scholar ID: r_3t6zoAAAAJ
PhD Candidate, Uppsala University
embedded systemsreal-time computationprogramming languages
Google Scholar↗
Citations & Impact
All-time
Citations
25
 
H-index
2
 
i10-index
1
 
Publications
9
 
Co-authors
0
 
Contact
No contact links provided.
Publications
3 items
Compiling the Mimosa programming language to RTOS tasks
2025
Cited
0
An Encoding of Interaction Nets in OCaml
Electronic Proceedings in Theoretical Computer Science · 2025
Cited
0
Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)