Follow
Salah Merniz
Salah Merniz
Maitre de Conférences en Informatique, Constantine 2 University
Verified email at univ-constantine2.dz
Title
Cited by
Cited by
Year
Antioxidant activity of the essential oil of citrus limon before and after its encapsulation in amorphous SiO2
L Himed, S Merniz, R Monteagudo-Olivan, M Barkat, J Coronas
Scientific African 6, e00181, 2019
492019
Towards enhanced reactive routing in urban Vehicular Ad hoc Networks
B Moussaoui, S Djahel, H Khelifi, S Merniz
2015 International Conference on Protocol Engineering (ICPE) and …, 2015
112015
Energy-efficient MAC protocols for wireless sensor networks: a survey
A Djimli, S Merniz, S Harous
TELKOMNIKA (Telecommunication Computing Electronics and Control) 17 (5 …, 2019
102019
Congestion control techniques in VANETs: A survey
MY Taleb, S Merniz, S Harous
2017 13th International Wireless Communications and Mobile Computing …, 2017
102017
A survey of trajectory based data forwarding schemes for vehicular ad-hoc networks
H Houda, M Salah
2015 IEEE International Conference on Communication Software and Networks …, 2015
82015
ASIP micro-code generation from high-level specifications
M Benmohammed, S Merniz, M Bourahla
Proceedings. 2004 International Conference on Information and Communication …, 2004
72004
VANET cross-layer routing
H Yassine, M Salah
2019 International Conference of Computer Science and Renewable Energies …, 2019
62019
Adaptive-segmentation and flexible-delay based broadcasting protocol for vanets
H Hafi, W Abdou, S Merniz
Wired/Wireless Internet Communications: 15th IFIP WG 6.2 International …, 2017
62017
Chemical composition of Citrus limon (Eureka variety) essential oil and evaluation of its antioxidant and antibacterial activities
H Louiza, M Salah, B Malika
African Journal of Biotechnology 17 (11), 356-361, 2018
52018
Unicast Routing on VANETs
B.Moussaoui, H.Fouchal, M. Ayaida, S.Merniz
Proceedings of the 2016 Federated Conference on Computer and Information …, 2016
5*2016
A Methodology for the Formal Verification of RISC Microprocessors A Functional Approach
S Merniz, M Benmohammed
2007 IEEE/ACS International Conference on Computer Systems and Applications …, 2007
52007
Preservation du concentre de tomate par un agent antifongique (Huile essentielle du citron)
L Himed, S Merniz, M Benbraham, E Boudjouada, M Barkat
African Journal of Food, Agriculture, Nutrition and Development 20 (2 …, 2020
32020
Formal Verification of Superscalar Micro-Architectures: Functional Approach
S Merniz
International Journal on Circuits, systems, and signal processing 2 (1), 2008
32008
A novel hybrid broadcasting protocol based on coverage area segmentation and delay adjustment for VANETs
H Hafi, W Abdou, S Merniz
International Journal of Internet Technology and Secured Transactions 10 (1 …, 2020
22020
Impact of concurrent communications in geographical broadcasting protocols for vehicular ad hoc networks
H Hafi, W Abdou, S Merniz
2017 IEEE 9th Latin-American Conference on Communications (LATINCOM), 1-6, 2017
22017
A Scalable Proof Methodology for RISC Processor Designs: A Functional Approach
S Merniz, M Benmohammed
Fifth International Conference on Information Technology: New Generations …, 2008
22008
Formal Specification and verification of Processor Micro-Architectures: Functional approach
S Merniz
International Review On Computers and Software 3 (3), 0
2*
Cross-layer greedy forwarding algorithm for VANET
Y Hammouche, S Merniz
Journal of High Speed Networks, 1-13, 2022
12022
Formal verification of pipelined cryptographic circuits: A functional approach
A Bitat, S Merniz
Informatica 45 (4), 2021
12021
Routing over VANET in Urban Environments
B Moussaoui, S Merniz, H Fouchal, M Ayaida
Innovations for Community Services: 16th International Conference, I4CS 2016 …, 2016
12016
The system can't perform the operation now. Try again later.
Articles 1–20