( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
UNCHARTIT: An Interactive Framework for Program Recovery from Charts.

, , , , и . ASE, стр. 175-186. IEEE, (2020)

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.

Christiane Rüben

Antimikrobielle Wirksamkeit von chemischen Einzelkomponenten ätherischer Öle gegenüber ausgewählten Lebensmittelverderbniserregern. TierH Hannover, (2009)

Michael Martins

Ludwig Martins

Olaf Martins

Christine Martins

 

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

Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT., , , и . J. Satisf. Boolean Model. Comput., 11 (1): 73-97 (2019)Program equivalence for assisted grading of functional programs., , , и . Proc. ACM Program. Lang., 4 (OOPSLA): 171:1-171:29 (2020)MaxSAT Evaluation 2018: New Developments and Detailed Results., , и . J. Satisf. Boolean Model. Comput., 11 (1): 99-131 (2019)SyRust: automatic testing of Rust libraries with semantic-aware program synthesis., , , и . PLDI, стр. 899-913. ACM, (2021)Automating network heuristic design and analysis., , , , и . HotNets, стр. 8-16. ACM, (2022)Improving Search Space Splitting for Parallel SAT Solving., , и . ICTAI (1), стр. 336-343. IEEE Computer Society, (2010)Formal Verification of a Mixed-Trust Synchronization Protocol., , , , , , , и . RTNS, стр. 57-67. ACM, (2021)Towards provably performant congestion control., , , , и . NSDI, USENIX Association, (2024)Clause Sharing in Parallel MaxSAT., , и . LION, том 7219 из Lecture Notes in Computer Science, стр. 455-460. Springer, (2012)Open-WBO: A Modular MaxSAT Solver, ., , и . SAT, том 8561 из Lecture Notes in Computer Science, стр. 438-445. Springer, (2014)