Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set. - Andreea Beica; Calin C. Guet; Tatjana Petrov (HSB, 2015)

Synchronous Balanced Analysis. - Andreea Beica; Vincent Danos (HSB, 2016)

Survival of the Fattest: Evolutionary Trade-offs in Cellular Resource Storage. - Guillaume Terradot; Andreea Beica; Andrea Y. Weiße; Vincent Danos (SASB, 2018)

Abstractions of biochemical reaction networks. (Abstractions des réseaux de réactions biochimiques). - Andreea Beica (2019)

Tropical Abstraction of Biochemical Reaction Networks with Guarantees. - Andreea Beica; Jérôme Feret; Tatjana Petrov (SASB, 2020)