Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Aly Farahat

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[j1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/taas/FarahatE12
- ask others
Aly Farahat, Ali Ebnenasir: A Lightweight Method for Automated Design of Convergence in Network Protocols. TAAS 7(4): 38 (2012)
[c5]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/edcc/EbnenasirF12
- ask others
Ali Ebnenasir, Aly Farahat: Swarm Synthesis of Convergence for Symmetric Protocols. EDCC 2012: 13-24
[c4]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icdcs/FarahatE12
- ask others
Aly Farahat, Ali Ebnenasir: Local Reasoning for Global Convergence of Parameterized Rings. ICDCS 2012: 496-505
2011
[c3]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ipps/EbnenasirF11
- ask others
Ali Ebnenasir, Aly Farahat: A Lightweight Method for Automated Design of Convergence. IPDPS 2011: 219-230
[c2]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ipps/FarahatE11
- ask others
Aly Farahat, Ali Ebnenasir: Lightweight Methods for Automated Design of Self-Stabilization. IPDPS Workshops 2011: 2014-2017
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/seke/FarahatE11
- ask others
Aly Farahat, Ali Ebnenasir: Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes. SEKE 2011: 619-624

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?