Foto:
Hartmut Gau
- E-postSeyed.Haeri@uib.no
- BesøksadresseHIB - Thormøhlens gate 555006 Bergen
- PostadressePostboks 78035020 Bergen
Vitenskapelig artikkel
- (2023). Algebraic Reasoning About Timeliness. Electronic Proceedings in Theoretical Computer Science (EPTCS). 35-54.
- (2022). Mind Your Outcomes: The ∆QSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study<sup>†</sup>. Computers. 38 sider.
Rapport
- (2022). On the Algebraic Properties of Timeliness. .