Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits. - Calin C. Guet; Ashutosh Gupta 001; Thomas A. Henzinger; Maria Mateescu; Ali Sezgin (CAV, 2012)

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

Model Checking Gene Regulatory Networks. - Mirco Giacobbe; Calin C. Guet; Ashutosh Gupta 001; Thomas A. Henzinger; Tiago Paixão; Tatjana Petrov (TACAS, 2015)

Model checking the evolution of gene regulatory networks. - Mirco Giacobbe; Calin C. Guet; Ashutosh Gupta 001; Thomas A. Henzinger; Tiago Paixão; Tatjana Petrov (Acta Informatica, 2017)

Transient Memory in Gene Regulation. - Calin C. Guet; Thomas A. Henzinger; Claudia Igler; Tatjana Petrov; Ali Sezgin (CMSB, 2019)

Molecular noise of innate immunity shapes bacteria-phage ecologies. - Jakob Ruess; Maros Pleska; Calin C. Guet; Gasper Tkacik (PLoS Comput. Biol., 2019)

Long lived transients in gene regulation. - Tatjana Petrov; Claudia Igler; Ali Sezgin; Thomas A. Henzinger; Calin C. Guet (Theor. Comput. Sci., 2021)