Skip to content

Hossein HAERI

  • Dr rer. nat., MPhil, BSc
  • Post-Doctoral Research Fellow
  • Universite catholique de Louvain
  • 21PublicationsNumber of items in Hossein's My Publications folder on Mendeley.
  • 4Followers

Publications (20)

  • Coincidence-Based Refinement of Ontology Matching

    • S. H. HAERI
    • B. B. Hariri
    • H. Abolhassani
    N/AReaders
    N/ACitations
  • Declarative, sliding window aggregations for computations at the edge

    • Meiklejohn C
    • Haeri S
    • Van Roy P
    N/AReaders
    N/ACitations
    Get full text
  • Worlds of events: Deduction with partial knowledge about causality

    • Haeri S
    • Van Roy P
    • Baquero C
    • et al.
    N/AReaders
    N/ACitations
    Get full text
  • Distributed lazy evaluation: A big-step mechanised semantics

    • Haeri S
    • Schupp S
    N/AReaders
    N/ACitations
    Get full text
  • Distributed Lazy Evaluation: A Big-Step Mechanised Semantics

    • Seyed H. HAERI
    • Sibylle Schupp
    N/AReaders
    N/ACitations
  • Reusable components for lightweight mechanisation of programming languages

    • Haeri S
    • Schupp S
    N/AReaders
    N/ACitations
    Get full text
  • Reusable Components for Lightweight Mechanisation of Programming Languages

    • Seyed H. HAERI S
    N/AReaders
    N/ACitations
  • Using functional languages to facilitate C++ metaprogramming

    • Haeri S
    • Schupp S
    • Hüser J
    N/AReaders
    N/ACitations
    Get full text
  • Using Functional Languages to Facilitate C++ Metaprogramming

    • Seyed H. HAERI
    • Sibylle Schupp
    • Jonathan Heuser
    N/AReaders
    N/ACitations
  • Functional Metaprogramming in C++ and Cross-Lingual Development with Haskell

    • Haeri S
    • Schupp S
    N/AReaders
    N/ACitations
  • Observational equivalence and a new operational semantics for lazy evaluation with selective strictness

    • Haeri S
    N/AReaders
    N/ACitations
  • Observational Equivalence and a New Operational Semantics for Lazy Evaluation with Selective Strictness

    • Seyed H. HAERI (Hossein)
    N/AReaders
    N/ACitations
  • Observational Equivalence between Lazy Programs in Presence of Selective Strictness

    • Seyed H. HAERI (Hossein)
    N/AReaders
    N/ACitations
  • Reasoning about Selective Strictness: Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles

    • Seyed H. HAERI (Hossein)
    N/AReaders
    N/ACitations
  • Evolutionary coincidence-based ontology mapping extraction

    • Qazvinian V
    • Abolhassani H
    • Haeri S
    • et al.
    N/AReaders
    N/ACitations
    Get full text
  • Coincidence based mapping extraction with genetic algorithms

    • V. Qazvinian
    • H. Abolhassani
    • S. H. Haeri
    N/AReaders
    N/ACitations
  • Coincidence-Based Scoring of Mappings in Ontology Alignment

    • Seyed H. Haeri (Hossein)
    • Babak Bagheri Hariri
    • Hassan Abolhassani
    • et al.
    N/AReaders
    N/ACitations
  • A new Structural Measure based on Graphs of Ontologies

    • Abolhassani H.
    • B. B. Hariri
    • S. H. HAERI
    N/AReaders
    N/ACitations
  • On ontology alignment experiments

    • Abolhassani H
    • Hariri B
    • Haeri S
    N/AReaders
    N/ACitations
  • On Ontology Alignment Experiments

    • Abolhassani H
    • Bagheri-Hariri B
    • Haeri S
    N/AReaders
    N/ACitations