Author of the publication

Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution).

, , , , , , , , , and . TACAS (2), volume 10206 of Lecture Notes in Computer Science, page 394-398. (2017)

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

Fair Demand Response With Electric Vehicles for the Cloud Based Energy Management Service., and . IEEE Trans. Smart Grid, 9 (1): 458-468 (2018)A Novel Fuzzy Identification Method Based on Ant Colony Optimization Algorithm., and . IEEE Access, (2016)Exploring the effects of web-mediated activity-based learning and meaningful learning on improving students' learning effects, learning engagement, and academic motivation., , , , and . Univers. Access Inf. Soc., 19 (4): 783-798 (2020)Pharmacophore anchor models of flaviviral NS3 proteases lead to drug repurposing for DENV infection., , , , , and . BMC Bioinform., 18 (16): 39-51 (2017)A New Parallel Architecture for Image Compression., , and . CSCWD, page 158-161. IEEE, (2002)The AS-NU System for the M2VoC Challenge., , , , , , , , and . CoRR, (2021)InQSS: a speech intelligibility assessment model using a multi-task learning network., and . CoRR, (2021)Comparing Performance of Malware Classification on Automated Stacking., , , , and . ACM Southeast Regional Conference, page 307-308. ACM, (2020)Increasing Transfer Rate of Sunlight Communication System Using 2×2 Switchable CCR Array., , , , , , , , , and 1 other author(s). ICKII, page 241-243. IEEE, (2022)A Study of Incorporating Articulatory Movement Information in Speech Enhancement., , , , , and . EUSIPCO, page 496-500. IEEE, (2021)