Demissie B. Aredo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2001–2003
Best venue rank
Multiconference
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | SAC | An Integrated Framework for Formal Development of Open Distributed Systems. | Issa Traor, Demissie B. Aredo, Hong Ye |
| 2002 | IFM | Combining Graphical and Formal Development of Open Distributed Systems. | Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo |
| 2001 | APSEC | Specification of Distributed Systems with a Combination of Graphica and Formal Languages. | Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo |