BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Batt:Gr=eacute=gory

Contributed to:

CAV 20112011
TACAS 20072007

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.