Marek Košta
Marek Košta
Bestätigte E-Mail-Adresse bei savba.sk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
New concepts for real quantifier elimination by virtual substitution
M Košta
282016
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
232017
Constructing a single cell in cylindrical algebraic decomposition
CW Brown, M Košta
Journal of Symbolic Computation 70, 14-48, 2015
162015
Better answers to real questions
M Košta, T Sturm, A Dolzmann
Journal of Symbolic Computation 74, 255-275, 2016
102016
Towards conflict-driven learning for virtual substitution
K Korovin, M Kosta, T Sturm
International Workshop on Computer Algebra in Scientific Computing, 256-270, 2014
82014
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
72020
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
62013
A generalized framework for virtual substitution
M Kosta, T Sturm
arXiv preprint arXiv:1501.05826, 2015
42015
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
22011
Том. 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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–14