| New concepts for real quantifier elimination by virtual substitution M Košta | 41 | 2016 |
| 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 | 31 | 2020 |
| 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 | 29 | 2017 |
| Constructing a single cell in cylindrical algebraic decomposition CW Brown, M Košta Journal of Symbolic Computation 70, 14-48, 2015 | 29 | 2015 |
| Towards conflict-driven learning for virtual substitution K Korovin, M Kosta, T Sturm Computer Algebra in Scientific Computing: 16th International Workshop, CASC …, 2014 | 14 | 2014 |
| Better answers to real questions M Košta, T Sturm, A Dolzmann Journal of Symbolic Computation 74, 255-275, 2016 | 13 | 2016 |
| Presburger arithmetic in memory access optimization for data-parallel languages R Karrenberg, M Košta, T Sturm Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013 …, 2013 | 7 | 2013 |
| A generalized framework for virtual substitution M Kosta, T Sturm arXiv preprint arXiv:1501.05826, 2015 | 5 | 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 | 1 | 2011 |
| 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 |
| veriT+ Redlog: System Description for SMT-COMP 2017 H Barbosa, P Fontaine, M Jaroschek, M Kosta, T Sturm, VX Tung | | |
| Redlog: System Description for SMT-COMP 2017 H Barbosa, M Kosta, T Sturm | | |
| veriT+ raSAT+ Redlog: System Description for SMT-COMP 2019 H Barbosa, P Fontaine, M Jaroschek, M Kosta, M Ogawa, T Sturm, ... | | |
| 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 | | |