Leonid Ryzhyk
Identifiers
No identifiers captured yet.
Papers (5)
- Verifying Properties of Binarized Deep Neural Networks stat.ML · 2017 · author #3
- Optimizing Solution Quality in Synchronization Synthesis cs.PL · 2015 · author #5
- The First Reactive Synthesis Competition (SYNTCOMP 2014) cs.LO · 2015 · author #9
- From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis cs.PL · 2015 · author #5
- Regression-free Synthesis for Concurrency cs.PL · 2014 · author #4
Mentions
No mention provenance yet.
Frequent Coauthors
- Arjun Radhakrishna 3 shared papers
- Pavol \v{C}ern\'y 3 shared papers
- Thomas A. Henzinger 3 shared papers
- Thorsten Tarrach 3 shared papers
- Edmund M. Clarke 2 shared papers
- Roopsha Samanta 2 shared papers
- Adam Walker 1 shared papers
- Guillermo A. P\'erez 1 shared papers
- Jean-Fran\c{c}ois Raskin 1 shared papers
- Leander Tentrup 1 shared papers
- Martina Seidl 1 shared papers
- Mooly Sagiv 1 shared papers
- Nina Narodytska 1 shared papers
- Ocan Sankur 1 shared papers
- Robert K\"onighofer 1 shared papers
- Roderick Bloem 1 shared papers
- Romain Brenguier 1 shared papers
- R\"udiger Ehlers 1 shared papers
- Shiva Prasad Kasiviswanathan 1 shared papers
- Swen Jacobs 1 shared papers