Machine Improvisation with Formal Specifications. - Alexandre Donzé; Rafael Valle; Ilge Akkaya; Sophie Libkind; Sanjit A. Seshia; David Wessel (ICMC, 2014)

Operadic Modeling of Dynamical Systems: Mathematics and Computation. - Sophie Libkind; Andrew Baas; Evan Patterson; James P. Fairbanks (ACT, 2021)

An Algebraic Framework for Structured Epidemic Modeling. - Sophie Libkind; Andrew Baas; Micah Halter; Evan Patterson; James P. Fairbanks (CoRR, 2022)

Compositional Modeling with Stock and Flow Diagrams. - John Baez; Xiaoyan Li; Sophie Libkind; Nathaniel Osgood; Evan Patterson (ACT, 2022)

An Algebraic Framework for Stock & Flow Diagrams and Dynamical Systems Using Category Theory. - Xiaoyan Li; John Baez; Sophie Libkind; Eric Redekopp; Long Pham; Nathaniel D. Osgood (CoRR, 2022)

Dependent Directed Wiring Diagrams for Composing Instantaneous Systems. - Keri D'Angelo; Sophie Libkind (CoRR, 2025)