On Ontology Alignment Experiments. - Hassan Abolhassani; Babak Bagheri Hariri; Seyed H. Haeri (Webology, 2006)

Coincidence based Mapping Extraction with Genetic Algorithms. - Vahed Qazvinian; Hassan Abolhassani; Seyed H. Haeri (WEBIST (2), 2007)

Coincidence-Based Scoring of Mappings in Ontology Alignment. - Seyed H. Haeri (Hossein); Hassan Abolhassani; Vahed Qazvinian; Babak Bagheri Hariri (J. Adv. Comput. Intell. Intell. Informatics, 2007)

Evolutionary coincidence-based ontology mapping extraction. - Vahed Qazvinian; Hassan Abolhassani; Seyed H. Haeri (Hossein); Babak Bagheri Hariri (Expert Syst. J. Knowl. Eng., 2008)

Using functional languages to facilitate C++ metaprogramming. - Seyed H. Haeri; Sibylle Schupp; Jonathan J. Hüser (WGP@ICFP, 2012)

Reusable Components for Lightweight Mechanisation of Programming Languages. - Seyed H. Haeri; Sibylle Schupp (SC@STAF, 2013)

Distributed Lazy Evaluation: A Big-Step Mechanised Semantics. - Seyed H. Haeri; Sibylle Schupp (PDP, 2014)

Component-based mechanisation of programming languages in embedded settings. - Seyed H. Haeri (2015)

Declarative, sliding window aggregations for computations at the edge. - Christopher Meiklejohn; Seyed H. Haeri; Peter Van Roy (CCNC, 2016)

Expression Compatibility Problem. - Seyed H. Haeri; Sibylle Schupp (SCSS, 2016)

Worlds of Events: Deduction with Partial Knowledge about Causality. - Seyed H. Haeri (Hossein); Peter Van Roy; Carlos Baquero; Christopher Meiklejohn (ICE, 2016)

Integration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage. - Seyed H. Haeri; Sibylle Schupp (SCSS, 2017)

Intrinsic Currying for C++ Template Metaprograms. - Paul Keir; Andrew Gozillon; Seyed Hossein Haeri (TFP, 2018)

Composition of Languages Embedded in Scala. - Seyed Hossein Haeri; Paul Keir (FedCSIS, 2019)

Solving the Expression Problem in C++, á la LMS. - Seyed Hossein Haeri; Paul Keir (ICTAC, 2019)

Instructed late binding. - Seyed Hossein Haeri; Paul Keir (PCI, 2019)

Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study. - Seyed H. Haeri; Peter Thompson 002; Neil J. Davies; Peter Van Roy; Kevin Hammond; James Chapman 001 (Comput., 2022)

Performance Analysis of Compiler Support for Parallel Evaluation of C++ Constant Expressions. - Andrew Gozillon; Seyed Hossein Haeri; James Riordan; Paul Keir (KKIO@FedCSIS, 2023)

Algebraic Reasoning About Timeliness. - Seyed Hossein Haeri; Peter W. Thompson 002; Peter Van Roy; Magne Haveraaen; Neil J. Davies; Mikhail Barash; Kevin Hammond; James Chapman 001 (ICE, 2023)