Seyed H. Haeri

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 4

Top Topics

Total Quality Management

Pattern Matching

Denotational Semantics

Top Venues

Hamburg University of Technology (PHD)

Education History

Hamburg University of Technology

PHD

Publications

Seyed H. Haeri, Peter Thompson, Neil Davies, Peter Van Roy, Kevin Hammond, James Chapman
Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study. Comput. 11 (3) (2022)
Seyed H. Haeri, Sibylle Schupp
Integration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage. SCSS (2017)
Seyed H. Haeri, Sibylle Schupp
Expression Compatibility Problem. SCSS (2016)
Christopher Meiklejohn, Seyed H. Haeri, Peter Van Roy
Declarative, sliding window aggregations for computations at the edge. CCNC (2016)
Seyed H. Haeri, Sibylle Schupp
Distributed Lazy Evaluation: A Big-Step Mechanised Semantics. PDP (2014)
Seyed H. Haeri, Sibylle Schupp
Reusable Components for Lightweight Mechanisation of Programming Languages. SC@STAF (2013)
Seyed H. Haeri, Sibylle Schupp, Jonathan Hüser
Using functional languages to facilitate C++ metaprogramming. WGP@ICFP (2012)
Vahed Qazvinian, Hassan Abolhassani, Seyed H. Haeri
Coincidence based Mapping Extraction with Genetic Algorithms. WEBIST (2) (2007)
Hassan Abolhassani, Babak Bagheri Hariri, Seyed H. Haeri
On Ontology Alignment Experiments. Webology 3 (3) (2006)