Efficient and Generic Algorithm for Rigorous Integration Forward in Time of dPDEs: Part I. - Jacek Cyranka (J. Sci. Comput., 2014)

Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing - A Computer Assisted Proof. - Jacek Cyranka; Piotr Zgliczynski (SIAM J. Appl. Dyn. Syst., 2015)

CyberCardia project: Modeling, verification and validation of implantable cardiac devices. - Md. Ariful Islam; Hyun-Kyung Lim; Nicola Paoletti; Houssam Abbas; Zhihao Jiang; Jacek Cyranka; Rance Cleaveland; Sicun Gao; Edmund M. Clarke; Radu Grosu; Rahul Mangharam; Elizabeth Cherry; et al. (BIBM, 2016)

Lagrangian Reachabililty. - Jacek Cyranka; Md. Ariful Islam; Greg Byrne; Paul L. Jones; Scott A. Smolka; Radu Grosu (CAV (1), 2017)

Tight Continuous-Time Reachtubes for Lagrangian Reachability. - Jacek Cyranka; Md. Ariful Islam; Scott A. Smolka; Sicun Gao; Radu Grosu (CDC, 2018)

Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta-Kawasaki Model. - Jacek Cyranka; Thomas Wanner (SIAM J. Appl. Dyn. Syst., 2018)

Under the Hood of a Stand-Alone Lagrangian Reachability Tool. - Sophie Gruenbacher; Jacek Cyranka; Md. Ariful Islam; Max Tschaikowski; Scott A. Smolka; Radu Grosu (ARCH@CPSIoTWeek, 2019)

Mapper Based Classifier. - Jacek Cyranka; Alexander Georges; David Meyer (ICMLA, 2019)

Lagrangian Reachtubes: The Next Generation. - Sophie Gruenbacher; Jacek Cyranka; Mathias Lechner; Md. Ariful Islam; Scott A. Smolka; Radu Grosu (CDC, 2020)

Contractibility of a persistence map preimage. - Jacek Cyranka; Konstantin Mischaikow; Charles Weibel (J. Appl. Comput. Topol., 2020)

On the Verification of Neural ODEs with Stochastic Guarantees. - Sophie Gruenbacher; Ramin M. Hasani; Mathias Lechner; Jacek Cyranka; Scott A. Smolka; Radu Grosu (AAAI, 2021)

Validated forward integration scheme for parabolic PDEs via Chebyshev series. - Jacek Cyranka; Jean-Philippe Lessard (Commun. Nonlinear Sci. Numer. Simul., 2022)

Improved Overparametrization Bounds for Global Convergence of Stochastic Gradient Descent for Shallow Neural Networks. - Bartlomiej Polaczyk; Jacek Cyranka (CoRR, 2022)

Worrisome Properties of Neural Network Controllers and Their Symbolic Representations. - Jacek Cyranka; Kevin E. M. Church; Jean-Philippe Lessard (ECAI, 2023)

Unified Long-Term Time-Series Forecasting Benchmark. - Jacek Cyranka; Szymon Haponiuk (CoRR, 2023)

Improved Overparametrization Bounds for Global Convergence of SGD for Shallow Neural Networks. - Bartlomiej Polaczyk; Jacek Cyranka (Trans. Mach. Learn. Res., 2023)

State Planning Policies Online Reinforcement Learning. - Jacek Cyranka; Piotr Bilinski (CDC, 2024)

A polarization opinion model inspired by bounded confidence communications. - Jacek Cyranka; Piotr B. Mucha (J. Frankl. Inst., 2024)

How Much Noise is there in Labels Generated by Humans? A Method to Validate Automatically Generated Bounding Boxes. - Mariusz Karol Nowak; Jacek Cyranka; Natalia Maslany; Aleksander Kostuch; Jakub Derbisz; Mateusz Komorkiewicz; Patryk Siwek; Mateusz Wójcik; Dariusz Marchewka; Pawel Skruch (CVPR Workshops, 2025)