Bilal Said

Orcid: 0000-0003-2259-6063

According to our database1, Bilal Said authored at least 15 papers between 2007 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report.
Sci. Comput. Program., January, 2024

2022
What do you mean by learning lab?
Educ. Inf. Technol., 2022

DIAMOND: A tool for monitoring the participation of students in online lectures.
Educ. Inf. Technol., 2022

Towards AIDOaRt Objectives via Joint Model-based Architectural Effort.
Proceedings of the Joint Proceedings of RCIS 2022 Workshops and Research Projects Track co-located with the 16th International Conference on Research Challenges in Information Science (RCIS 2022), 2022

A Methodology for Modeling Digital Transformation of Organizations to Integrate Automated Decision-Making Tools based on Artificial Intelligence.
Proceedings of the Joint Proceedings of RCIS 2022 Workshops and Research Projects Track co-located with the 16th International Conference on Research Challenges in Information Science (RCIS 2022), 2022

2020
Utilizing Roadside Units and Software Defined Networking to Route Packets Efficiently in Internet of Vehicles.
Proceedings of the 17th IEEE/ACS International Conference on Computer Systems and Applications, 2020

A Blockchain Model for Secure Communications in Internet of Vehicles.
Proceedings of the 17th IEEE/ACS International Conference on Computer Systems and Applications, 2020

2019
Assessing modelling readiness in a games environment.
Proceedings of the 7th International conference on ICT & Accessibility, 2019

A Framework for the Development of Serious Games for Assessment.
Proceedings of the Games and Learning Alliance - 8th International Conference, 2019

Question Answering System to Support University Students' Orientation, Recruitment and Retention.
Proceedings of the CENTERIS 2019 - International Conference on ENTERprise Information Systems / ProjMAN 2019 - International Conference on Project MANagement / HCist 2019, 2019

An Ontology for Personalization in Serious Games for Assessment.
Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2019

Knowledge Engineering for Competence Assessment on Serious Games Based on Semantic Web.
Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2019

2014
Kripke's Worlds - An Introduction to Modal Logics via Tableaux.
Studies in Universal Logic, Birkhäuser, ISBN: 978-3-7643-8503-3, 2014

2010
Graph rewriting for model construction in modal logic. (Réécriture de graphes pour la construction de modèles en logique modale).
PhD thesis, 2010

2007
Tableaux with Dynamic Filtration for Layered Modal Logics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007


  Loading...