Magne Haveraaen | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Marie Farrell
18 publications
Peter Van Roy
7 publications
James Chapman
6 publications
James Davenport
5 publications
Sebastian Krings
4 publications
Markus Roggenbach
4 publications
Kevin Hammond
3 publications
Bernd-Holger Schlingloff
2 publications
Antonio Cerone
2 publications
Nikolay Shilov
2 publications
Rustam Zhumagambetov
2 publications

research

∙ 08/21/2023

Algebraic Reasoning About Timeliness

Designing distributed systems to have predictable performance under high...

0 Seyed Hossein Haeri, et al. ∙

research

∙ 11/03/2022

Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal

Context: Generic programming, as defined by Stepanov, is a methodology f...

0 Benjamin Chetioui, et al. ∙

research

∙ 10/12/2020

Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering – A White Paper

This white paper argues that formal methods need to be better rooted in ...

0 Antonio Cerone, et al. ∙