| On ontology alignment experiments H Abolhassani, SH Haeri, B Hariri Webology 3 (3), 2006 | 35 | 2006 |
| Evolutionary coincidence‐based ontology mapping extraction V Qazvinian, H Abolhassani, SH Haeri, BB Hariri Expert Systems 25 (3), 221-236, 2008 | 17 | 2008 |
| Reusable Components for Lightweight Mechanisation of Programming Languages SHH Haeri, S Schupp Software Composition, 1-16, 2013 | 10 | 2013 |
| Coincidence-based scoring of mappings in ontology alignment SH Haeri, H Abolhassani, V Qazvinian, BB Hariri Journal of Advanced Computational Intelligence Vol 11 (7), 2007 | 10 | 2007 |
| Observational Equivalence and a New Operational Semantics for Lazy Evaluation with Selective Strictness SH HAERI International Conference on Theoretical and Mathematical Foundations of …, 2010 | 8 | 2010 |
| Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study SH Haeri, P Thompson, N Davies, P Van Roy, K Hammond, J Chapman Computers 11 (3), 45, 2022 | 7 | 2022 |
| Expression Compatibility Problem SH Haeri, S Schupp International Symposium on Symbolic Computation in Software Science 7, 2016 | 7 | 2016 |
| Component-based mechanisation of programming languages in embedded settings SH Haeri Universitätsbibliothek, 2014 | 7 | 2014 |
| Using functional languages to facilitate C++ metaprogramming SH Haeri, S Schupp, J Hüser Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, 33-44, 2012 | 6 | 2012 |
| Integration of a Decentralised Pattern Matching: Venue for New Paradigm Intermarriage SH Haeri, S Schupp The 8th International Symposium on Symbolic Computation in Software Science …, 2017 | 5 | 2017 |
| Coincidence based Mapping Extraction with Genetic Algorithms. V Qazvinian, H Abolhassani, SH Haeri WEBIST (2), 176-183, 2007 | 5 | 2007 |
| Functional Metaprogramming in C++ and Cross-Lingual Development with HASKELL SH HAERI, S Schupp | 5* | |
| Multiple dispatch using compile-time metaprogramming SH Haeri, P Keir ACM SIGPLAN Conference on Systems, Programming, Languages and Applications …, 2018 | 3 | 2018 |
| Reasoning about Selective Strictness--Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles SH Haeri | 3 | 2009 |
| Coincidence-based refinement of ontology matching SH Haeri, BB Hariri, H Abolhassani Joint 3rd International Conference on Soft Computing and Intelligent Systems …, 2006 | 3 | 2006 |
| Component-based mechanism of programming languages in embedded settings SH HAERI dissertation. Seyed Hossein Haeri, 0 | 3 | |
| Compiler Support for Parallel Evaluation of C++ Constant Expressions A Gozillon, SH HAERI, J Riordan, P Keir 18th Conference on Computer Science and Intelligence Systems, 475–-484, 2023 | 2 | 2023 |
| A Family of λ-Calculi with Ports SH Haeri, P Van Roy 21st TFP. LNCS, February, 2020 | 2 | 2020 |
| Distributed λ-Calculus SH Haeri, P Van Roy Technical report, ICTEAM, UCLouvain, Belgium, 2019 | 2 | 2019 |
| Composition of Languages Embedded in Scala SHH Hossein, P Keir 2019 Federated Conference on Computer Science and Information Systems …, 2019 | 2 | 2019 |
Peter Van RoyProfessor of Computing Science and Engineering, ICTEAM, EPL, Université catholique de LouvainVerified email at uclouvain.be
