BibTeX records: Yehia Abd Alrahman

download as .bib file

@article{DBLP:journals/corr/abs-1711-06092,
  author    = {Yehia Abd Alrahman and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {Programming the Interactions of Collective Adaptive Systems by Relying
               on Attribute-based Communication},
  journal   = {CoRR},
  volume    = {abs/1711.06092},
  year      = {2017}
}
@article{DBLP:journals/corr/abs-1711-09762,
  author    = {Yehia Abd Alrahman and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {A Behavioural Theory for Interactions in Collective-Adaptive Systems},
  journal   = {CoRR},
  volume    = {abs/1711.09762},
  year      = {2017}
}
@inproceedings{DBLP:conf/forte/AlrahmanNL16,
  author    = {Yehia Abd Alrahman and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {On the Power of Attribute-Based Communication},
  booktitle = {{FORTE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9688},
  pages     = {1--18},
  publisher = {Springer},
  year      = {2016}
}
@inproceedings{DBLP:conf/isola/AlrahmanNL16,
  author    = {Yehia Abd Alrahman and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {Programming of {CAS} Systems by Relying on Attribute-Based Communication},
  booktitle = {ISoLA {(1)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9952},
  pages     = {539--553},
  year      = {2016}
}
@article{DBLP:journals/corr/AlrahmanNL16,
  author    = {Yehia Abd Alrahman and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {On the Power of Attribute-based Communication},
  journal   = {CoRR},
  volume    = {abs/1602.05635},
  year      = {2016}
}
@inproceedings{DBLP:conf/sac/AlrahmanNLTV15,
  author    = {Yehia Abd Alrahman and
               Rocco {De Nicola} and
               Michele Loreti and
               Francesco Tiezzi and
               Roberto Vigo},
  title     = {A calculus for attribute-based communication},
  booktitle = {{SAC}},
  pages     = {1840--1845},
  publisher = {{ACM}},
  year      = {2015}
}
@inproceedings{DBLP:conf/wrla/AlrahmanABL14,
  author    = {Yehia Abd Alrahman and
               Marina Andric and
               Alessandro Beggiato and
               Alberto Lluch{-}Lafuente},
  title     = {Can We Efficiently Check Concurrent Programs Under Relaxed Memory
               Models in Maude?},
  booktitle = {{WRLA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8663},
  pages     = {21--41},
  publisher = {Springer},
  year      = {2014}
}
maintained by Schloss Dagstuhl LZI at University of Trier