( en | de | ru )

 

Disambiguierung von "Strichman, Ofer"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Regression Verification: Proving the Equivalence of Similar Programs.

. CAV, Volume 5643 von Lecture Notes in Computer Science, Seite 63. Springer, (2009)

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

Proof-guided underapproximation-widening for multi-process systems., , , und . POPL, Seite 122-131. ACM, (2005)Exploiting Isomorphic Subgraphs in SAT., und . FMCAD, Seite 204-211. IEEE, (2021)Compositional Sequentialization of Periodic Programs., , , und . VMCAI, Volume 7737 von Lecture Notes in Computer Science, Seite 536-554. Springer, (2013)Regression verification., und . DAC, Seite 466-471. ACM, (2009)Minimal unsatisfiable core extraction for SMT., , und . FMCAD, Seite 57-64. IEEE, (2016)Decision-Making with Cross-Entropy for Self-Adaptation., , , und . SEAMS@ICSE, Seite 90-101. IEEE Computer Society, (2017)Predicate Abstraction with Minimum Predicates., , , und . CHARME, Volume 2860 von Lecture Notes in Computer Science, Seite 19-34. Springer, (2003)Learning General Constraints in CSP., und . CPAIOR, Volume 9075 von Lecture Notes in Computer Science, Seite 410-426. Springer, (2015)Regression Verification: Proving the Equivalence of Similar Programs.. CAV, Volume 5643 von Lecture Notes in Computer Science, Seite 63. Springer, (2009)Finite Instantiations in Equivalence Logic with Uninterpreted Functions., und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 144-154. Springer, (2001)