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.

 

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

Optimality in goal-dependent analysis of Sharing., и . Theory Pract. Log. Program., 9 (5): 617-689 (2009)Artificial intelligence and renegotiation of commercial lease contracts affected by pandemic-related contingencies from Covid-19. The project A.I.A.Co., , , , , , и . CoRR, (2022)Discovering invariants via simple component analysis., , и . J. Symb. Comput., 47 (12): 1533-1560 (2012)Leela Zero Score: a Study of a Score-based AlphaGo Zero., , , , , и . CoRR, (2022)On the Need for a Common API for Abstract Domains of Object-Oriented Programs., , и . FTfJP@ECOOP, стр. 15-17. ACM, (2022)Indexed Categories and Bottom-Up Semantics of Logic Programs., и . LPAR, том 2250 из Lecture Notes in Computer Science, стр. 438-454. Springer, (2001)Efficient Constraint/Generator Removal from Double Description of Polyhedra., , и . NSAD, том 307 из Electronic Notes in Theoretical Computer Science, стр. 3-15. Elsevier, (2014)Increasing biases can be more efficient than increasing weights., , , , , , , , , и . WACV, стр. 2798-2807. IEEE, (2024)JGMP: Java bindings and wrappers for the GMP library., и . SoftwareX, (июля 2023)Narrowing Operators on Template Abstract Domains., , , и . FM, том 9109 из Lecture Notes in Computer Science, стр. 57-72. Springer, (2015)