About

Overview Research Leadership Media

Community

Overview Blog Essential Cardano Catalyst

Careers Contact

English

IOHK |

Library

About
Library
Research Topics

Library > Seyed Hossein Haeri

Seyed Hossein Haeri

Seyed Hossein Haeri

Software Engineer

Engineering

Belgium

Algebraic Reasoning About Timeliness

Seyed Hossein Haeri,Peter Thompson,Peter Van Roy,Magne Haveraaen,Neil Davies,Mikhail Barash,Kevin Hammond,James Chapman

June 2023, ICE '23

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

Seyed Hossein Haeri,Peter Thompson,Neil Davies,Peter Van Roy,Kevin Hammond,James Chapman

March 2022

DISTRIBUTED SYSTEMS PROOF-OF-STAKE

Products

Cardano
Daedalus
Atala PRISM
Lace
Catalyst
Marlowe
Plutus

Media

Media
Media kit

Courses

Plutus Pioneers
IOG Academy

Legal

DMCA Policy
Privacy Policy
Terms & Conditions

Social

X
Facebook
GitHub
LinkedIn
YouTube
TikTok
Instagram