activity
20202026
most citedThere and back again: A circuit extraction tale

82 citations · 84 across the 9 of their papers we have counts for

collaborators
Showing cs.LOShow all

7 papers · 1 filter

cs.LO2026

Modulation-Reaction Networks

Leo Lobski, Yoàv Montacute

Biochemical systems involve both the flow of matter, in which entities transform into one another via reactions, and the flow of information, in which entities regulate which react…

cs.LO2026

Layered Monoidal Theories I: Diagrammatic Algebra and Applications

Leo Lobski, Fabio Zanasi

We develop layered monoidal theories -- a generalisation of monoidal theories combining formal descriptions of a system at different levels of abstraction. Via their representation…

cs.LO2025

Layered Monoidal Theories

Leo Lobski

In the first part, we develop layered monoidal theories - a generalisation of monoidal theories combining descriptions of a system at several levels. Via their representation as st…

cs.LO2024

Disconnection Rules are Complete for Chemical Reactions

Ella Gale, Leo Lobski, Fabio Zanasi

We provide a category theoretical framework capturing two approaches to graph-based models of chemistry: formal reactions and disconnection rules. We model a translation from the l…

cs.LO2024

Learning Closed Signal Flow Graphs

Ekaterina Piotrovskaya, Leo Lobski, Fabio Zanasi

We develop a learning algorithm for closed signal flow graphs - a graphical model of signal transducers. The algorithm relies on the correspondence between closed signal flow graph…

cs.LO2023

A Categorical Model for Retrosynthetic Reaction Analysis

Ella Gale, Leo Lobski, Fabio Zanasi

We introduce a mathematical framework for retrosynthetic analysis, an important research method in synthetic chemistry. Our approach represents molecules and their interaction usin…

cs.LO2022★ 2 cited

String Diagrams for Layered Explanations

Leo Lobski, Fabio Zanasi

We propose a categorical framework to reason about scientific explanations: descriptions of a phenomenon meant to translate it into simpler terms, or into a context that has been a…