Seyed Hossein Haeri

According to our database, Seyed Hossein Haeri authored at least 19 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Algebraic Reasoning About Timeliness.

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

Proceedings of the Proceedings 16th Interaction and Concurrency Experience, 2023

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

Andrew Gozillon, Seyed Hossein Haeri, James Riordan, Paul Keir

Proceedings of the Software, System, and Service Engineering, 2023

2022

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

Seyed H. Haeri, Peter Thompson, Neil J. Davies, Peter Van Roy, Kevin Hammond, James Chapman

Comput., 2022

2019

Instructed late binding.

Seyed Hossein Haeri, Paul Keir

Proceedings of the 23rd Pan-Hellenic Conference on Informatics, 2019

Solving the Expression Problem in C++, á la LMS.

Seyed Hossein Haeri, Paul Keir

Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019

Composition of Languages Embedded in Scala.

Seyed Hossein Haeri, Paul Keir

Proceedings of the 2019 Federated Conference on Computer Science and Information Systems, 2019

2018

Intrinsic Currying for C++ Template Metaprograms.

Paul Keir, Andrew Gozillon, Seyed Hossein Haeri

Proceedings of the Trends in Functional Programming - 19th International Symposium, 2018

2017

Integration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage.

Seyed H. Haeri, Sibylle Schupp

Proceedings of the SCSS 2017, 2017

2016

Worlds of Events: Deduction with Partial Knowledge about Causality.

Seyed H. Haeri (Hossein), Peter Van Roy, Carlos Baquero, Christopher Meiklejohn

Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

Expression Compatibility Problem.

Seyed H. Haeri, Sibylle Schupp

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

Declarative, sliding window aggregations for computations at the edge.

Christopher Meiklejohn, Seyed H. Haeri, Peter Van Roy

Proceedings of the 13th IEEE Annual Consumer Communications & Networking Conference, 2016

2015

Component-based mechanisation of programming languages in embedded settings.

Seyed H. Haeri

PhD thesis, 2015

2014

Distributed Lazy Evaluation: A Big-Step Mechanised Semantics.

Seyed H. Haeri, Sibylle Schupp

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

2013

Reusable Components for Lightweight Mechanisation of Programming Languages.

Seyed H. Haeri, Sibylle Schupp

Proceedings of the Software Composition - 12th International Conference, 2013

2012

Using functional languages to facilitate C++ metaprogramming.

Seyed H. Haeri, Sibylle Schupp, Jonathan J. Hüser

Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, 2012

2008

Evolutionary coincidence-based ontology mapping extraction.

Vahed Qazvinian, Hassan Abolhassani, Seyed H. Haeri (Hossein), Babak Bagheri Hariri

Expert Syst. J. Knowl. Eng., 2008

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

Coincidence based Mapping Extraction with Genetic Algorithms.

Vahed Qazvinian, Hassan Abolhassani, Seyed H. Haeri

Proceedings of the WEBIST 2007, 2007

2006

On Ontology Alignment Experiments.

Hassan Abolhassani, Babak Bagheri Hariri, Seyed H. Haeri

Webology, 2006