Author of the publication

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

Termination analysis with recursive calling graphs., and . ComComAP, page 276-282. IEEE, (2014)An introduction to INCAPS system., , and . J. Comput. Sci. Technol., 8 (1): 26-37 (1993)SAT-Based Verification of LTL Formulas.. FMICS/PDMC, volume 4346 of Lecture Notes in Computer Science, page 277-292. Springer, (2006)OpenNetVM: A Platform for High Performance Network Service Chains., , , , , , , and . HotMiddlebox@SIGCOMM, page 26-31. ACM, (2016)SvTPM: SGX-Based Virtual Trusted Platform Modules for Cloud Computing., , , , , , , , and . IEEE Trans. Cloud Comput., 11 (3): 2936-2953 (July 2023)Optimality of the Approximation and Learning by the Rescaled Pure Super Greedy Algorithms., , , and . Axioms, 11 (9): 437 (2022)Visual Analytics for Pattern Discovery in Home Care., , , and . Appl. Clin. Inform., 07 (03): 711-730 (2016)Adaptive Multi-Hypergraph Convolutional Networks for 3D Object Classification., , , , , and . IEEE Trans. Multim., (2023)Self-guided Few-shot Semantic Segmentation for Remote Sensing Imagery Based on Large Vision Models., , , , and . CoRR, (2023)Circular Interpolation Trajectory Control of Manipulator Based on LabVIEW., , , , , and . AIAM, page 794-801. IEEE, (2022)