Messaoud Abbas
مسعود عباسProfessor
17
Research output
139
Citations
6
h-index
Rate this researcherNo rating yet
The average shows from 3 ratings.
Weighted concepts mined from titles, abstracts and topics of the research output, grouped by field.
Computer Science
- Model-Driven Software Engineering Techniques
- Logic, programming, and type systems
- Formal Methods in Verification
- Artificial Intelligence
- Computer Science
- Software
- Computational Theory and Mathematics
- Cryptography and Data Security
- Service-Oriented Architecture and Web Services
- Mobile Ad Hoc Networks
- Information Systems
- Computer Networks and Communications
- Advanced Authentication Protocols Security
- Blockchain Technology Applications and Security
Engineering
- Recycled Aggregate Concrete Performance
- Materials Engineering and Processing
- UAV Applications and Optimization
- Engineering
- Building and Construction
- Civil and Structural Engineering
- Mechanical Engineering
- Innovative concrete reinforcement materials
- Concrete and Cement Materials Research
- Safety Systems Engineering in Autonomy
Neuroscience
Keyphrases
- formal verification
- Object Constraint Language
- compressive strength
- automated theorem proving
- UML
- recycled aggregate concrete
- flexural strength
- capillary water absorption
- porosity
- slump
- formal transformation
- model-driven engineering
- recycled sand
- dune sand
- polyethylene terephthalate fibers
- flying ad hoc networks
- service selection
- 5G
- unmanned aerial vehicles
- game theory
- deep learning
- service discovery
- convolutional neural networks
- medical image classification
- critical systems