Marek Kosta

16 papers B 2Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2020 J jnl
Identifying the parametric occurrence of multiple steady states for some biological networks.
J. Symb. Comput.
Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
2019 J jnl
Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks.
CoRR
Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
2017 B conf
A Case Study on the Parametric Occurrence of Multiple Steady States.
ISSAC
Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
2017 J jnl
A Case Study on the Parametric Occurrence of Multiple Steady States.
CoRR
Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
2016 J jnl
Better answers to real questions.
J. Symb. Comput.
Marek Kosta, Thomas Sturm, Andreas Dolzmann
2016 — —
New concepts for real quantifier elimination by virtual substitution.
Marek Kosta
2015 J jnl
A Generalized Framework for Virtual Substitution.
CoRR
Marek Kosta, Thomas Sturm
2015 J jnl
Better Answers to Real Questions.
CoRR
Marek Kosta, Thomas Sturm, Andreas Dolzmann
2015 J jnl
Constructing a single cell in cylindrical algebraic decomposition.
J. Symb. Comput.
Christopher W. Brown, Marek Kosta
2014 — conf
Better Answers to Real Questions.
SMT
Marek Kosta, Thomas Sturm, Andreas Dolzmann
2014 J jnl
Flip-pushdown automata with k pushdown reversals and E0L systems are incomparable.
Inf. Process. Lett.
Pavol Duris, Marek Kosta
2014 B conf
Towards Conflict-Driven Learning for Virtual Substitution.
CASC
Konstantin Korovin, Marek Kosta, Thomas Sturm
2014 — conf
Towards Conflict-Driven Learning for Virtual Substitution.
SMT
Konstantin Korovin, Marek Kosta, Thomas Sturm
2013 — conf
Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages.
FroCos
Ralf Karrenberg, Marek Kosta, Thomas Sturm
2011 J jnl
Flip-Pushdown Automata with k Pushdown Reversals and E0L Systems are Incomparable.
Electron. Colloquium Comput. Complex.
Pavol Duris, Marek Kosta
2011 — conf
Flip-pushdown automata: nondeterministic ε-moves can be removed.
ITAT
Pavol Duris, Marek Kosta