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