Search Results - Velan, Dominik

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Deciding Fast Termination for Probabilistic VASS with Nondeterminism

    Deciding Fast Termination for Probabilistic VASS with Nondeterminism by Brázdil, Tomáš, Chatterjee, Krishnendu, Kučera, Antonín, Novotný, Petr, Velan, Dominik

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Efficient Algorithms for Checking Fast Termination in VASS

    Efficient Algorithms for Checking Fast Termination in VASS by Brázdil, Tomáš, Chatterjee, Krishnendu, Kučera, Antonín, Novotný, Petr, Velan, Dominik

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS

    Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS by Brázdil, Tomáš, Chatterjee, Krishnendu, Kučera, Antonín, Novotný, Petr, Velan, Dominik, Zuleger, Florian

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Abstract 1129: How to develop ACC1 inhibitors targeting lipid metabolism and oncogenic signaling pathways effectively and safely

    Abstract 1129: How to develop ACC1 inhibitors targeting lipid metabolism and oncogenic signaling pathways effectively and safely by Liu, Ningshu, Bone, Wilhelm, Velan, Sendhil S., Doddapuneni, Krishnarao, Yaligar, Jadegoud, Thede, Kai Thede, Moenning, Ursula, Shi, Xiaohe, Tian, Xianfeng, Petrova1, Elissaveta, Nussbaum, Franz von, Mumberg, Dominik, Brands, Michael, Ziegelbauer, Karl

    Get full text
    Article
    Save to List
    Saved in:

Search Tools: