关注
Salah Merniz
Salah Merniz
Maitre de Conférences en Informatique, Constantine 2 University
在 univ-constantine2.dz 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
702019
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
132019
Congestion control techniques in VANETs: A survey
MY Taleb, S Merniz, S Harous
2017 13th International Wireless Communications and Mobile Computing …, 2017
102017
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
102015
VANET cross-layer routing
H Yassine, M Salah
2019 International Conference of Computer Science and Renewable Energies …, 2019
92019
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
92018
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
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
72017
ASIP micro-code generation from high-level specifications
M Benmohammed, S Merniz, M Bourahla
Proceedings. 2004 International Conference on Information and Communication …, 2004
72004
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
Unicast Routing on VANETs
B.Moussaoui, H.Fouchal, M. Ayaida, S.Merniz
Proceedings of the 2016 Federated Conference on Computer and Information …, 2016
4*2016
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
Formal Verification of Superscalar Micro-Architectures: Functional Approach
S Merniz
International Journal on Circuits, systems, and signal processing 2 (1), 2008
22008
Cross-layer greedy forwarding algorithm for VANET
Y Hammouche, S Merniz
Journal of High Speed Networks 28 (3), 167-179, 2022
12022
Formal verification of pipelined cryptographic circuits: A functional approach
A Bitat, S Merniz
Informatica 45 (4), 2021
12021
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
12020
Formal Verification of cryptographic circuits : A semi-automatic: Functional approach
SM Abir Bitat
2nd International Conference on Networking, Information Systems & Security …, 2019
1*2019
SysML and Clean Based Methodology for RISC Processor Micro-Architecture Design
ZLS Merniz
International Journal of Embedded and real- time Communication Systems, 6 (1), 2015
1*2015
A Scalable Proof Methodology for RISC Processor Designs: A Functional Approach
S Merniz, M Benmohammed
Fifth International Conference on Information Technology: New Generations …, 2008
12008
系统目前无法执行此操作,请稍后再试。
文章 1–20