( en | de | ru )

 

Disambiguierung von "Strichman, Ofer"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model-Guided Synthesis for LTL over Finite Traces.

, , , , , , , und . VMCAI (1), Volume 14499 von Lecture Notes in Computer Science, Seite 186-207. Springer, (2024)

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.

Ofer Engel

Helmut Ofer

Rebekka Ofer

Monika Ofer

Monika Ofer

 

Weitere Publikationen von Autoren mit dem selben Namen

Regression Verification: Proving the Equivalence of Similar Programs.. CAV, Volume 5643 von Lecture Notes in Computer Science, Seite 63. Springer, (2009)Learning General Constraints in CSP., und . CPAIOR, Volume 9075 von Lecture Notes in Computer Science, Seite 410-426. Springer, (2015)Regression verification., und . DAC, Seite 466-471. ACM, (2009)Minimal unsatisfiable core extraction for SMT., , und . FMCAD, Seite 57-64. IEEE, (2016)Predicate Abstraction with Minimum Predicates., , , und . CHARME, Volume 2860 von Lecture Notes in Computer Science, Seite 19-34. Springer, (2003)Decision-Making with Cross-Entropy for Self-Adaptation., , , und . SEAMS@ICSE, Seite 90-101. IEEE Computer Society, (2017)Decision Procedures - An Algorithmic Point of View, Second Edition, und . Texts in Theoretical Computer Science. An EATCS Series Springer, (2016)Learning general constraints in CSP., und . Artif. Intell., (2016)Inference rules for proving the equivalence of recursive procedures., und . Acta Inf., 45 (6): 403-439 (2008)Proving mutual termination., , und . Formal Methods Syst. Des., 47 (2): 204-229 (2015)