{"id":"https://openalex.org/W2129992850","doi":"https://doi.org/10.1093/bioinformatics/btt033","title":"Composition and abstraction of logical regulatory modules: application to multicellular systems","display_name":"Composition and abstraction of logical regulatory modules: application to multicellular systems","publication_year":2013,"publication_date":"2013-01-22","ids":{"openalex":"https://openalex.org/W2129992850","doi":"https://doi.org/10.1093/bioinformatics/btt033","mag":"2129992850","pmid":"https://pubmed.ncbi.nlm.nih.gov/23341501"},"language":"en","primary_location":{"id":"doi:10.1093/bioinformatics/btt033","is_oa":true,"landing_page_url":"https://doi.org/10.1093/bioinformatics/btt033","pdf_url":"https://academic.oup.com/bioinformatics/article-pdf/29/6/749/48894889/bioinformatics_29_6_749.pdf","source":{"id":"https://openalex.org/S52395412","display_name":"Bioinformatics","issn_l":"1367-4803","issn":["1367-4803","1367-4811"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bioinformatics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj","pubmed"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://academic.oup.com/bioinformatics/article-pdf/29/6/749/48894889/bioinformatics_29_6_749.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063271167","display_name":"Nuno D. Mendes","orcid":"https://orcid.org/0000-0001-8774-9759"},"institutions":[{"id":"https://openalex.org/I154526488","display_name":"Inserm","ror":"https://ror.org/02vjkv261","country_code":"FR","type":"government","lineage":["https://openalex.org/I154526488"]},{"id":"https://openalex.org/I4210101348","display_name":"Centre Inria de l'Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/00n8d6z93","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210101348"]},{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I4210107733","display_name":"Informatique, BioInformatique, Syst\u00e8mes Complexes","ror":"https://ror.org/01aqxgr98","country_code":"FR","type":"facility","lineage":["https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4210107733","https://openalex.org/I88467170"]},{"id":"https://openalex.org/I48057805","display_name":"Instituto Gulbenkian de Ci\u00eancia","ror":"https://ror.org/04b08hq31","country_code":"PT","type":"education","lineage":["https://openalex.org/I48057805"]},{"id":"https://openalex.org/I88467170","display_name":"Universit\u00e9 d'\u00c9vry Val-d'Essonne","ror":"https://ror.org/00e96v939","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954","https://openalex.org/I88467170"]}],"countries":["FR","PT"],"is_corresponding":false,"raw_author_name":"Nuno D. Mendes","raw_affiliation_strings":["1 IGC, Instituto Gulbenkian de Ci\u00eancia, Rua da Quinta Grande 6, P-2780-156 Oeiras, Portugal, 2Inria Grenoble \u2013 Rh\u00f4ne-Alpes and LIG, 655 av de l\u2019Europe, Montbonnot, 38 334 St Ismier Cedex, France, 3IBISC, Universit\u00e9 d\u2019Evry Val d\u2019Essonne, 40, Rue du Pelvoux, 91020 Evry Cedex, France, 4Inria Paris \u2013 Rocquencourt, Domaine de Voluceau, 78153 Le Chesnay, France and 5TAGC, INSERM U1090 AMU, 163 avenue de Luminy, 13288 Marseille Cedex 9, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"1 IGC, Instituto Gulbenkian de Ci\u00eancia, Rua da Quinta Grande 6, P-2780-156 Oeiras, Portugal, 2Inria Grenoble \u2013 Rh\u00f4ne-Alpes and LIG, 655 av de l\u2019Europe, Montbonnot, 38 334 St Ismier Cedex, France, 3IBISC, Universit\u00e9 d\u2019Evry Val d\u2019Essonne, 40, Rue du Pelvoux, 91020 Evry Cedex, France, 4Inria Paris \u2013 Rocquencourt, Domaine de Voluceau, 78153 Le Chesnay, France and 5TAGC, INSERM U1090 AMU, 163 avenue de Luminy, 13288 Marseille Cedex 9, France","institution_ids":["https://openalex.org/I88467170","https://openalex.org/I4210101348","https://openalex.org/I48057805","https://openalex.org/I4210104430","https://openalex.org/I4210107733","https://openalex.org/I154526488"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075433817","display_name":"Fr\u00e9d\u00e9ric Lang","orcid":"https://orcid.org/0000-0002-5221-3353"},"institutions":[{"id":"https://openalex.org/I154526488","display_name":"Inserm","ror":"https://ror.org/02vjkv261","country_code":"FR","type":"government","lineage":["https://openalex.org/I154526488"]},{"id":"https://openalex.org/I4210101348","display_name":"Centre Inria de l'Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/00n8d6z93","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210101348"]},{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I4210107733","display_name":"Informatique, BioInformatique, Syst\u00e8mes Complexes","ror":"https://ror.org/01aqxgr98","country_code":"FR","type":"facility","lineage":["https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4210107733","https://openalex.org/I88467170"]},{"id":"https://openalex.org/I48057805","display_name":"Instituto Gulbenkian de Ci\u00eancia","ror":"https://ror.org/04b08hq31","country_code":"PT","type":"education","lineage":["https://openalex.org/I48057805"]},{"id":"https://openalex.org/I88467170","display_name":"Universit\u00e9 d'\u00c9vry Val-d'Essonne","ror":"https://ror.org/00e96v939","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954","https://openalex.org/I88467170"]}],"countries":["FR","PT"],"is_corresponding":false,"raw_author_name":"Fr\u00e9d\u00e9ric Lang","raw_affiliation_strings":["1 IGC, Instituto Gulbenkian de Ci\u00eancia, Rua da Quinta Grande 6, P-2780-156 Oeiras, Portugal, 2Inria Grenoble \u2013 Rh\u00f4ne-Alpes and LIG, 655 av de l\u2019Europe, Montbonnot, 38 334 St Ismier Cedex, France, 3IBISC, Universit\u00e9 d\u2019Evry Val d\u2019Essonne, 40, Rue du Pelvoux, 91020 Evry Cedex, France, 4Inria Paris \u2013 Rocquencourt, Domaine de Voluceau, 78153 Le Chesnay, France and 5TAGC, INSERM U1090 AMU, 163 avenue de Luminy, 13288 Marseille Cedex 9, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"1 IGC, Instituto Gulbenkian de Ci\u00eancia, Rua da Quinta Grande 6, P-2780-156 Oeiras, Portugal, 2Inria Grenoble \u2013 Rh\u00f4ne-Alpes and LIG, 655 av de l\u2019Europe, Montbonnot, 38 334 St Ismier Cedex, France, 3IBISC, Universit\u00e9 d\u2019Evry Val d\u2019Essonne, 40, Rue du Pelvoux, 91020 Evry Cedex, France, 4Inria Paris \u2013 Rocquencourt, Domaine de Voluceau, 78153 Le Chesnay, France and 5TAGC, INSERM U1090 AMU, 163 avenue de Luminy, 13288 Marseille Cedex 9, France","institution_ids":["https://openalex.org/I88467170","https://openalex.org/I4210101348","https://openalex.org/I48057805","https://openalex.org/I4210104430","https://openalex.org/I4210107733","https://openalex.org/I154526488"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070013171","display_name":"Yves-Stan Le Cornec","orcid":null},"institutions":[{"id":"https://openalex.org/I154526488","display_name":"Inserm","ror":"https://ror.org/02vjkv261","country_code":"FR","type":"government","lineage":["https://openalex.org/I154526488"]},{"id":"https://openalex.org/I4210101348","display_name":"Centre Inria de l'Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/00n8d6z93","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210101348"]},{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I4210107733","display_name":"Informatique, BioInformatique, Syst\u00e8mes Complexes","ror":"https://ror.org/01aqxgr98","country_code":"FR","type":"facility","lineage":["https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4210107733","https://openalex.org/I88467170"]},{"id":"https://openalex.org/I48057805","display_name":"Instituto Gulbenkian de Ci\u00eancia","ror":"https://ror.org/04b08hq31","country_code":"PT","type":"education","lineage":["https://openalex.org/I48057805"]},{"id":"https://openalex.org/I88467170","display_name":"Universit\u00e9 d'\u00c9vry Val-d'Essonne","ror":"https://ror.org/00e96v939","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954","https://openalex.org/I88467170"]}],"countries":["FR","PT"],"is_corresponding":false,"raw_author_name":"Yves-Stan Le Cornec","raw_affiliation_strings":["1 IGC, Instituto Gulbenkian de Ci\u00eancia, Rua da Quinta Grande 6, P-2780-156 Oeiras, Portugal, 2Inria Grenoble \u2013 Rh\u00f4ne-Alpes and LIG, 655 av de l\u2019Europe, Montbonnot, 38 334 St Ismier Cedex, France, 3IBISC, Universit\u00e9 d\u2019Evry Val d\u2019Essonne, 40, Rue du Pelvoux, 91020 Evry Cedex, France, 4Inria Paris \u2013 Rocquencourt, Domaine de Voluceau, 78153 Le Chesnay, France and 5TAGC, INSERM U1090 AMU, 163 avenue de Luminy, 13288 Marseille Cedex 9, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"1 IGC, Instituto Gulbenkian de Ci\u00eancia, Rua da Quinta Grande 6, P-2780-156 Oeiras, Portugal, 2Inria Grenoble \u2013 Rh\u00f4ne-Alpes and LIG, 655 av de l\u2019Europe, Montbonnot, 38 334 St Ismier Cedex, France, 3IBISC, Universit\u00e9 d\u2019Evry Val d\u2019Essonne, 40, Rue du Pelvoux, 91020 Evry Cedex, France, 4Inria Paris \u2013 Rocquencourt, Domaine de Voluceau, 78153 Le Chesnay, France and 5TAGC, INSERM U1090 AMU, 163 avenue de Luminy, 13288 Marseille Cedex 9, France","institution_ids":["https://openalex.org/I88467170","https://openalex.org/I4210101348","https://openalex.org/I48057805","https://openalex.org/I4210104430","https://openalex.org/I4210107733","https://openalex.org/I154526488"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109230703","display_name":"Radu Mateescu","orcid":null},"institutions":[{"id":"https://openalex.org/I154526488","display_name":"Inserm","ror":"https://ror.org/02vjkv261","country_code":"FR","type":"government","lineage":["https://openalex.org/I154526488"]},{"id":"https://openalex.org/I4210101348","display_name":"Centre Inria de l'Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/00n8d6z93","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210101348"]},{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I4210107733","display_name":"Informatique, BioInformatique, Syst\u00e8mes Complexes","ror":"https://ror.org/01aqxgr98","country_code":"FR","type":"facility","lineage":["https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4210107733","https://openalex.org/I88467170"]},{"id":"https://openalex.org/I48057805","display_name":"Instituto Gulbenkian de Ci\u00eancia","ror":"https://ror.org/04b08hq31","country_code":"PT","type":"education","lineage":["https://openalex.org/I48057805"]},{"id":"https://openalex.org/I88467170","display_name":"Universit\u00e9 d'\u00c9vry Val-d'Essonne","ror":"https://ror.org/00e96v939","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954","https://openalex.org/I88467170"]}],"countries":["FR","PT"],"is_corresponding":false,"raw_author_name":"Radu Mateescu","raw_affiliation_strings":["1 IGC, Instituto Gulbenkian de Ci\u00eancia, Rua da Quinta Grande 6, P-2780-156 Oeiras, Portugal, 2Inria Grenoble \u2013 Rh\u00f4ne-Alpes and LIG, 655 av de l\u2019Europe, Montbonnot, 38 334 St Ismier Cedex, France, 3IBISC, Universit\u00e9 d\u2019Evry Val d\u2019Essonne, 40, Rue du Pelvoux, 91020 Evry Cedex, France, 4Inria Paris \u2013 Rocquencourt, Domaine de Voluceau, 78153 Le Chesnay, France and 5TAGC, INSERM U1090 AMU, 163 avenue de Luminy, 13288 Marseille Cedex 9, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"1 IGC, Instituto Gulbenkian de Ci\u00eancia, Rua da Quinta Grande 6, P-2780-156 Oeiras, Portugal, 2Inria Grenoble \u2013 Rh\u00f4ne-Alpes and LIG, 655 av de l\u2019Europe, Montbonnot, 38 334 St Ismier Cedex, France, 3IBISC, Universit\u00e9 d\u2019Evry Val d\u2019Essonne, 40, Rue du Pelvoux, 91020 Evry Cedex, France, 4Inria Paris \u2013 Rocquencourt, Domaine de Voluceau, 78153 Le Chesnay, France and 5TAGC, INSERM U1090 AMU, 163 avenue de Luminy, 13288 Marseille Cedex 9, France","institution_ids":["https://openalex.org/I88467170","https://openalex.org/I4210101348","https://openalex.org/I48057805","https://openalex.org/I4210104430","https://openalex.org/I4210107733","https://openalex.org/I154526488"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051551664","display_name":"Gr\u00e9gory Batt","orcid":"https://orcid.org/0000-0003-1697-139X"},"institutions":[{"id":"https://openalex.org/I154526488","display_name":"Inserm","ror":"https://ror.org/02vjkv261","country_code":"FR","type":"government","lineage":["https://openalex.org/I154526488"]},{"id":"https://openalex.org/I4210101348","display_name":"Centre Inria de l'Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/00n8d6z93","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210101348"]},{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I4210107733","display_name":"Informatique, BioInformatique, Syst\u00e8mes Complexes","ror":"https://ror.org/01aqxgr98","country_code":"FR","type":"facility","lineage":["https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4210107733","https://openalex.org/I88467170"]},{"id":"https://openalex.org/I48057805","display_name":"Instituto Gulbenkian de Ci\u00eancia","ror":"https://ror.org/04b08hq31","country_code":"PT","type":"education","lineage":["https://openalex.org/I48057805"]},{"id":"https://openalex.org/I88467170","display_name":"Universit\u00e9 d'\u00c9vry Val-d'Essonne","ror":"https://ror.org/00e96v939","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954","https://openalex.org/I88467170"]}],"countries":["FR","PT"],"is_corresponding":false,"raw_author_name":"Gregory Batt","raw_affiliation_strings":["1 IGC, Instituto Gulbenkian de Ci\u00eancia, Rua da Quinta Grande 6, P-2780-156 Oeiras, Portugal, 2Inria Grenoble \u2013 Rh\u00f4ne-Alpes and LIG, 655 av de l\u2019Europe, Montbonnot, 38 334 St Ismier Cedex, France, 3IBISC, Universit\u00e9 d\u2019Evry Val d\u2019Essonne, 40, Rue du Pelvoux, 91020 Evry Cedex, France, 4Inria Paris \u2013 Rocquencourt, Domaine de Voluceau, 78153 Le Chesnay, France and 5TAGC, INSERM U1090 AMU, 163 avenue de Luminy, 13288 Marseille Cedex 9, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"1 IGC, Instituto Gulbenkian de Ci\u00eancia, Rua da Quinta Grande 6, P-2780-156 Oeiras, Portugal, 2Inria Grenoble \u2013 Rh\u00f4ne-Alpes and LIG, 655 av de l\u2019Europe, Montbonnot, 38 334 St Ismier Cedex, France, 3IBISC, Universit\u00e9 d\u2019Evry Val d\u2019Essonne, 40, Rue du Pelvoux, 91020 Evry Cedex, France, 4Inria Paris \u2013 Rocquencourt, Domaine de Voluceau, 78153 Le Chesnay, France and 5TAGC, INSERM U1090 AMU, 163 avenue de Luminy, 13288 Marseille Cedex 9, France","institution_ids":["https://openalex.org/I88467170","https://openalex.org/I4210101348","https://openalex.org/I48057805","https://openalex.org/I4210104430","https://openalex.org/I4210107733","https://openalex.org/I154526488"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038231285","display_name":"Claudine Chaouiya","orcid":"https://orcid.org/0000-0003-2350-0756"},"institutions":[{"id":"https://openalex.org/I154526488","display_name":"Inserm","ror":"https://ror.org/02vjkv261","country_code":"FR","type":"government","lineage":["https://openalex.org/I154526488"]},{"id":"https://openalex.org/I4210101348","display_name":"Centre Inria de l'Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/00n8d6z93","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210101348"]},{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I4210107733","display_name":"Informatique, BioInformatique, Syst\u00e8mes Complexes","ror":"https://ror.org/01aqxgr98","country_code":"FR","type":"facility","lineage":["https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4210107733","https://openalex.org/I88467170"]},{"id":"https://openalex.org/I48057805","display_name":"Instituto Gulbenkian de Ci\u00eancia","ror":"https://ror.org/04b08hq31","country_code":"PT","type":"education","lineage":["https://openalex.org/I48057805"]},{"id":"https://openalex.org/I88467170","display_name":"Universit\u00e9 d'\u00c9vry Val-d'Essonne","ror":"https://ror.org/00e96v939","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954","https://openalex.org/I88467170"]}],"countries":["FR","PT"],"is_corresponding":true,"raw_author_name":"Claudine Chaouiya","raw_affiliation_strings":["1 IGC, Instituto Gulbenkian de Ci\u00eancia, Rua da Quinta Grande 6, P-2780-156 Oeiras, Portugal, 2Inria Grenoble \u2013 Rh\u00f4ne-Alpes and LIG, 655 av de l\u2019Europe, Montbonnot, 38 334 St Ismier Cedex, France, 3IBISC, Universit\u00e9 d\u2019Evry Val d\u2019Essonne, 40, Rue du Pelvoux, 91020 Evry Cedex, France, 4Inria Paris \u2013 Rocquencourt, Domaine de Voluceau, 78153 Le Chesnay, France and 5TAGC, INSERM U1090 AMU, 163 avenue de Luminy, 13288 Marseille Cedex 9, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"1 IGC, Instituto Gulbenkian de Ci\u00eancia, Rua da Quinta Grande 6, P-2780-156 Oeiras, Portugal, 2Inria Grenoble \u2013 Rh\u00f4ne-Alpes and LIG, 655 av de l\u2019Europe, Montbonnot, 38 334 St Ismier Cedex, France, 3IBISC, Universit\u00e9 d\u2019Evry Val d\u2019Essonne, 40, Rue du Pelvoux, 91020 Evry Cedex, France, 4Inria Paris \u2013 Rocquencourt, Domaine de Voluceau, 78153 Le Chesnay, France and 5TAGC, INSERM U1090 AMU, 163 avenue de Luminy, 13288 Marseille Cedex 9, France","institution_ids":["https://openalex.org/I88467170","https://openalex.org/I4210101348","https://openalex.org/I48057805","https://openalex.org/I4210104430","https://openalex.org/I4210107733","https://openalex.org/I154526488"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5038231285"],"corresponding_institution_ids":["https://openalex.org/I154526488","https://openalex.org/I4210101348","https://openalex.org/I4210104430","https://openalex.org/I4210107733","https://openalex.org/I48057805","https://openalex.org/I88467170"],"apc_list":{"value":3618,"currency":"USD","value_usd":3618},"apc_paid":null,"fwci":1.0324,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.7669372,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"29","issue":"6","first_page":"749","last_page":"757"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9039000272750854,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9039000272750854,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.04149999842047691,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.027400000020861626,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7248927354812622},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.672501802444458},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6708822250366211},{"id":"https://openalex.org/keywords/modularity","display_name":"Modularity (biology)","score":0.6098169088363647},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.6017948985099792},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5684780478477478},{"id":"https://openalex.org/keywords/equivalence-relation","display_name":"Equivalence relation","score":0.5098244547843933},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.4442579746246338},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4276023507118225},{"id":"https://openalex.org/keywords/abstraction-layer","display_name":"Abstraction layer","score":0.41517531871795654},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.41466063261032104},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2761121988296509},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.25572752952575684},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.18612077832221985}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7248927354812622},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.672501802444458},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6708822250366211},{"id":"https://openalex.org/C2779478453","wikidata":"https://www.wikidata.org/wiki/Q6889748","display_name":"Modularity (biology)","level":2,"score":0.6098169088363647},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.6017948985099792},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5684780478477478},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.5098244547843933},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.4442579746246338},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4276023507118225},{"id":"https://openalex.org/C147358964","wikidata":"https://www.wikidata.org/wiki/Q1200992","display_name":"Abstraction layer","level":3,"score":0.41517531871795654},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.41466063261032104},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2761121988296509},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.25572752952575684},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.18612077832221985},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[{"descriptor_ui":"D000465","descriptor_name":"Algorithms","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D000465","descriptor_name":"Algorithms","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D000465","descriptor_name":"Algorithms","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D002450","descriptor_name":"Cell Communication","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D002450","descriptor_name":"Cell Communication","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D002450","descriptor_name":"Cell Communication","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D008565","descriptor_name":"Membrane Proteins","qualifier_ui":"Q000378","qualifier_name":"metabolism","is_major_topic":false},{"descriptor_ui":"D008565","descriptor_name":"Membrane Proteins","qualifier_ui":"Q000378","qualifier_name":"metabolism","is_major_topic":false},{"descriptor_ui":"D008565","descriptor_name":"Membrane Proteins","qualifier_ui":"Q000378","qualifier_name":"metabolism","is_major_topic":false},{"descriptor_ui":"D008954","descriptor_name":"Models, Biological","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D008954","descriptor_name":"Models, Biological","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D008954","descriptor_name":"Models, Biological","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D015398","descriptor_name":"Signal Transduction","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D015398","descriptor_name":"Signal Transduction","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D015398","descriptor_name":"Signal Transduction","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D019295","descriptor_name":"Computational Biology","qualifier_ui":"Q000379","qualifier_name":"methods","is_major_topic":false},{"descriptor_ui":"D019295","descriptor_name":"Computational Biology","qualifier_ui":"Q000379","qualifier_name":"methods","is_major_topic":false},{"descriptor_ui":"D019295","descriptor_name":"Computational Biology","qualifier_ui":"Q000379","qualifier_name":"methods","is_major_topic":false},{"descriptor_ui":"D019521","descriptor_name":"Body Patterning","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D019521","descriptor_name":"Body Patterning","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D019521","descriptor_name":"Body Patterning","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D047908","descriptor_name":"Intracellular Signaling Peptides and Proteins","qualifier_ui":"Q000378","qualifier_name":"metabolism","is_major_topic":false},{"descriptor_ui":"D047908","descriptor_name":"Intracellular Signaling Peptides and Proteins","qualifier_ui":"Q000378","qualifier_name":"metabolism","is_major_topic":false},{"descriptor_ui":"D047908","descriptor_name":"Intracellular Signaling Peptides and Proteins","qualifier_ui":"Q000378","qualifier_name":"metabolism","is_major_topic":false},{"descriptor_ui":"D051880","descriptor_name":"Receptors, Notch","qualifier_ui":"Q000378","qualifier_name":"metabolism","is_major_topic":false},{"descriptor_ui":"D051880","descriptor_name":"Receptors, Notch","qualifier_ui":"Q000378","qualifier_name":"metabolism","is_major_topic":false},{"descriptor_ui":"D051880","descriptor_name":"Receptors, Notch","qualifier_ui":"Q000378","qualifier_name":"metabolism","is_major_topic":false}],"locations_count":3,"locations":[{"id":"doi:10.1093/bioinformatics/btt033","is_oa":true,"landing_page_url":"https://doi.org/10.1093/bioinformatics/btt033","pdf_url":"https://academic.oup.com/bioinformatics/article-pdf/29/6/749/48894889/bioinformatics_29_6_749.pdf","source":{"id":"https://openalex.org/S52395412","display_name":"Bioinformatics","issn_l":"1367-4803","issn":["1367-4803","1367-4811"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bioinformatics","raw_type":"journal-article"},{"id":"pmid:23341501","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/23341501","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bioinformatics (Oxford, England)","raw_type":null},{"id":"pmh:oai:HAL:hal-00785564v1","is_oa":false,"landing_page_url":"https://hal.science/hal-00785564","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bioinformatics, 2013, 29 (6), pp.749-757. &#x27E8;10.1093/bioinformatics/btt033&#x27E9;","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1093/bioinformatics/btt033","is_oa":true,"landing_page_url":"https://doi.org/10.1093/bioinformatics/btt033","pdf_url":"https://academic.oup.com/bioinformatics/article-pdf/29/6/749/48894889/bioinformatics_29_6_749.pdf","source":{"id":"https://openalex.org/S52395412","display_name":"Bioinformatics","issn_l":"1367-4803","issn":["1367-4803","1367-4811"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bioinformatics","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.5199999809265137,"id":"https://metadata.un.org/sdg/17"}],"awards":[{"id":"https://openalex.org/G8876362049","display_name":"Mod\u00e9lisation et analyse compositionnelles de grands r\u00e9seaux de r\u00e9gulation &ndash, application au contr\u00f4le de la prolif\u00e9ration cellulaire chez l'homme","funder_award_id":"ANR-08-SYSC-0003","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W4334996","https://openalex.org/W54191953","https://openalex.org/W70596730","https://openalex.org/W258022877","https://openalex.org/W653950636","https://openalex.org/W1493523706","https://openalex.org/W1503973138","https://openalex.org/W1507281497","https://openalex.org/W1516139305","https://openalex.org/W1533710340","https://openalex.org/W1605031929","https://openalex.org/W1711877719","https://openalex.org/W1848561722","https://openalex.org/W1980824962","https://openalex.org/W1983350265","https://openalex.org/W1989284002","https://openalex.org/W2000163865","https://openalex.org/W2018519939","https://openalex.org/W2075269458","https://openalex.org/W2076935369","https://openalex.org/W2080721009","https://openalex.org/W2095433609","https://openalex.org/W2104925315","https://openalex.org/W2108726522","https://openalex.org/W2114636062","https://openalex.org/W2132935366","https://openalex.org/W2144501202","https://openalex.org/W2155049977","https://openalex.org/W2156424873","https://openalex.org/W2160145365","https://openalex.org/W2162459693","https://openalex.org/W2166214692","https://openalex.org/W2166641412","https://openalex.org/W2167334954","https://openalex.org/W2316231559","https://openalex.org/W2412727441","https://openalex.org/W2912175166","https://openalex.org/W4206815346","https://openalex.org/W6632167371","https://openalex.org/W6637575055","https://openalex.org/W6699306462"],"related_works":["https://openalex.org/W2127267268","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2156446763","https://openalex.org/W2150194458","https://openalex.org/W2143461633","https://openalex.org/W4321471459","https://openalex.org/W2889071233","https://openalex.org/W2380814829","https://openalex.org/W2387511021"],"abstract_inverted_index":{"Abstract":[0],"Motivation:":[1],"Logical":[2],"(Boolean":[3],"or":[4,13],"multi-valued)":[5],"modelling":[6,104],"is":[7],"widely":[8],"used":[9],"to":[10,42,52,100,195],"study":[11],"regulatory":[12,116],"signalling":[14],"networks.":[15,108],"Even":[16],"though":[17],"these":[18],"discrete":[19],"models":[20],"constitute":[21],"a":[22,35,55,60,81,96,135],"coarse,":[23],"yet":[24,66],"useful,":[25],"abstraction":[26,145],"of":[27,31,45,49,63,70,90,105,114,131,142,160,167],"reality,":[28],"the":[29,46,64,68,86,102,112,129,140,154,161,165,173,176],"analysis":[30],"large":[32],"networks":[33,51],"faces":[34],"classical":[36],"combinatorial":[37],"problem.":[38],"Here,":[39],"we":[40,76,110,122],"propose":[41],"take":[43],"advantage":[44],"intrinsic":[47],"modularity":[48],"inter-cellular":[50],"set":[53],"up":[54],"compositional":[56,98],"procedure":[57],"that":[58,74],"enables":[59],"significant":[61],"reduction":[62],"dynamics,":[65],"preserving":[67],"reachability":[69],"stable":[71],"states.":[72],"To":[73],"end,":[75],"rely":[77],"on":[78],"process":[79,136],"algebras,":[80],"well-established":[82],"computational":[83],"technique":[84],"for":[85,190],"specification":[87],"and":[88,118,146,175,180,184],"verification":[89],"interacting":[91],"systems.":[92],"Results:":[93],"We":[94,163],"develop":[95],"novel":[97],"approach":[99,169],"support":[101],"logical":[103,115,132],"interconnected":[106],"cellular":[107],"First,":[109],"formalize":[111],"concept":[113],"modules":[117,133],"their":[119],"composition.":[120],"Then,":[121],"make":[123],"this":[124,168],"framework":[125],"operational":[126],"by":[127],"transposing":[128],"composition":[130],"into":[134],"algebra":[137],"framework.":[138],"Importantly,":[139],"combination":[141],"incremental":[143],"composition,":[144],"minimization":[147],"using":[148],"an":[149],"appropriate":[150],"equivalence":[151],"relation":[152],"(here":[153],"safety":[155],"equivalence)":[156],"yields":[157],"huge":[158],"reductions":[159],"dynamics.":[162],"illustrate":[164],"potential":[166],"with":[170],"two":[171],"case-studies:":[172],"Segment-Polarity":[174],"Delta-Notch":[177],"modules.":[178],"Availability":[179],"implementation:":[181],"GINsim":[182],"(http://ginsim.org)":[183],"CADP":[185],"(http://cadp.inria.fr)":[186],"are":[187,199,209],"freely":[188],"available":[189,210],"academic":[191],"users.":[192],"Files":[193],"needed":[194],"reproduce":[196],"our":[197],"results":[198],"provided":[200],"at":[201,211],"http://compbio.igc.gulbenkian.pt/nmd/node/45.":[202],"Contact:":[203],"chaouiya@igc.gulbenkian.pt":[204],"Supplementary":[205,207],"information:":[206],"data":[208],"Bioinformatics":[212],"online":[213]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":4},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2025-10-10T00:00:00"}
