Showing 1 - 4 results of 4 for search 'Olga Tveretina', query time: 0.02s Refine Results
  1. 1
    ParaPlan: A Tool for Parallel Reachability Analysis of Planar Polygonal Differential Inclusion Systems

    ParaPlan: A Tool for Parallel Reachability Analysis of Planar Polygonal Differential Inclusion Systems by Andrei Sandler, Olga Tveretina

    Published 2017-09-01
    Get full text
    Article
  2. 2
    Deciding Reachability for 3-Dimensional Multi-Linear Systems

    Deciding Reachability for 3-Dimensional Multi-Linear Systems by Olga Tveretina, Daniel Funke

    Published 2011-06-01
    Get full text
    Article
  3. 3
    An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas

    An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas by Olga Tveretina, Carsten Sinz, Hans Zantema

    Published 2009-09-01
    Get full text
    Article
  4. 4
    Configuring Cloud-Service Interfaces Using Flow Inheritance

    Configuring Cloud-Service Interfaces Using Flow Inheritance by Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko

    Published 2016-10-01
    Get full text
    Article

Search Tools: