BibTeX records: Yehia Abd Alrahman

download as .bib file

@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 = {Formal Techniques for Distributed Objects, Components, and Systems
               - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held
               as Part of the 11th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June
               6-9, 2016, Proceedings},
  pages     = {1--18},
  year      = {2016},
  crossref  = {DBLP:conf/forte/2016},
  url       = {https://doi.org/10.1007/978-3-319-39570-8_1},
  doi       = {10.1007/978-3-319-39570-8_1},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/forte/AlrahmanNL16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Leveraging Applications of Formal Methods, Verification and Validation:
               Foundational Techniques - 7th International Symposium, ISoLA 2016,
               Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  pages     = {539--553},
  year      = {2016},
  crossref  = {DBLP:conf/isola/2016-1},
  url       = {https://doi.org/10.1007/978-3-319-47166-2_38},
  doi       = {10.1007/978-3-319-47166-2_38},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/isola/AlrahmanNL16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {http://arxiv.org/abs/1602.05635},
  archivePrefix = {arXiv},
  eprint    = {1602.05635},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/AlrahmanNL16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
               Salamanca, Spain, April 13-17, 2015},
  pages     = {1840--1845},
  year      = {2015},
  crossref  = {DBLP:conf/sac/2015},
  url       = {http://doi.acm.org/10.1145/2695664.2695668},
  doi       = {10.1145/2695664.2695668},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sac/AlrahmanNLTV15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Rewriting Logic and Its Applications - 10th International Workshop,
               {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
               April 5-6, 2014, Revised Selected Papers},
  pages     = {21--41},
  year      = {2014},
  crossref  = {DBLP:conf/wrla/2014},
  url       = {https://doi.org/10.1007/978-3-319-12904-4_2},
  doi       = {10.1007/978-3-319-12904-4_2},
  timestamp = {Mon, 05 Jun 2017 12:40:38 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wrla/AlrahmanABL14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/forte/2016,
  editor    = {Elvira Albert and
               Ivan Lanese},
  title     = {Formal Techniques for Distributed Objects, Components, and Systems
               - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held
               as Part of the 11th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June
               6-9, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9688},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-39570-8},
  doi       = {10.1007/978-3-319-39570-8},
  isbn      = {978-3-319-39569-2},
  timestamp = {Sun, 21 May 2017 00:17:41 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/forte/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/isola/2016-1,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification and Validation:
               Foundational Techniques - 7th International Symposium, ISoLA 2016,
               Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9952},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47166-2},
  doi       = {10.1007/978-3-319-47166-2},
  isbn      = {978-3-319-47165-5},
  timestamp = {Tue, 23 May 2017 01:12:13 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/isola/2016-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sac/2015,
  editor    = {Roger L. Wainwright and
               Juan Manuel Corchado and
               Alessio Bechini and
               Jiman Hong},
  title     = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
               Salamanca, Spain, April 13-17, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2695664},
  isbn      = {978-1-4503-3196-8},
  timestamp = {Tue, 21 Jul 2015 14:16:42 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sac/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wrla/2014,
  editor    = {Santiago Escobar},
  title     = {Rewriting Logic and Its Applications - 10th International Workshop,
               {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
               April 5-6, 2014, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8663},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-12904-4},
  doi       = {10.1007/978-3-319-12904-4},
  isbn      = {978-3-319-12903-7},
  timestamp = {Mon, 05 Jun 2017 12:40:38 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wrla/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier