3 papers
cs.LO2026
Automating Observable Closure Analysis for Graph Transformation Models with MolFoundry
Marcel Friedrichs, Addie Jordon, Juri Kolčák +1
Graph transformations model changing systems, with applications in software, biology and chemistry, among others. We introduce MolFoundry, a graph transformation framework, and pre…
q-bio.MN2025
Saturation-Based Atom Provenance Tracing in Chemical Reaction Networks
Marcel Friedrichs, Daniel Merkle
Atom tracing is essential for understanding the fate of labeled atoms in biochemical reaction networks, yet existing computational methods either simplify label correlations or suf…
q-bio.OT2025
NAR db status Version 2 and miRNAverse: Over Two Years of Manual Meta-Registry Curation and Updates
Marcel Friedrichs, Cassandra Königs
Previously, we reported on a new meta-registry for NAR published databases focusing on high-quality annotations regarding database availability and longevity. With over two years o…