Abstraction for Crash-Resilient Objects

von Khyzha, Artem
Veröffentlicht in ESOP (31. : 2022 : München) Programming languages and systems (2022)

Effective Semantics for the Modal Logics K and KT via Non-deterministic Matrices

von Lahav, Ori
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)

Aquatic chemistry : for water and wastewater treatment applications

von Lahav, Ori
Veröffentlicht 2019

An Algebraic Theory for Shared-State Concurrency

von Dvir, Yotam
Veröffentlicht in APLAS (20. : 2022 : Auckland) Programming languages and systems (2022)

Verification, model checking and abstract interpretation

Veröffentlicht 2024

Verification, model checking, and abstract interpretation

Veröffentlicht 2024

Verification, model checking, and abstract interpretation : 25th international conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings

View-Based Owicki-Gries Reasoning for Persistent x86-TSO

von Bila, Eleni Vafeiadi
Veröffentlicht in ESOP (31. : 2022 : München) Programming languages and systems (2022)

Schlussbericht für die BMBF-MOST-Wasserkooperation : SepIon : Projektlaufzeit: 01. Juni 2016-31. Mai 2019

von Roth, Hannah
Veröffentlicht 2019

BMBF-MOST-Kooperation: Förderung wassertechnologischer F&E-Vorhaben im Rahmen der deutsch-israelischen Zusammenarbeit auf wissenschaftlich-technischem Gebiet : Schlussbericht

von Lahav, Ori
Veröffentlicht 2018

BMBF-MOST-Kooperation: Förderung wassertechnologischer F&E-Vorhaben im Rahmen der deutsch-israelischen Zusammenarbeit auf wissenschaftlich-technischem Gebiet : Schlussbericht

von Bernstein, Anat
Veröffentlicht 2021