Nina Yevtushenko
Identifiers
- name variant Nina Yevtushenko 0.60 · backfill
Papers (3)
- Source Code Optimization using Equivalent Mutants cs.SE · 2018 · author #3
- Discussion on Supervisory Control by Solving Automata Equation cs.OH · 2009 · author #2
- Efficient Solution of Language Equations Using Partitioned Representations cs.LO · 2007 · author #5
Mentions
Frequent Coauthors
- Tiziano Villa 2 shared papers
- Alan Mishchenko 1 shared papers
- Jorge L\'opez 1 shared papers
- Natalia Kushik 1 shared papers
- Robert Brayton 1 shared papers
- Roland Jiang 1 shared papers
- Victor Bushkov 1 shared papers