Youssef Hamadi
AuthID: R-00G-DGC
1
TÃTULO: Fully Automated HTML and JavaScript Rewriting for Constructing a Self-healing Web Proxy Full Text
AUTORES: Thomas Durieux; Youssef Hamadi; Martin Monperrus;
PUBLICAÇÃO: 2020, FONTE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 30, NÚMERO: 2
AUTORES: Thomas Durieux; Youssef Hamadi; Martin Monperrus;
PUBLICAÇÃO: 2020, FONTE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 30, NÚMERO: 2
INDEXADO EM: Scopus WOS
2
TÃTULO: Tractability: Practical Approaches to Hard Problems
AUTORES: Lucas Bordeaux; Youssef Hamadi; Pushmeet Kohli;
PUBLICAÇÃO: 2014
AUTORES: Lucas Bordeaux; Youssef Hamadi; Pushmeet Kohli;
PUBLICAÇÃO: 2014
INDEXADO EM: DBLP
3
TÃTULO: Learning and Intelligent Optimization - 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers
AUTORES: Youssef Hamadi; Marc Schoenauer;
PUBLICAÇÃO: 2012, FONTE: LION, VOLUME: 7219
AUTORES: Youssef Hamadi; Marc Schoenauer;
PUBLICAÇÃO: 2012, FONTE: LION, VOLUME: 7219
INDEXADO EM: DBLP
4
TÃTULO: Learning and Intelligent Optimization
AUTORES: Youssef Hamadi; Marc Schoenauer;
PUBLICAÇÃO: 2012, FONTE: Lecture Notes in Computer Science
AUTORES: Youssef Hamadi; Marc Schoenauer;
PUBLICAÇÃO: 2012, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef
5
TÃTULO: Lazy Decomposition for Distributed Decision Procedures PDF
AUTORES: Youssef Hamadi; João Marques Silva ; Christoph M. Wintersteiger;
PUBLICAÇÃO: 2011, FONTE: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011., VOLUME: 72
AUTORES: Youssef Hamadi; João Marques Silva ; Christoph M. Wintersteiger;
PUBLICAÇÃO: 2011, FONTE: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011., VOLUME: 72
INDEXADO EM: DBLP arXiv