Hakim Belhaouari - Citegraph

Author Info

Name	Affiliation	Papers
HAKIM BELHAOUARI	Laboratoire d'Informatique de Paris 6, UPMC Paris Universitas,	6
Collaborators	Citations	PageRank
9	5	2.15
Referers	Referees	References
19	99	35

Publications (6 rows)

Collaborators (9 rows)

Referers (19 rows)

Referees (99 rows)

Title	Citations	PageRank	Year
A General Physical-Topological Framework Using Rule-Based Language For Physical Simulation	0	0.34	2017
A Modular Approach Based on Graph Transformation to Simulate Tearing and Fractures on Various Mechanical Models	0	0.34	2017
Specification and verification of access control policies in EB3SEC: work in progress	0	0.34	2011
A Lightweight Container Architecture for Runtime Verification	3	0.42	2008
A Constraint Logic Programming Approach to Automated Testing	2	0.38	2008
Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach	0	0.34	2008

1