Travelled to:
1 × Italy
1 × United Kingdom
Collaborated with:
F.Peschanski A.Arnould P.L.Gall T.Bellet
Talks about:
constraint (1) transform (1) approach (1) topolog (1) program (1) librari (1) geometr (1) jerboa (1) model (1) logic (1)
Person: Hakim Belhaouari
DBLP: Belhaouari:Hakim
Contributed to:
Wrote 2 papers:
- ICGT-2014-BelhaouariAGB #geometry #graph transformation #library #modelling #named
- Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling (HB, AA, PLG, TB), pp. 269–284.
- ICLP-2008-BelhaouariP #approach #automation #constraints #logic programming #testing
- A Constraint Logic Programming Approach to Automated Testing (HB, FP), pp. 754–758.