1
TITLE: SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools  Full Text
AUTHORS: Claudine Chaouiya ; Duncan Berenguier; Sarah M Keating; Aurelien Naldi; Martijn P van Iersel; Nicolas Rodriguez; Andreas Draeger; Finja Buechel; Thomas Cokelaer; Bryan Kowal; Benjamin Wicks; Gonçalves, Emanuel ; Julien Dorier; Michel Page; Pedro T Monteiro ; Axel von Kamp; Ioannis Xenarios; Hidde de Jong; Michael Hucka; Steffen Klamt; Denis Thieffry; Nicolas Le Novere; Julio Saez Rodriguez; Tomas Helikar; ...More
PUBLISHED: 2013, SOURCE: BMC SYSTEMS BIOLOGY, VOLUME: 7, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 83
2
TITLE: Efficient parameter search for qualitative models of regulatory networks using symbolic model checking  Full Text
AUTHORS: Gregory Batt; Michel Page; Irene Cantone; Gregor Goessler; Pedro Monteiro ; Hidde de Jong;
PUBLISHED: 2010, SOURCE: 9th European Conference on Computational Biology in BIOINFORMATICS, VOLUME: 26, ISSUE: 18
INDEXED IN: Scopus WOS CrossRef
3
TITLE: A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks  Full Text
AUTHORS: Pedro T Monteiro ; Estelle Dumas; Bruno Besson; Radu Mateescu; Michel Page; Ana T Freitas ; Hidde de Jong;
PUBLISHED: 2009, SOURCE: BMC BIOINFORMATICS, VOLUME: 10, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
4
TITLE: Azetidine-2,4-diones (4-oxo-beta-lactams) as scaffolds for designing elastase inhibitors  Full Text
AUTHORS: Jalmira Mulchande; Rita C Guedes ; Wing Yin Tsang; Michael I Page; Rui Moreira ; Jim Iley;
PUBLISHED: 2008, SOURCE: JOURNAL OF MEDICINAL CHEMISTRY, VOLUME: 51, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef