( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Teaching Logic to Information Systems Students: Challenges and Opportunities.

, и . CoRR, (2015)

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.

Nellie Farchi

Eitan Dabah

Eitan Yaakobi

 

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

6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08)., , и . ISSTA, стр. 309-310. ACM, (2008)Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design., и . SEFM Workshops, том 9509 из Lecture Notes in Computer Science, стр. 35-42. Springer, (2015)Quality Engineering for Agile and DevOps on the Cloud and Edge., и . CoRR, (2023)Using program closures to make an application programming interface (API) implementation thread safe., , , и . PADTAD, стр. 18-24. ACM, (2012)Applications of synchronization coverage., , , , и . PPoPP, стр. 206-212. ACM, (2005)Convex Bounds on the Softmax Function with Applications to Robustness Verification., , , , , и . AISTATS, том 206 из Proceedings of Machine Learning Research, стр. 6853-6878. PMLR, (2023)A Chaos Recommendation Tool for Reliability Testing in Large-Scale Cloud-Native Systems., , , , , , , , , и 1 other автор(ы). COMSNETS, стр. 270-272. IEEE, (2024)Effective Testing and Debugging Techniques for a Group Communication System., , , , и . DSN, стр. 80-85. IEEE Computer Society, (2005)A Novel Metric for Measuring the Robustness of Large Language Models in Non-adversarial Scenarios., , , и . CoRR, (2024)Optimal Search in Trees: Extended Abstract + Appendix., , и . SODA, стр. 739-746. ACM/SIAM, (1997)