From post

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.

 

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

Current Approaches in Applied Artificial Intelligence: The 2019 IEA/AIE Conference The IEA/AIE 2019 Conference., , , , и . AI Mag., 40 (4): 85-87 (2019)Optimizations for the Boolean Approach to Computing Minimal Hitting Sets., и . ECAI, том 242 из Frontiers in Artificial Intelligence and Applications, стр. 648-653. IOS Press, (2012)BPEL Integration Testing., , и . FASE, том 9033 из Lecture Notes in Computer Science, стр. 69-83. Springer, (2015)Formal analysis of hardware requirements., , , , , и . DAC, стр. 821-826. ACM, (2006)An Automated (F) LTL Test Oracle for Testing with Requirements., и . ISSRE Workshops, стр. 197-204. IEEE Computer Society, (2016)Behavioral Diagnosis of LTL Specifications at Operator Level., и . IJCAI, стр. 1053-1059. IJCAI/AAAI, (2013)Focused Diagnosis for Failing Software Tests., , , и . IEA/AIE, том 9101 из Lecture Notes in Computer Science, стр. 712-721. Springer, (2015)Pursuing Intelligent Behavior in Cyber-Physical Systems by Lightweight Diagnosis., , и . Adv. Intell. Syst., (2022)Symbolic Implementation of Alternating Automata., , , , и . CIAA, том 4094 из Lecture Notes in Computer Science, стр. 208-218. Springer, (2006)The Route to Success - A Performance Comparison of Diagnosis Algorithms., , , и . IJCAI, стр. 1039-1045. IJCAI/AAAI, (2013)