Follow
Marek Košta
Marek Košta
Verified email at savba.sk - Homepage
Title
Cited by
Cited by
Year
New concepts for real quantifier elimination by virtual substitution
M Košta
412016
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
292017
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
252020
Constructing a single cell in cylindrical algebraic decomposition
CW Brown, M Košta
Journal of Symbolic Computation 70, 14-48, 2015
252015
Better answers to real questions
M Košta, T Sturm, A Dolzmann
Journal of Symbolic Computation 74, 255-275, 2016
132016
Towards conflict-driven learning for virtual substitution
K Korovin, M Kosta, T Sturm
Computer Algebra in Scientific Computing: 16th International Workshop, CASC …, 2014
122014
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
72013
A generalized framework for virtual substitution
M Kosta, T Sturm
arXiv preprint arXiv:1501.05826, 2015
52015
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
32014
Flip-pushdown automata: nondeterministic ε-moves can be removed⋆
P Duriš, M Košta
12011
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
The system can't perform the operation now. Try again later.
Articles 1–16