Follow
Seyed Hossein HAERI
Seyed Hossein HAERI
Department of Informatics, University of Bergen & Formal Methods Group, IOHK
Verified email at uib.no - Homepage
Title
Cited by
Cited by
Year
On ontology alignment experiments
H Abolhassani, SH Haeri, B Hariri
Webology 3 (3), 2006
352006
Evolutionary coincidence‐based ontology mapping extraction
V Qazvinian, H Abolhassani, SH Haeri, BB Hariri
Expert Systems 25 (3), 221-236, 2008
172008
Reusable Components for Lightweight Mechanisation of Programming Languages
SHH Haeri, S Schupp
Software Composition, 1-16, 2013
102013
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
102007
Observational Equivalence and a New Operational Semantics for Lazy Evaluation with Selective Strictness
SH HAERI
International Conference on Theoretical and Mathematical Foundations of …, 2010
82010
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
72022
Expression Compatibility Problem
SH Haeri, S Schupp
International Symposium on Symbolic Computation in Software Science 7, 2016
72016
Component-based mechanisation of programming languages in embedded settings
SH Haeri
Universitätsbibliothek, 2014
72014
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
62012
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
52017
Coincidence based Mapping Extraction with Genetic Algorithms.
V Qazvinian, H Abolhassani, SH Haeri
WEBIST (2), 176-183, 2007
52007
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
32018
Reasoning about Selective Strictness--Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles
SH Haeri
32009
Coincidence-based refinement of ontology matching
SH Haeri, BB Hariri, H Abolhassani
Joint 3rd International Conference on Soft Computing and Intelligent Systems …, 2006
32006
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
22023
A Family of λ-Calculi with Ports
SH Haeri, P Van Roy
21st TFP. LNCS, February, 2020
22020
Distributed λ-Calculus
SH Haeri, P Van Roy
Technical report, ICTEAM, UCLouvain, Belgium, 2019
22019
Composition of Languages Embedded in Scala
SHH Hossein, P Keir
2019 Federated Conference on Computer Science and Information Systems …, 2019
22019
The system can't perform the operation now. Try again later.
Articles 1–20