Till sidans topp

Sidansvarig: Växeln
Sidan uppdaterades: 2018-11-25 19:37

Tipsa en vän
Utskriftsversion

Yehia Abd Alrahman - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Yehia Abd Alrahman

Postdoktor

Yehia Abd Alrahman
Postdoktor
yehia.abd.alrahman@gu.se

Besöksadress: Rännvägen 6 , 41258 Göteborg


Formella metoder vid Institutionen för data- och informationsteknik (Mer information)
412 96 Göteborg
Besöksadress: Rännvägen 6 , 412 58 Göteborg

Senaste publikationer

A calculus for collective-adaptive systems and its behavioural theory
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Information and Computation, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Testing for coordination fidelity
Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Kapitel i bok 2019
Kapitel i bok

GoAt : Attribute-Based Interaction in Google Go
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi
International Symposium on Leveraging Applications of Formal Methods, Springer, Paper i proceeding 2018
Paper i proceeding

A distributed coordination infrastructure for attribute-based interaction
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, Paper i proceeding 2018
Paper i proceeding

Programming of CAS systems by relying on attribute-based communication
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Paper i proceeding 2016
Paper i proceeding

On the power of attribute-based communication
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Paper i proceeding 2016
Paper i proceeding

A calculus for attribute-based communication
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo
Proceedings of the ACM Symposium on Applied Computing, Paper i proceeding 2015
Paper i proceeding

Can we efficiently check concurrent programs under relaxed memory models in Maude?
Yehia Abd Alrahman, Marina Andric, Alessandro Beggiato, Alberto Lluch Lafuente
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Artikel i vetenskaplig tidskrift 2014
Artikel i vetenskaplig tidskrift

Visar 1 - 8 av 8

2019

A calculus for collective-adaptive systems and its behavioural theory
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Information and Computation, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Testing for coordination fidelity
Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Kapitel i bok 2019
Kapitel i bok

2018

GoAt : Attribute-Based Interaction in Google Go
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi
International Symposium on Leveraging Applications of Formal Methods, Springer, Paper i proceeding 2018
Paper i proceeding

A distributed coordination infrastructure for attribute-based interaction
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, Paper i proceeding 2018
Paper i proceeding

2016

Programming of CAS systems by relying on attribute-based communication
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Paper i proceeding 2016
Paper i proceeding

On the power of attribute-based communication
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Paper i proceeding 2016
Paper i proceeding

2015

A calculus for attribute-based communication
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo
Proceedings of the ACM Symposium on Applied Computing, Paper i proceeding 2015
Paper i proceeding

2014

Can we efficiently check concurrent programs under relaxed memory models in Maude?
Yehia Abd Alrahman, Marina Andric, Alessandro Beggiato, Alberto Lluch Lafuente
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Artikel i vetenskaplig tidskrift 2014
Artikel i vetenskaplig tidskrift

Visar 1 - 8 av 8

Sidansvarig: Växeln|Sidan uppdaterades: 2018-11-25
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?