受强制性开放获取政策约束的文章 - Sofiene Tahar了解详情
可在其他位置公开访问的文章：5 篇
Energy-efficient resource allocation in multi-UAV networks with NOMA
S Najmeddin, S Aïssa, S Tahar
IEEE Transactions on Green Communications and Networking 5 (4), 1906-1917, 2021
强制性开放获取政策： Natural Sciences and Engineering Research Council of Canada
Formalizing physics: automation, presentation and foundation issues
C Kaliszyk, J Urban, U Siddique, S Khan-Afshar, C Dunchev, S Tahar
Intelligent Computer Mathematics: International Conference, CICM 2015 …, 2015
强制性开放获取政策： Austrian Science Fund
A modeling and verification framework for optical quantum circuits
SM Beillahi, MY Mahmoud, S Tahar
Formal Aspects of Computing 31, 321-351, 2019
强制性开放获取政策： Natural Sciences and Engineering Research Council of Canada
Formal verification of rewriting rules for dynamic fault trees
Y Elderhalli, M Volk, O Hasan, JP Katoen, S Tahar
Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019
强制性开放获取政策： German Research Foundation
Tuning framework for stencil computation in heterogeneous parallel platforms
TLB Cheikh, A Aguiar, S Tahar, G Nicolescu
The Journal of Supercomputing 72, 468-502, 2016
强制性开放获取政策： Natural Sciences and Engineering Research Council of Canada
出版信息和资助信息由计算机程序自动确定