Seyed Hossein Haeri
Seyed Hossein Haeri
Institute for Software Systems, Hamburg University of Technology
Verified email at tuhh.de - Homepage
Title
Cited by
Cited by
Year
On ontology alignment experiments
H Abolhassani, SH Haeri, B Hariri
Webology 3 (3), 2006
332006
Evolutionary coincidence‐based ontology mapping extraction
V Qazvinian, H Abolhassani, SH Haeri, BB Hariri
Expert Systems 25 (3), 221-236, 2008
172008
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
92007
Reusable Components for Lightweight Mechanisation of Programming Languages
SHH Haeri, S Schupp
Software Composition, 1-16, 2013
82013
Observational Equivalence and a New Operational Semantics for Lazy Evaluation with Selective Strictness
SH HAERI
International Conference on Theoretical and Mathematical Foundations of …, 2010
72010
Component-based mechanisation of programming languages in embedded settings
SH Haeri
Universitätsbibliothek, 2014
62014
Expression Compatibility Problem
SH Haeri, S Schupp
International Symposium on Symbolic Computation in Software Science 7, 2016
52016
Functional Metaprogramming in C++ and Cross-Lingual Development with HASKELL
SH HAERI, S Schupp
5*
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
42017
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
42012
Coincidence based Mapping Extraction with Genetic Algorithms.
V Qazvinian, H Abolhassani, SH Haeri
WEBIST (2), 176-183, 2007
42007
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
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
Multiple dispatch using compile-time metaprogramming
SH Haeri, P Keir
ACM SIGPLAN Conference on Systems, Programming, Languages and Applications …, 2018
22018
Declarative, sliding window aggregations for computations at the edge
C Meiklejohn, SH Haeri, P Van Roy
2016 13th IEEE Annual Consumer Communications & Networking Conference (CCNC …, 2016
22016
Distributed Lazy Evaluation: A Big-Step Mechanised Semantics
SH Haeri, S Schupp
Parallel, Distributed and Network-Based Processing (PDP), 2014 22nd …, 2014
22014
Reasoning about Selective Strictness--Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles
SH Haeri
22009
The system can't perform the operation now. Try again later.
Articles 1–20