New concepts for real quantifier elimination by virtual substitution M Košta | 28 | 2016 |

A case study on the parametric occurrence of multiple steady states R Bradford, JH Davenport, M England, H Errami, V Gerdt, D Grigoriev, ... Proceedings of the 2017 ACM on International Symposium on Symbolic and …, 2017 | 25 | 2017 |

Constructing a single cell in cylindrical algebraic decomposition CW Brown, M Košta Journal of Symbolic Computation 70, 14-48, 2015 | 16 | 2015 |

Better answers to real questions M Košta, T Sturm, A Dolzmann Journal of Symbolic Computation 74, 255-275, 2016 | 10 | 2016 |

Towards conflict-driven learning for virtual substitution K Korovin, M Kosta, T Sturm International Workshop on Computer Algebra in Scientific Computing, 256-270, 2014 | 8 | 2014 |

Identifying the parametric occurrence of multiple steady states for some biological networks R Bradford, JH Davenport, M England, H Errami, V Gerdt, D Grigoriev, ... Journal of Symbolic Computation 98, 84-119, 2020 | 7 | 2020 |

Presburger arithmetic in memory access optimization for data-parallel languages R Karrenberg, M Košta, T Sturm International Symposium on Frontiers of Combining Systems, 56-70, 2013 | 6 | 2013 |

A generalized framework for virtual substitution M Kosta, T Sturm arXiv preprint arXiv:1501.05826, 2015 | 4 | 2015 |

Flip-pushdown automata with k pushdown reversals and E0L systems are incomparable P Ďuriš, M Košta Information Processing Letters 114 (8), 417-420, 2014 | 3 | 2014 |

Flip-pushdown automata: nondeterministic å-moves can be removed⋆ P Duriš, M Košta | 2 | 2011 |

Том. Part F129312. ISSAC 2017-Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation.-Сер. ISSAC 2017-Proceedings of the 2017 ACM … R Bradford, JH Davenport, M England, H Errami, A Weber, V Gerdt, ... Reconstruction 309, 316, 2017 | | 2017 |

SMT-Based Compiler Support for Memory Access Optimization for Data-Parallel Languages M Košta Fifth International Conference on Mathematical Aspects of Computer and …, 2013 | | 2013 |

Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and Information Sciences M Košta, T Sturm Fifth International Conference on Mathematical Aspects of Computer and …, 2013 | | 2013 |

A Case Study on the Parametric Occurrence of Multiple Steady States H Errami, V Gerdt, D Grigoriev, M Košta, O Radulescu, T Sturm, A Weber | | |