An infinitely-often one-way function based on an average-case assumption von Hirsch, E. A., Itsykson, D. M.

Volltext

The complexity of inverting explicit Goldreich’s function by DPLL algorithms von Itsykson, D. M., Sokolov, D. O.

Volltext

Lower bounds on static Lovász-Schrijver calculus proofs for Tseitin tautologies von Itsykson, D. M., Kojevnikov, A. A.

Volltext

Optimal heuristic algorithms for the image of an injective function von Hirsch, E. A., Itsykson, D. M., Nikolaenko, V. O., Smal, A. V.

Volltext

The Complexity of Inversion of Explicit Goldreich’s Function by DPLL Algorithms von Itsykson, Dmitry, Sokolov, Dmitry

Volltext

Tight Upper Bound on Splitting by Linear Combinations for Pigeonhole Principle von Oparin, Vsevolod

Volltext

Resolution over linear equations modulo two von Itsykson, Dmitry, Sokolov, Dmitry

Volltext

On Tseitin Formulas, Read-Once Branching Programs and Treewidth von Glinskih, Ludmila, Itsykson, Dmitry

Volltext

Bounded-depth Frege complexity of Tseitin formulas for all graphs von Galesi, Nicola, Itsykson, Dmitry, Riazanov, Artur, Sofronova, Anastasia

Volltext

Derivation of neural precursors from human embryonic stem cells in the presence of noggin von Itsykson, Pavel, Ilouz, Nili, Turetsky, Tikva, Goldstein, Ronald S., Pera, Martin F., Fishbein, Ianai, Segal, Menahem, Reubinoff, Benjamin E.

Volltext

Formalism and Language Tools for Specification of the Semantics of Software Libraries von Itsykson, V. M.

Volltext

Lower Bound on Average-Case Complexity of Inversion of Goldreich’s Function by Drunken Backtracking Algorithms von Itsykson, Dmitry

Volltext

Near-Optimal Lower Bounds on Regular Resolution Refutations of Tseitin Formulas for All Constant-Degree Graphs von Itsykson, Dmitry, Riazanov, Artur, Sagunov, Danil, Smirnov, Petr

Volltext

Derivation, propagation and controlled differentiation of human embryonic stem cells in suspension von Reubinoff, Benjamin, Steiner, Debora, Khaner, Hanita, Cohen, Malkiel, Even-Ram, Sharona, Gil, Yaniv, Itsykson, Pavel, Turetsky, Tikva, Idelson, Maria, Aizenman, Einat, Ram, Rita, Berman-Zaken, Yael

Volltext

Stable Genetic Modification of Human Embryonic Stem Cells by Lentiviral Vectors von Gropp, Michal, Itsykson, Pavel, Singer, Orna, Ben-Hur, Tamir, Reinhartz, Etti, Galun, Eithan, Reubinoff, Benjamin E

Volltext

Semantics-Driven Migration of Java Programs: A Practical Application von Aleksyuk, A. O., Itsykson, V. M.

Volltext

ON OBDD-BASED ALGORITHMS AND PROOF SYSTEMS THAT DYNAMICALLY CHANGE THE ORDER OF VARIABLES von ITSYKSON, DMITRY, KNOP, ALEXANDER, ROMASHCHENKO, ANDREI, SOKOLOV, DMITRY

Volltext

Computational and Proof Complexity of Partial String Avoidability von Itsykson, Dmitry, Okhotin, Alexander, Oparin, Vsevolod

Volltext

On Tseitin Formulas, Read-Once Branching Programs and Treewidth von Glinskih, Ludmila, Itsykson, Dmitry

Volltext

Lower Bounds on OBDD Proofs with Several Orders von Buss, Sam, Itsykson, Dmitry, Knop, Alexander, Riazanov, Artur, Sokolov, Dmitry

Volltext