Seyed Hossein HAERI

About Seyed Hossein HAERI

Seyed Hossein HAERI, With an exceptional h-index of 6 and a recent h-index of 4 (since 2020), a distinguished researcher at Universitetet i Bergen, specializes in the field of Computer Science, Programming Languages.

His recent articles reflect a diverse array of research interests and contributions to the field:

Check for Performance Analysis of Compiler Support for Parallel Evaluation of C++ Constant Expressions

Performance Analysis of Compiler Support for Parallel Evaluation of C++ Constant Expressions

Algebraic Reasoning About Timeliness

Compiler Support for Parallel Evaluation of C++ Constant Expressions

On the Algebraic Properties of Timeliness

Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study

Mind Your Outcomes: The∆ Q approach to Quality-Centric Systems Development and Its Application to a Blockchain Case-Study

Mind Your Outcomes

Seyed Hossein HAERI Information

University

Position

Department of Informatics & Formal Methods Group IOHK

Citations(all)

143

Citations(since 2020)

44

Cited By

127

hIndex(all)

6

hIndex(since 2020)

4

i10Index(all)

3

i10Index(since 2020)

0

Email

University Profile Page

Google Scholar

Seyed Hossein HAERI Skills & Research Interests

Computer Science

Programming Languages

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
Seyed Hossein Haeri

H-Index: 4

Performance Analysis of Compiler Support for Parallel Evaluation of C++ Constant Expressions

2023/9/17

Seyed Hossein Haeri
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

Mind Your Outcomes: The∆ Q approach to Quality-Centric Systems Development and Its Application to a Blockchain Case-Study

2022/1/24

Piecewise Relative Observational Purity

4th ProWeb. ACM

2020/3

Seyed Hossein Haeri
Seyed Hossein Haeri

H-Index: 4

Peter Van Roy
Peter Van Roy

H-Index: 12

Purely Functional Distributed Systems Programming

2020

Seyed Hossein Haeri
Seyed Hossein Haeri

H-Index: 4

Peter Van Roy
Peter Van Roy

H-Index: 12

A Family of λ-Calculi with Ports

21st TFP. LNCS, February

2020

Seyed Hossein Haeri
Seyed Hossein Haeri

H-Index: 4

Peter Van Roy
Peter Van Roy

H-Index: 12

See List of Professors in Seyed Hossein HAERI University(Universitetet i Bergen)

Co-Authors

academic-engine