Calin C. Guet
According to our database1, Calin C. Guet authored at least 4 papers between 2012 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Model checking the evolution of gene regulatory networks.
Acta Inf., 2017
Model Checking Gene Regulatory Networks.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set.
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015
Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012