Calin C. Guet

According to our database1, Calin C. Guet
  • authored at least 6 papers between 2012 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Model checking the evolution of gene regulatory networks.
Acta Inf., 2017

2015
Efficient reduction of Kappa models by static inspection of the rule-set.
CoRR, 2015

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

2014
Model Checking Gene Regulatory Networks.
CoRR, 2014

2012
Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012


  Loading...