- Home
- About
- Find staff
- Yehia Abd Alrahman
Yehia Abd Alrahman
Senior Lecturer
Formal Methods (FM)About Yehia Abd Alrahman
My Webpage:
-
Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman
Lecture Notes in Computer 91探花 (LNCS) - 2024 -
Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman
International Journal on Software Tools for Technology Transfer (STTT) - 2023 -
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
AAMAS 2022 - 2022 -
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
Lecture Notes in Computer 91探花 book series (LNCS,volume 13703) - 2022 -
Yehia Abd Alrahman, Mauricio Martel, Nir Piterman
Lecture Notes in Computer 91探花 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2022 -
Yehia Abd Alrahman, Victor Braberman, Nicolas D'Ippolito, Nir Piterman, Sebastian Uchitel
2021 American Control Conference - 2021 -
Yehia Abd Alrahman, Nir Piterman
Autonomous Agents and Multi-Agent Systems - 2021 -
Yehia Abd Alrahman, Giulio Garbi
International Journal on Software Tools for Technology Transfer - 2020 -
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
91探花 of Computer Programming - 2020 -
Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman
Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems - 2020 -
Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira
Lecture Notes in Computer 91探花 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2019 -
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Information and Computation - 2019 -
Yehia Abd Alrahman, H. T. Vieira
Journal of Logical and Algebraic Methods in Programming - 2019 -
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi
International Symposium on Leveraging Applications of Formal Methods - 2018 -
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti
Lecture Notes in Computer 91探花 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2018 -
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Lecture Notes in Computer 91探花 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2016 -
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Lecture Notes in Computer 91探花 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2016 -
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo
Proceedings of the ACM Symposium on Applied Computing - 2015 -
Yehia Abd Alrahman, Marina Andric, Alessandro Beggiato, Alberto Lluch Lafuente
Lecture Notes in Computer 91探花 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2014