Travelled to:1 × Portugal
1 × USA
Collaborated with:C.Belta R.Weiss R.Grosu F.H.Fenton J.Glimm C.L.Guernic S.A.Smolka E.Bartocci
Talks about:regulatori (2) network (2) genet (2) properti (1) cardiac (1) model (1) check (1) live (1) cell (1)
Person: Grégory Batt
DBLP: Batt:Gr=eacute=gory
Contributed to:
2011
2007Wrote 2 papers:
- CAV-2011-GrosuBFGGSB #network #search-based
- From Cardiac Cells to Genetic Regulatory Networks (RG, GB, FHF, JG, CLG, SAS, EB), pp. 396–411.
- TACAS-2007-BattBW #liveness #model checking #network #search-based
- Model Checking Liveness Properties of Genetic Regulatory Networks (GB, CB, RW), pp. 323–338.