Marek Kosta

According to our database, Marek Kosta authored at least 10 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Identifying the parametric occurrence of multiple steady states for some biological networks.

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

J. Symb. Comput., 2020

2017

A Case Study on the Parametric Occurrence of Multiple Steady States.

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

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

2016

New concepts for real quantifier elimination by virtual substitution.

Marek Kosta

PhD thesis, 2016

Better answers to real questions.

Marek Kosta, Thomas Sturm, Andreas Dolzmann

J. Symb. Comput., 2016

2015

Constructing a single cell in cylindrical algebraic decomposition.

Christopher W. Brown, Marek Kosta

J. Symb. Comput., 2015

A Generalized Framework for Virtual Substitution.

Marek Kosta, Thomas Sturm

CoRR, 2015

2014

Flip-pushdown automata with k pushdown reversals and E0L systems are incomparable.

Pavol Duris, Marek Kosta

Inf. Process. Lett., 2014

Towards Conflict-Driven Learning for Virtual Substitution.

Konstantin Korovin, Marek Kosta, Thomas Sturm

Proceedings of the Computer Algebra in Scientific Computing - 16th International Workshop, 2014

2013

Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages.

Ralf Karrenberg, Marek Kosta, Thomas Sturm

Proceedings of the Frontiers of Combining Systems, 2013

2011

Flip-pushdown automata: nondeterministic ε-moves can be removed.

Pavol Duris, Marek Kosta

Proceedings of the Conference on Theory and Practice of Information Technologies, 2011