Stefan Marticek

According to our database, Stefan Marticek authored at least 4 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Abstraction-based segmental simulation of reaction networks using adaptive memoization.

Martin Helfrich, Roman Andriushchenko, Milan Ceska, Jan Kretínský, Stefan Marticek, David Safránek

BMC Bioinform., December, 2024

2022

Artifact for CMSB22 paper "Abstraction-Based Segmental Simulation of Chemical Reaction Networks".

Martin Helfrich, Milan Ceska, Jan Kretínský, Stefan Marticek

Dataset, June, 2022

Abstraction-Based Segmental Simulation of Chemical Reaction Networks.

Martin Helfrich, Milan Ceska, Jan Kretínský, Stefan Marticek

Proceedings of the Computational Methods in Systems Biology, 2022

2018

2LS: Memory Safety and Non-termination - (Competition Contribution).

Viktor Malík, Stefan Marticek, Peter Schrammel, Mandayam K. Srivas, Tomás Vojnar, Johanan Wahlang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018