Author of the publication

A Formally Verified Plasma Vertical Position Control Algorithm.

, , and . FMICS, volume 12327 of Lecture Notes in Computer Science, page 170-188. Springer, (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

Low Overhead CQI Feedback in Multi-Carrier Systems., , , and . GLOBECOM, page 371-375. IEEE, (2007)A Formally Verified Plasma Vertical Position Control Algorithm., , and . FMICS, volume 12327 of Lecture Notes in Computer Science, page 170-188. Springer, (2020)Machine Learning for Vehicular Networks: Recent Advances and Application Examples., , , , , and . IEEE Veh. Technol. Mag., 13 (2): 94-101 (2018)A 32.2 TOPS/W SRAM Compute-in-Memory Macro Employing a Linear 8-bit C-2C Ladder for Charge Domain Computation in 22nm for Edge Inference., , , , , , , and . VLSI Technology and Circuits, page 36-37. IEEE, (2022)A Selective Co-Channel Interference Mitigation Method for Alamouti Code., , , and . ISCC, page 149-154. IEEE Computer Society, (2006)Traffic-Aware CQI Feedback in Multi-Carrier Systems with Non-Saturated Downlink Data., , , and . ICC, page 4922-4926. IEEE, (2008)Automated Approach for Construction of Long-Term, Data-Intensive Watershed Models., and . J. Comput. Civ. Eng., (2018)Development of an open-source software package for watershed modeling with the Hydrological Simulation Program in Fortran., and . Environ. Model. Softw., (2015)Design of a low power SoC testchip for wearables and IoTs., , , , , , , and . Hot Chips Symposium, page 1-27. IEEE, (2015)