Dr. Marek Košta

Researcher
Slovak Academy of Sciences
Institute of Informatics
Dúbravská cesta 9
845 07 Bratislava, Slovakia
Mail: marek.kosta@savba.sk
Phone: +421 2 5941 1279
PGP key: 23A08E95
Pre študentov:
Ponúkam široké spektrum tém (od praktických zahŕňajúcich implementáciu až po teoretické) záverečných prác (Bc., Ing., Mgr.) v oblastiach matematiky a informatiky. V prípade otázok a/alebo záujmu ma kontaktujte e-mailom.

Publications as an Author

  • Better Answers to Real Questions (with T. Sturm, A. Dolzmann).
    Journal of Symbolic Computation 74:255–275, 2016. doi:10.1016/j.jsc.2015.07.002
  • A Generalized Framework for Virtual Substitution (with T. Sturm).
    Preprint at arXiv:1501.05826, 2015.
  • Constructing a Single Cell in Cylindrical Algebraic Decomposition (with C. Brown).
    Journal of Symbolic Computation 70:14–48, 2015. doi:10.1016/j.jsc.2014.09.024
  • Towards Conflict-Driven Learning for Virtual Substitution (with K. Korovin, T. Sturm).
    CASC 2014, LNCS 8660, pp.256–270, 2014. doi:10.1007/978-3-319-10515-4_19
  • Better Answers to Real Questions (with T. Sturm, A. Dolzmann).
    SMT Workshop 2014 (presentation-only paper), p.69, 2014.
  • Towards Conflict-Driven Learning for Virtual Substitution (with K. Korovin, T. Sturm).
    SMT Workshop 2014 (presentation-only paper), p.71, 2014.
  • Flip-Pushdown Automata with k Pushdown Reversals and E0L Systems are Incomparable (with P. Ďuriš).
    Information Processing Letters 114(8):417–420, 2014. doi:10.1016/j.ipl.2014.03.003
  • SMT-Based Compiler Support for Memory Access Optimization for Data-Parallel Languages.
    Proceedings of the 5th International Conference on Mathematical Aspects of Computer and System Sciences (MACIS), pp.36–42, 2013.
  • Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages (with R. Karrenberg, T. Sturm).
    FroCoS 2013, LNAI 8152, pp.56–70, 2013. doi:10.1007/978-3-642-40885-4_5
  • Flip-Pushdown Automata: Nondeterministic ε-moves Can Be Removed (with P. Ďuriš).
    Proceedings of the 11th Conference on Theory and Practice of Information Technologies (ITAT), pp.15–22, 2011.

Publications as an Editor

  • Proceedings of the MACIS 2013 (with T. Sturm).
    Nanning, China, December 11–13, 2013.

Theses

  • New Concepts for Real Quantifier Elimination by Virtual Substitution.
    Doctoral Dissertation, Saarland University, 2016. pdf
  • Extended Pushdown Automata.
    Master's Thesis (in Slovak), Comenius University, 2011. pdf
  • Algorithm Quadratic Sieve.
    Bachelor's Thesis (in Slovak), Comenius University, 2009. pdf