Author of the publication

A formal model for proving hardware timing properties and identifying timing channels.

, , , , and . Integr., (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Identification of essential proteins via the network topology feature and subcellular localisation., , , , , , and . IJDMB, 16 (4): 328-344 (2016)A Geocomputational Heuristic for Coverage Maximization in Service Facility Siting., , , and . Trans. GIS, 12 (6): 757-773 (2008)Caption-aided speech detection in videos., , , , and . ICASSP, page 141-144. IEEE, (2008)Learning Support Service for Distance Learning Curriculum of Information Security., , , and . FECS, page 80-86. CSREA Press, (2009)Chemical waste water filtration monitoring based on electrical capacitance tomography., , , , and . FSKD, page 1893-1897. IEEE, (2015)The impact of consumer returns policies on consignment contracts with inventory control., , and . European Journal of Operational Research, 233 (2): 398-407 (2014)Modeling and Electrical Simulations of Thin-Film Gated SOI Lateral PIN Photodetectors for High Sensitivity and Speed Performances., , , , and . NCCET, volume 396 of Communications in Computer and Information Science, page 235-243. Springer, (2013)Employing Coded Relay in Multi-hop Wireless Networks, , and . CoRR, (2010)Abnormal behavior recognition using 3D-CNN combined with LSTM., , and . Multim. Tools Appl., 80 (12): 18787-18801 (2021)Short-Term Photovoltaic Power Prediction Based on Similar Days and Improved SOA-DBN Model., , , and . IEEE Access, (2021)