( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Finding and understanding bugs in software model checkers.

, , , , , и . ESEC/SIGSOFT FSE, стр. 763-773. ACM, (2019)

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.

Ting Su

M Tingart

Wen-tsi Ting

Marianne Tinguely Kovarik

Karl Tingwaldt

 

Другие публикации лиц с тем же именем

Hierarchical Alignment With Polar Contrastive Learning for Next-Basket Recommendation., , , , и . IEEE Trans. Knowl. Data Eng., 36 (1): 199-210 (января 2024)Basket Booster for Prototype-based Contrastive Learning in Next Basket Recommendation., , , и . ECML/PKDD (1), том 13713 из Lecture Notes in Computer Science, стр. 574-589. Springer, (2022)MCRec: Multi-channel Gated Gifts Recommendation., , , и . ICDM, стр. 548-557. IEEE, (2023)High-Performance Estimation of Jamming Covariance Matrix for IRS-Aided Directional Modulation Network With a Malicious Attacker., , , , , , и . IEEE Trans. Veh. Technol., 71 (9): 10137-10142 (2022)iFixDataloss: a tool for detecting and fixing data loss issues in Android apps., , , , , и . ISSTA, стр. 785-788. ACM, (2022)Effectively Finding ICC-related Bugs in Android Apps via Reinforcement Learning., , , , и . ISSRE, стр. 403-414. IEEE, (2023)A compressed 2D-DOA and polarization estimation algorithm for mmWave polarized massive MIMO systems., , , , и . Digit. Signal Process., (2024)Software Engineering for OpenHarmony: A Research Roadmap., , , , , , , , , и 5 other автор(ы). CoRR, (2023)Matroids of Gain Signed Graphs., , и . Discret. Comput. Geom., 72 (2): 503-549 (сентября 2024)Deep differential testing of JVM implementations., , и . ICSE, стр. 1257-1268. IEEE / ACM, (2019)