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.

 

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

Progress Report on the Disjunctive Deductive Database System dlv., , , , и . FQAS, том 1495 из Lecture Notes in Computer Science, стр. 148-163. Springer, (1998)Shape Expressions for Specifying and Extracting Signal Features., , , , и . RV, том 11757 из Lecture Notes in Computer Science, стр. 292-309. Springer, (2019)Sampling of shape expressions with ShapEx., , , , и . MEMOCODE, стр. 118-125. ACM, (2021)Extending Disjunctive Logic Programming by T-norms.. LPNMR, том 1730 из Lecture Notes in Computer Science, стр. 290-304. Springer, (1999)CPSDebug: Automatic failure explanation in CPS models., , , , и . Int. J. Softw. Tools Technol. Transf., 23 (5): 783-796 (2021)Mining Shape Expressions with ShapeIt., , , , , и . SEFM, том 13085 из Lecture Notes in Computer Science, стр. 110-117. Springer, (2021)The dlv System: Model Generator and Advanced Frontends (system description)., , , , , , , , и . WLP, Ludwig Maximilians Universität München, (1997)Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget - a Bandgap Case Study., , , , , и . CODES+ISSS, стр. 21-24. IEEE, (2022)Modeling Java Programs for Diagnosis., , и . ECAI, стр. 171-175. IOS Press, (2000)Unification of Bounded Simple Set Terms in Deductive Databases., , и . Logic in Databases, том 1154 из Lecture Notes in Computer Science, стр. 435-453. Springer, (1996)