{"id":"https://openalex.org/W2080813736","doi":"https://doi.org/10.1145/1854776.1854843","title":"Compositional modelling of signalling pathways in timed concurrent constraint programming","display_name":"Compositional modelling of signalling pathways in timed concurrent constraint programming","publication_year":2010,"publication_date":"2010-08-02","ids":{"openalex":"https://openalex.org/W2080813736","doi":"https://doi.org/10.1145/1854776.1854843","mag":"2080813736"},"language":"en","primary_location":{"id":"doi:10.1145/1854776.1854843","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1854776.1854843","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000327522","display_name":"Davide Chiarugi","orcid":"https://orcid.org/0000-0003-2752-3189"},"institutions":[{"id":"https://openalex.org/I102064193","display_name":"University of Siena","ror":"https://ror.org/01tevnk56","country_code":"IT","type":"education","lineage":["https://openalex.org/I102064193"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Davide Chiarugi","raw_affiliation_strings":["Universit\u00e0 di Siena, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Siena, Italy","institution_ids":["https://openalex.org/I102064193"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053216941","display_name":"Moreno Falaschi","orcid":"https://orcid.org/0000-0002-6659-3828"},"institutions":[{"id":"https://openalex.org/I102064193","display_name":"University of Siena","ror":"https://ror.org/01tevnk56","country_code":"IT","type":"education","lineage":["https://openalex.org/I102064193"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Moreno Falaschi","raw_affiliation_strings":["Universit\u00e0 di Siena, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Siena, Italy","institution_ids":["https://openalex.org/I102064193"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047180960","display_name":"Carlos Olarte","orcid":"https://orcid.org/0000-0002-7264-7773"},"institutions":[{"id":"https://openalex.org/I233745408","display_name":"Pontificia Universidad Javeriana","ror":"https://ror.org/03etyjw28","country_code":"CO","type":"education","lineage":["https://openalex.org/I233745408"]}],"countries":["CO"],"is_corresponding":false,"raw_author_name":"Carlos Olarte","raw_affiliation_strings":["Universidad Javeriana, Cali, Colombia","Universidad Javeriana, Cali, Colombia#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Javeriana, Cali, Colombia","institution_ids":["https://openalex.org/I233745408"]},{"raw_affiliation_string":"Universidad Javeriana, Cali, Colombia#TAB#","institution_ids":["https://openalex.org/I233745408"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090842450","display_name":"Catuscia Palamidessi","orcid":"https://orcid.org/0000-0003-4597-7002"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210139461","display_name":"Laboratoire d'Informatique de l'\u00c9cole Polytechnique","ror":"https://ror.org/04afed728","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I142476485","https://openalex.org/I4210139461","https://openalex.org/I4210145102","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Catuscia Palamidessi","raw_affiliation_strings":["INRIA and LIX, Ecole, Polytechnique, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA and LIX, Ecole, Polytechnique, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210139461"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":10.2071,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.98083624,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"414","last_page":"417"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10252","display_name":"Microbial Natural Products and Biosynthesis","score":0.9861999750137329,"subfield":{"id":"https://openalex.org/subfields/2736","display_name":"Pharmacology"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},"topics":[{"id":"https://openalex.org/T10252","display_name":"Microbial Natural Products and Biosynthesis","score":0.9861999750137329,"subfield":{"id":"https://openalex.org/subfields/2736","display_name":"Pharmacology"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T11710","display_name":"Biomedical Text Mining and Ontologies","score":0.9714999794960022,"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/T10932","display_name":"Microbial Metabolic Engineering and Bioproduction","score":0.9696000218391418,"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/computer-science","display_name":"Computer science","score":0.7669851779937744},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.7317450046539307},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5405915975570679},{"id":"https://openalex.org/keywords/signalling","display_name":"Signalling","score":0.518367350101471},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5054383277893066},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.47285890579223633},{"id":"https://openalex.org/keywords/signalling-pathways","display_name":"Signalling pathways","score":0.4570818245410919},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3888886272907257},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.37115177512168884},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.14824780821800232},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13680338859558105},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.09173396229743958},{"id":"https://openalex.org/keywords/signal-transduction","display_name":"Signal transduction","score":0.08500424027442932}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7669851779937744},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.7317450046539307},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5405915975570679},{"id":"https://openalex.org/C39743133","wikidata":"https://www.wikidata.org/wiki/Q3262595","display_name":"Signalling","level":2,"score":0.518367350101471},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5054383277893066},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.47285890579223633},{"id":"https://openalex.org/C3018449070","wikidata":"https://www.wikidata.org/wiki/Q828130","display_name":"Signalling pathways","level":3,"score":0.4570818245410919},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3888886272907257},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.37115177512168884},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.14824780821800232},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13680338859558105},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.09173396229743958},{"id":"https://openalex.org/C62478195","wikidata":"https://www.wikidata.org/wiki/Q828130","display_name":"Signal transduction","level":2,"score":0.08500424027442932},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1854776.1854843","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1854776.1854843","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-00548213v1","is_oa":false,"landing_page_url":"https://hal.science/hal-00548213","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":"First ACM International Conference on Bioinformatics and Computational Biology (BCB '10)., Aug 2010, Niagara Falls, New York, United States. pp.414-417, ⟨10.1145/1854776.1854843⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:usiena-air.unisi.it:11365/39877","is_oa":false,"landing_page_url":"http://hdl.handle.net/11365/39877","pdf_url":null,"source":{"id":"https://openalex.org/S4377196319","display_name":"Use Siena air (University of Siena)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I102064193","host_organization_name":"University of Siena","host_organization_lineage":["https://openalex.org/I102064193"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1598490231","display_name":null,"funder_award_id":"RBIN04M8S8","funder_id":"https://openalex.org/F4320321873","funder_display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca"}],"funders":[{"id":"https://openalex.org/F4320321873","display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","ror":"https://ror.org/0166hxq48"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W333135988","https://openalex.org/W1484903112","https://openalex.org/W1522025508","https://openalex.org/W1594613389","https://openalex.org/W1874468149","https://openalex.org/W1987194133","https://openalex.org/W1995948702","https://openalex.org/W2001661334","https://openalex.org/W2091567516","https://openalex.org/W2100486049","https://openalex.org/W2104855667","https://openalex.org/W2105726498","https://openalex.org/W2116271446","https://openalex.org/W2119170644","https://openalex.org/W2167154952","https://openalex.org/W2236176804","https://openalex.org/W2911741782"],"related_works":["https://openalex.org/W2092427118","https://openalex.org/W2058539798","https://openalex.org/W2947741874","https://openalex.org/W1492131881","https://openalex.org/W2087709298","https://openalex.org/W2165025106","https://openalex.org/W4386778658","https://openalex.org/W2969844295","https://openalex.org/W4291309325","https://openalex.org/W2987447052"],"abstract_inverted_index":{"The":[0],"biological":[1,47],"data":[2,26],"regarding":[3],"the":[4,58,82],"signalling":[5,42],"pathways":[6,10],"often":[7],"consider":[8],"single":[9],"or":[11],"a":[12,19,28,38,46,52,69,85,91],"small":[13],"number":[14,40],"of":[15,25,41,51,54,61,96],"them.":[16],"We":[17,44,64,89],"propose":[18],"methodology":[20],"for":[21,84],"composing":[22],"this":[23],"kind":[24],"in":[27,31],"coherent":[29],"framework,":[30],"order":[32],"to":[33,36,87],"be":[34],"able":[35],"investigate":[37],"bigger":[39],"pathways.":[43],"specify":[45],"system":[48],"by":[49,68],"means":[50],"set":[53],"stoichiometric-like":[55],"equations":[56,67],"resembling":[57],"essential":[59],"features":[60],"molecular":[62],"interactions.":[63],"represent":[65],"these":[66],"timed":[70],"concurrent":[71],"constraint":[72],"(ntcc)":[73],"language,":[74],"which":[75],"can":[76],"deal":[77],"with":[78],"partial":[79],"information":[80],"and":[81],"time":[83],"reaction":[86],"occur.":[88],"describe":[90],"freely":[92],"available":[93],"prototypical":[94],"implementation":[95],"our":[97],"framework.":[98]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2016-06-24T00:00:00"}