( en | de | ru )

 

Disambiguierung von "Martins, Ruben"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Finding Invariants of Distributed Systems: It's a Small (Enough) World After All.

, , , und . NSDI, Seite 115-131. USENIX Association, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Christiane Rüben

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

Ludwig Martins

Michael Martins

Olaf Martins

Christine Martins

 

Weitere Publikationen von Autoren mit dem selben Namen

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