last modified: Jun 2017

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

  3. Manuscripts submitted
    • Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model (with T. Wanner)
      Arxiv link
    • Stabilizing the Long-time Behavior of the Navier-Stokes Equations and Damped Euler Systems by Fast Oscillating Forces (with P. B. Mucha, E. S. Titi, and P Zgliczyński
      Arxiv link
    • 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