last modified: Dec 2017

  1. Publications
  2. Conference papers
    • J.C., Md. Ariful Islam, Greg Byrne, Paul Jones, Scott A. Smolka, Radu Grosu,  Lagrangian Reachability
      CAV 2017
      Arxiv link

  3. Manuscripts submitted
    • A construction of two different solutions to an elliptic system (with Piotr Boguslaw Mucha)
      Arxiv link

  4. PhD dissertation
    • Efficient algorithms for rigorous integration forward in time of dPDEs. Existence of globally attracting fixed points of viscous Burgers equation with constant forcing, a computer assisted proof
      PhD dissertation, Jagiellonian University, Krakow, 2013
      Download fulltext
      Click here for supplementary materials

  5. Preprints