last modified: Aug 2019

  1. Publications ( journal , conference)
    • (workshop) Sophie Gruenbacher, Jacek Cyranka, Md Ariful Islam, Max Tschaikowski, Scott Smolka, Radu Grosu, Under the Hood of a Stand-Alone Lagrangian Reachability Tool, EPiC Series in Computing 61, 211-219.
    • Rachel Levanger, Mu Xu, Jacek Cyranka, Michael Schatz, Konstantin Mischaikow, Mark Paul, Correlations between the Leading Lyapunov Vector and Pattern Defects for Chaotic Rayleigh-Bénard Convection, Chaos 29(5):053103, 2019.
    • Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu,  Tight Continuous-Time Reachtubes for Lagrangian Reachability, IEEE CDC 2018, Arxiv link.
    • Jacek Cyranka, Piotr Mucha, A construction of two different solutions to an elliptic system, Journal of Mathematical Analysis and Applications, 2018, 465(1), 500-530, Arxiv link.
    • Jacek Cyranka, Thomas Wanner, Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model, SIAM Journal on Applied Dynamical Systems (SIADS), 2018, 17(1), 694 -731, Arxiv link.
    • Jacek Cyranka, P. B. Mucha, E. S. Titi and P Zgliczyński, Stabilizing the long-time behavior of the forced Navier-Stokes and damped Euler systems by large mean flow, Physica D, vol. 369, 18-29, 2018, Arxiv link.
    • Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul Jones, Scott A. Smolka and Radu Grosu,  Lagrangian Reachability, COMPUTER AIDED VERIFICATION, CAV 2017, PT I Book Series: Lecture Notes in Computer Science, 10426, 379-400, 2017, Arxiv link
    • Jacek Cyranka and P. Zgliczyński, Stabilizing effect of large average initial velocity in forced dissipative PDEs invariant with respect to Galilean transformations, Journal of Differential Equations, Vol. 261, 8 (2016), pp. 4648-4708, Arxiv link
    • Jacek Cyranka and P. Zgliczyński, Existence of globally attracting solutions for one-dimensional viscous Burgers equation with nonautonomous forcing - a computer assisted proof SIAM Journal on Applied Dynamical Systems, 14-2 (2015), pp. 787-821, Arxiv link, software, documentation, numerical data and supplement.
    • Jacek Cyranka, Existence of globally attracting fixed points of viscous Burgers equation with constant forcing. A computer assisted proof, Topological Methods in Nonlinear Analysis, Vol. 45, 2 (2015), 655–697, Arxiv link, software, documentation, numerical data from computer proofs.
    • Jacek Cyranka, Efficient and generic algorithm for rigorous integration forward in time of dPDEs: Part I, Journal of Scientific Computing, Vol. 59, 1 (2014), 28-52, Download the paper, software, documentation, numerical data from tests, software guide.

  2. Manuscripts submitted
  3. Preprints