Skip to content

Home Search Authors Pakistan News Saved

SciRah

SciRah does not host or store research papers. Results come live from free, official scholarly APIs, and every paper links back to its original source.

Data sources

OpenAlex
Semantic Scholar
Crossref
CORE
arXiv
PubMed

Privacy policy Terms of service

Hakim Belhaouari · SciRah

Researcher profile · Semantic Scholar

Hakim Belhaouari

Share profile

Hakim Belhaouari — researcher profile on SciRah

h-index: 6
Works: 22
Citations: 108

Most-cited papers

Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling
Hakim Belhaouari, Agnès Arnould, P. Le Gall, Thomas Bellet
2014International Conference on Graph Transformation26 citations
Semantic Scholar
A Design by Contract Approach to Verify Access Control Policies
Hakim Belhaouari, Pierre Konopacki, Régine Laleau, M. Frappier
2012IEEE International Conference on Engineering of Complex Computer Systems13 citations Open access
Semantic Scholar
Persistent Naming Based on Graph Transformation Rules to Reevaluate Parametric Specification
A. Cardot, D. Marcheix, Xavier Skapin, Agnès Arnould +1 more
2018Computer-Aided Design and Applications11 citations Open access
Semantic Scholar
Topological consistency preservation with graph transformation schemes
Romain Pascual, P. Le Gall, Agnès Arnould, Hakim Belhaouari
2022Science of Computer Programming9 citations Open access
Semantic Scholar
A General Physical-topological Framework using Rule-based Language for Physical Simulation
F. Ben Salah, Hakim Belhaouari, Agnès Arnould, P. Meseure
2017VISIGRAPP9 citations Open access
Semantic Scholar
Preserving consistency in geometric modeling with graph transformations
Agnès Arnould, Hakim Belhaouari, Thomas Bellet, P. Le Gall +1 more
2022Mathematical Structures in Computer Science7 citations Open access
Semantic Scholar
A Lightweight Container Architecture for Runtime Verification
Hakim Belhaouari, F. Peschanski
2008Runtime Verification6 citations
Semantic Scholar
A Constraint Logic Programming Approach to Automated Testing
Hakim Belhaouari, F. Peschanski
2008International Conference on Logic Programming5 citations
Semantic Scholar
A Topological Approach for Automated Unstructured Meshing of Complex Reservoir
Valentine Gauthier, Agnès Arnould, Hakim Belhaouari, S. Horna +3 more
20164 citations Open access
Semantic Scholar
Reconstruction of Volumes from Soup of Faces with a Formal Topological Approach
Hakim Belhaouari, S. Horna
2018Computer-Aided Design and Applications3 citations Open access
Semantic Scholar
Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions
Thomas Bellet, Agnès Arnould, Hakim Belhaouari, P. Le Gall
2017International Conference on Graph Transformation3 citations
Semantic Scholar
Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach
Hakim Belhaouari, F. Peschanski
20082008 11th IEEE High Assurance Systems Engineering Symposium3 citations
Semantic Scholar
Inferring topological operations on generalized maps: Application to subdivision schemes
Romain Pascual, Hakim Belhaouari, Agnès Arnould, P. Le Gall
2022Graphics and Visual Computing2 citations Open access
Semantic Scholar
Transparent Parallelization of Enrichment Operations in Geometric Modeling
Pierre Bourquat, Hakim Belhaouari, P. Meseure, Valentine Gauthier +1 more
2020VISIGRAPP2 citations Open access
Semantic Scholar
An Integrated Platform for Contract-oriented Development
Hakim Belhaouari, F. Peschanski
20072 citations
Semantic Scholar
Exploitation of local adjacencies for parallel construction of a Reeb graph variant: cerebral vascular tree case
Charles Lepaire, Hakim Belhaouari, Romain Pascual, P. Meseure
2024Journal of WSCG1 citations Open access
Semantic Scholar
A Modular Approach Based on Graph Transformation to Simulate Tearing and Fractures on Various Mechanical Models
F. Ben Salah, Hakim Belhaouari, Agnès Arnould, P. Meseure
2017International Conference in Central Europe on Computer Graphics and Visualization1 citations
Semantic Scholar
Specification and Verification of Access Control Policies in EB3SEC: Work in Progress
Pierre Konopacki, Hakim Belhaouari, M. Frappier, Régine Laleau
2011Foundations and Practice of Security1 citations
Semantic Scholar
Program Synthesis for Geometric Modeling
Romain Pascual, P. Le Gall, Hakim Belhaouari, Agnès Arnould
2025International Workshop/Symposium on Logic-based Program Synthesis and Transformation0 citations
Semantic Scholar
Topological Data Structure: The Fast Marching Example
Sofian Toujja, TH Bay, Hakim Belhaouari, Laurent Fuchs
2023VISIGRAPP0 citations Open access
Semantic Scholar
A First Step Towards the Inference of Geological Topological Operations
Romain Pascual, Hakim Belhaouari, Agnès Arnould, P. Le Gall
2022Eurographics0 citations Open access
Semantic Scholar
Graphics and Visual Computing
Romain Pascual, Hakim Belhaouari, Agnès Arnould, P. Le Gall
0 citations
Semantic Scholar

Frequent co-authors

Invite them to SciRah by sharing their profile.

Agnès Arnould×13
Invite
Agnès Arnould — researcher profile on SciRah
P. Le Gall×8
Invite
P. Le Gall — researcher profile on SciRah
Romain Pascual×7
Invite
Romain Pascual — researcher profile on SciRah
P. Meseure×4
Invite
P. Meseure — researcher profile on SciRah

×4

Invite

F. Peschanski — researcher profile on SciRah

Thomas Bellet×3

Invite

Thomas Bellet — researcher profile on SciRah

Pierre Konopacki×2

Invite

Pierre Konopacki — researcher profile on SciRah

Régine Laleau×2

Invite

Régine Laleau — researcher profile on SciRah

Invite

M. Frappier — researcher profile on SciRah

F. Ben Salah×2

Invite

F. Ben Salah — researcher profile on SciRah

Valentine Gauthier×2

Invite

Valentine Gauthier — researcher profile on SciRah

Invite

S. Horna — researcher profile on SciRah