Seyed Hossein HAERI
Universitetet i Bergen
H-index: 6
Europe-Norway
Top articles of Seyed Hossein HAERI
Check for Performance Analysis of Compiler Support for Parallel Evaluation of C++ Constant Expressions
Software, System, and Service Engineering: S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Wa
2024/1/2
Seyed Hossein Haeri
H-Index: 4
Performance Analysis of Compiler Support for Parallel Evaluation of C++ Constant Expressions
2023/9/17
Seyed Hossein Haeri
H-Index: 4
Algebraic Reasoning About Timeliness
arXiv preprint arXiv:2308.10654
2023/8/21
Compiler Support for Parallel Evaluation of C++ Constant Expressions
2023
On the Algebraic Properties of Timeliness
2023
Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study
Computers
2022/3/17
Seyed Hossein Haeri
H-Index: 4
Peter Thompson
H-Index: 22
Neil Davies
H-Index: 15
Peter Van Roy
H-Index: 12
James Chapman
H-Index: 20
Mind Your Outcomes: The∆ Q approach to Quality-Centric Systems Development and Its Application to a Blockchain Case-Study
2022/1/24
Seyed Hossein Haeri
H-Index: 4
Peter Thompson
H-Index: 22
Neil Davies
H-Index: 15
Peter Van Roy
H-Index: 12
James Chapman
H-Index: 20
Mind Your Outcomes
2021
Seyed Hossein Haeri
H-Index: 4
Peter Thompson
H-Index: 22
Neil Davies
H-Index: 15
Peter Van Roy
H-Index: 12
James Chapman
H-Index: 20
Piecewise Relative Observational Purity
4th ProWeb. ACM
2020/3
Seyed Hossein Haeri
H-Index: 4
Peter Van Roy
H-Index: 12
Purely Functional Distributed Systems Programming
2020
Seyed Hossein Haeri
H-Index: 4
Peter Van Roy
H-Index: 12
A Family of λ-Calculi with Ports
21st TFP. LNCS, February
2020
Seyed Hossein Haeri
H-Index: 4
Peter Van Roy
H-Index: 12