Travelled to:1 × USA
1 × United Kingdom
Collaborated with:A.Gupta T.A.Henzinger M.Mateescu A.Sezgin M.Giacobbe T.Paixão T.Petrov
Talks about:regulatori (2) network (1) continu (1) circuit (1) markov (1) model (1) genet (1) delay (1) check (1) chain (1)
Person: Calin C. Guet
DBLP: Guet:Calin_C=
Contributed to:
2015
2012Wrote 2 papers:
- TACAS-2015-GiacobbeGGHPP #model checking #network
- Model Checking Gene Regulatory Networks (MG, CCG, AG, TAH, TP, TP), pp. 469–483.
- CAV-2012-GuetGHMS #markov #search-based
- Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits (CCG, AG, TAH, MM, AS), pp. 294–309.