2LS: Memory Safety and Non-termination - (Competition Contribution). - Viktor Malík; Stefan Marticek; Peter Schrammel; Mandayam K. Srivas; Tomás Vojnar; Johanan Wahlang (TACAS (2), 2018)

Abstraction-Based Segmental Simulation of Chemical Reaction Networks. - Martin Helfrich; Milan Ceska 002; Jan Kretínský; Stefan Marticek (CMSB, 2022)

Artifact for CMSB22 paper "Abstraction-Based Segmental Simulation of Chemical Reaction Networks". - Martin Helfrich; Milan Ceska 002; Jan Kretínský; Stefan Marticek (Zenodo, 2022)

Abstraction-based segmental simulation of reaction networks using adaptive memoization. - Martin Helfrich; Roman Andriushchenko; Milan Ceska 002; Jan Kretínský; Stefan Marticek; David Safránek (BMC Bioinform., 2024)