| Kripke’s worlds: An introduction to modal logics via tableaux O Gasquet, A Herzig, B Said, F Schwarzentruber Springer Science & Business Media, 2013 | 23 | 2013 |
| Graph rewriting for model construction in modal logic B Said Université de Toulouse I - Paul Sabatier, 2010 | 7* | 2010 |
| A blockchain model for secure communications in internet of vehicles K Mershad, B Said 2020 IEEE/ACS 17th International Conference on Computer Systems and …, 2020 | 6 | 2020 |
| Cognitive Architecture For Embodied Conversational Agent: Application On Virtual Learning Environment B Nakhal, E Bevacqua, B Said, R Querrec International Conference on Education and New Learning Technologies (EDULEARN), 2016 | 5 | 2016 |
| A framework for the development of serious games for assessment F Hamiye, B Said, B Serhan International Conference on Games and Learning Alliance, 407-416, 2019 | 4 | 2019 |
| Knowledge engineering for competence assessment on serious games based on semantic web L Cheniti-Belcadhi, GA El Khayat, B Said 2019 IEEE Second International Conference on Artificial Intelligence and …, 2019 | 4 | 2019 |
| Question Answering System to Support University Students’ Orientation, Recruitment and Retention WA Elnozahy, GA El Khayat, L Cheniti-Belcadhi, B Said Procedia Computer Science 164, 56-63, 2019 | 4 | 2019 |
| What do you mean by learning lab? E Sanchez, E Paukovics, L Cheniti-Belcadhi, G El Khayat, B Said, ... Education and Information Technologies, 1-20, 2021 | 3 | 2021 |
| An ontology for personalization in serious games for assessment B Said, L Cheniti-Belcadhi, G El Khayat 2019 IEEE Second International Conference on Artificial Intelligence and …, 2019 | 3 | 2019 |
| Modèles ontologiques pour un ePortfolio d’évaluation des compétences à travers les jeux sérieux A Ghedir, B Said, L Cheniti-Belcadhi, G El Khayat theme is: Humanitarian ICT., 67, 2018 | 3 | 2018 |
| Personnalisation de l’évaluation dans les jeux sérieux N Salhi, B Said, L Cheniti-Belcadhi, G El Khayat theme is: Humanitarian ICT., 75, 2018 | 3 | 2018 |
| Modeling and code generation of serious games for assessment F Hamieh, L Cheniti-Belcadhi, B Said, G El Khayat theme is: Humanitarian ICT., 94, 2018 | 3 | 2018 |
| Utilizing Roadside Units and Software Defined Networking to Route Packets Efficiently in Internet of Vehicles K Mershad, B Said 2020 IEEE/ACS 17th International Conference on Computer Systems and …, 2020 | 2 | 2020 |
| Modèles Ontologiques Pour des Scénarios D’évaluation des Compétences à L'aide de Jeux Sérieux G Testouri, B Said, L Cheniti-Belcadhi, G El Khayat theme is: Humanitarian ICT., 84, 2018 | 2 | 2018 |
| A semantics for an event based generic tableau prover O Gasquet, B Said, F Schwarzentruber International Conference on Automated Reasoning with Analytic Tableaux and …, 2009 | 2 | 2009 |
| PERSONALIZATION IN SERIOUS GAMES FOR ASSESSMENT B Serhan, B Said, L Cheniti, G El Khayat | 1 | 2018 |
| Modal logics with transitive closure O Gasquet, A Herzig, B Said, F Schwarzentruber Kripke’s Worlds, 157-189, 2014 | 1 | 2014 |
| Efficient Graph Rewriting System Using Local Event-driven Pattern Matching B Said, O Gasquet Graph Computation Models, 28, 2008 | 1 | 2008 |
| Tableaux with dynamic filtration for layered modal logics O Gasquet, B Said International Conference on Automated Reasoning with Analytic Tableaux and …, 2007 | 1 | 2007 |
| DIAMOND: A tool for monitoring the participation of students in online lectures K Mershad, B Said Education and Information Technologies, 1-31, 2022 | | 2022 |
Olivier GasquetProfesseur d'informatique, Université Paul SabatierGeverifieerd e-mailadres voor irit.fr
