| On the verification of neural odes with stochastic guarantees S Grunbacher, R Hasani, M Lechner, J Cyranka, SA Smolka, R Grosu Proceedings of the AAAI Conference on Artificial Intelligence 35 (13), 11525 …, 2021 | 31 | 2021 |
| Existence of globally attracting solutions for one-dimensional viscous Burgers equation with nonautonomous forcing---A computer assisted proof J Cyranka, P Zgliczynski SIAM Journal on Applied Dynamical Systems 14 (2), 787-821, 2015 | 27 | 2015 |
| Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model J Cyranka, T Wanner SIAM Journal on Applied Dynamical Systems 17 (1), 694-731, 2018 | 26 | 2018 |
| Efficient and generic algorithm for rigorous integration forward in time of dPDEs: Part I J Cyranka Journal of Scientific Computing 59, 28-52, 2014 | 25 | 2014 |
| Existence of globally attracting fixed points of viscous Burgers equation with constant forcing. A computer assisted proof J Cyranka | 22 | 2015 |
| Lagrangian Reachtubes: The Next Generation S Gruenbacher, J Cyranka, M Lechner, MA Islam, SA Smolka, R Grosu 2020 59th IEEE Conference on Decision and Control (CDC), 1556-1563, 2020 | 14 | 2020 |
| Lagrangian reachabililty J Cyranka, MA Islam, G Byrne, P Jones, SA Smolka, R Grosu Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 12 | 2017 |
| Stabilizing the long-time behavior of the forced Navier–Stokes and damped Euler systems by large mean flow J Cyranka, PB Mucha, ES Titi, P Zgliczyński Physica D: Nonlinear Phenomena 369, 18-29, 2018 | 10* | 2018 |
| Contractibility of a persistence map preimage J Cyranka, K Mischaikow, C Weibel Journal of Applied and Computational Topology, 509–523, 2020 | 9 | 2020 |
| Correlations between the leading Lyapunov vector and pattern defects for chaotic Rayleigh-Bénard convection R Levanger, M Xu, J Cyranka, MF Schatz, K Mischaikow, MR Paul Chaos: An Interdisciplinary Journal of Nonlinear Science 29 (5), 2019 | 9 | 2019 |
| Tight Continuous-Time Reachtubes for Lagrangian Reachability J Cyranka, MA Islam, SA Smolka, S Gao, R Grosu 2018 IEEE Conference on Decision and Control (CDC), 6854-6861, 2018 | 6 | 2018 |
| CyberCardia project: Modeling, verification and validation of implantable cardiac devices MA Islam, H Lim, N Paoletti, H Abbas, Z Jiang, J Cyranka, R Cleaveland, ... 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM …, 2016 | 6 | 2016 |
| Validated forward integration scheme for parabolic PDEs via Chebyshev series J Cyranka, JP Lessard Communications in Nonlinear Science and Numerical Simulation 109, 106304, 2022 | 5 | 2022 |
| Under the Hood of a Stand-Alone Lagrangian Reachability Tool. S Gruenbacher, J Cyranka, MA Islam, M Tschaikowski, SA Smolka, ... ARCH@ CPSIoTWeek, 211-219, 2019 | 4 | 2019 |
| Stabilizing effect of large average initial velocity in forced dissipative PDEs invariant with respect to Galilean transformations J Cyranka, P Zgliczyński Journal of Differential Equations 261 (8), 4648-4708, 2016 | 4* | 2016 |
| Improved Overparametrization Bounds for Global Convergence of SGD for Shallow Neural Networks B Polaczyk, J Cyranka Transactions on Machine Learning Research, 2023 | 3* | 2023 |
| A construction of two different solutions to an elliptic system J Cyranka, PB Mucha Journal of Mathematical Analysis and Applications 465 (1), 500-530, 2018 | 3 | 2018 |
| Efficient algorithms for rigorous integration forward in time of dPDEs: existence of globally attracting fixed points of viscous Burgers equation with constant forcing, a … J Cyranka | 2 | 2013 |
| Mapper Based Classifier J Cyranka, A Georges, D Meyer 2019 18th IEEE International Conference On Machine Learning And Applications …, 2019 | 1 | 2019 |
| Existence of globally attracting fixed points of viscous burgers equation with constant forcing. a computer assisted proof J Cyranka | 1 | 2011 |
