Djihed Afifi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2010–2010
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | CADE | Automated Reasoning in the Simulation of Evolvable Systems. | Djihed Afifi, David E. Rydeheard, Howard Barringer |
| 2010 | RV | ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems. | Djihed Afifi, David E. Rydeheard, Howard Barringer |