{"id":"https://openalex.org/W2216559462","doi":"https://doi.org/10.1109/bibe.2012.6399719","title":"Modelling biological pathway dynamics with Timed Automata","display_name":"Modelling biological pathway dynamics with Timed Automata","publication_year":2012,"publication_date":"2012-11-01","ids":{"openalex":"https://openalex.org/W2216559462","doi":"https://doi.org/10.1109/bibe.2012.6399719","mag":"2216559462"},"language":"en","primary_location":{"id":"doi:10.1109/bibe.2012.6399719","is_oa":false,"landing_page_url":"https://doi.org/10.1109/bibe.2012.6399719","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE 12th International Conference on Bioinformatics & Bioengineering (BIBE)","raw_type":"proceedings-article"},"type":"article","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/A5010396704","display_name":"Stefano Schivo","orcid":"https://orcid.org/0000-0002-4945-1473"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Stefano Schivo","raw_affiliation_strings":["Formal Methods and Tool, Facultv of EEMCS"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tool, Facultv of EEMCS","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022917821","display_name":"Jetse Scholma","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jetse Scholma","raw_affiliation_strings":["Developmental BioEngineering MIRA Institute for Biomedical Technology and Technical Medicine"],"affiliations":[{"raw_affiliation_string":"Developmental BioEngineering MIRA Institute for Biomedical Technology and Technical Medicine","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091514185","display_name":"Brend Wanders","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Brend Wanders","raw_affiliation_strings":["Human Media Interaction, Faculty of EEMCS, University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Human Media Interaction, Faculty of EEMCS, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010330701","display_name":"Ricardo A. Urquidi Camacho","orcid":"https://orcid.org/0000-0002-5526-3938"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ricardo A. Urquidi Camacho","raw_affiliation_strings":["Developmental BioEngineering MIRA Institute for Biomedical Technology and Technical Medicine"],"affiliations":[{"raw_affiliation_string":"Developmental BioEngineering MIRA Institute for Biomedical Technology and Technical Medicine","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110257726","display_name":"P.E. van der Vet","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Paul E. van der Vet","raw_affiliation_strings":["Human Media Interaction, Faculty of EEMCS, University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Human Media Interaction, Faculty of EEMCS, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089225087","display_name":"Marcel Karperien","orcid":"https://orcid.org/0000-0003-0751-0604"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marcel Karperien","raw_affiliation_strings":["Developmental BioEngineering MIRA Institute for Biomedical Technology and Technical Medicine"],"affiliations":[{"raw_affiliation_string":"Developmental BioEngineering MIRA Institute for Biomedical Technology and Technical Medicine","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014945719","display_name":"Rom Langerak","orcid":"https://orcid.org/0000-0002-1955-5183"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Rom Langerak","raw_affiliation_strings":["Universiteit Twente, Enschede, Overijssel, NL"],"affiliations":[{"raw_affiliation_string":"Universiteit Twente, Enschede, Overijssel, NL","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012697499","display_name":"Jaco van de Pol","orcid":"https://orcid.org/0000-0003-4305-0625"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jaco van de Pol","raw_affiliation_strings":["Formal Methods and Tool, Facultv of EEMCS"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tool, Facultv of EEMCS","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061489108","display_name":"Janine N. Post","orcid":"https://orcid.org/0000-0002-6645-6583"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Janine N. Post","raw_affiliation_strings":["Developmental BioEngineering MIRA Institute for Biomedical Technology and Technical Medicine"],"affiliations":[{"raw_affiliation_string":"Developmental BioEngineering MIRA Institute for Biomedical Technology and Technical Medicine","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":9,"corresponding_author_ids":["https://openalex.org/A5010396704"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0757,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.76823952,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"6659","issue":null,"first_page":"447","last_page":"453"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9983999729156494,"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.9983999729156494,"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.9975000023841858,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9850999712944031,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8461477756500244},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.8011177778244019},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6565641164779663},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5110138654708862},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5057990550994873},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.48348647356033325},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.48246198892593384},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.46794524788856506},{"id":"https://openalex.org/keywords/biological-network","display_name":"Biological network","score":0.4407973885536194},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.41260066628456116},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3951677083969116},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3286411762237549}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8461477756500244},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.8011177778244019},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6565641164779663},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5110138654708862},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5057990550994873},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.48348647356033325},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.48246198892593384},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.46794524788856506},{"id":"https://openalex.org/C28225019","wikidata":"https://www.wikidata.org/wiki/Q4915005","display_name":"Biological network","level":2,"score":0.4407973885536194},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.41260066628456116},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3951677083969116},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3286411762237549},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C70721500","wikidata":"https://www.wikidata.org/wiki/Q177005","display_name":"Computational biology","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/bibe.2012.6399719","is_oa":false,"landing_page_url":"https://doi.org/10.1109/bibe.2012.6399719","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE 12th International Conference on Bioinformatics & Bioengineering (BIBE)","raw_type":"proceedings-article"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/ff42f01a-d975-4176-ab9b-bfadb28954a7","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/ff42f01a-d975-4176-ab9b-bfadb28954a7","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Schivo, S, Scholma, J, Wanders, B, Urquidi Camacho, R A, van der Vet, P E, Karperien, H B J, Langerak, R, van de Pol, J C & Post, J N 2012, Modelling biological pathway dynamics with Timed Automata. in 2012 IEEE 12th International Conference on Bioinformatics and Bioengineering (BIBE 2012). IEEE, pp. 447-453, 12th IEEE International Conference on BioInformatics and BioEngineering, BIBE 2012, Larnaca, Cyprus, 11/11/12. https://doi.org/10.1109/BIBE.2012.6399719","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:ut:oai:ris.utwente.nl:publications/5f51dcc8-6719-4ba6-9a45-498afba43a64","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/modelling-biological-pathway-dynamics-with-timed-automata(5f51dcc8-6719-4ba6-9a45-498afba43a64).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"STARTPAGE=447;ENDPAGE=453;TITLE=None","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W87687620","https://openalex.org/W96334552","https://openalex.org/W296769721","https://openalex.org/W1525744498","https://openalex.org/W1568502976","https://openalex.org/W1583443197","https://openalex.org/W1983350265","https://openalex.org/W1986397618","https://openalex.org/W1995428640","https://openalex.org/W2000947342","https://openalex.org/W2034188706","https://openalex.org/W2101508170","https://openalex.org/W2118108099","https://openalex.org/W2129388048","https://openalex.org/W2131067724","https://openalex.org/W2340735175","https://openalex.org/W4242741415"],"related_works":["https://openalex.org/W2360304673","https://openalex.org/W2746280673","https://openalex.org/W1594593035","https://openalex.org/W2152996796","https://openalex.org/W2560415449","https://openalex.org/W2804031838","https://openalex.org/W2146709233","https://openalex.org/W3091546927","https://openalex.org/W4288260548","https://openalex.org/W1548463674"],"abstract_inverted_index":{"When":[0],"analysing":[1],"complex":[2,177],"interaction":[3],"networks":[4],"occurring":[5],"in":[6,14,102],"biological":[7,48,178],"cells,":[8],"a":[9,35,85],"biologist":[10],"needs":[11],"computational":[12,138],"support":[13],"order":[15],"to":[16,41,51,55,79,93,109,124,132,140,158,169],"understand":[17],"the":[18,39,64,74,89,103,110,137,142,151,159,163],"effects":[19],"of":[20,29,47,66,105,112,126,153,176],"signalling":[21,95,106,113],"molecules":[22],"(e.g.":[23],"growth":[24],"factors,":[25],"drugs).":[26],"ANIMO":[27],"(Analysis":[28],"Networks":[30],"with":[31],"Interactive":[32],"MOdelling)":[33],"is":[34,61,184],"tool":[36,60],"that":[37,129],"allows":[38,130,168],"user":[40,147],"create":[42],"and":[43,54,100,191],"explore":[44,141],"executable":[45],"models":[46,115,175],"networks,":[49],"helping":[50],"derive":[52],"hypotheses":[53],"plan":[56],"wet-lab":[57],"experiments.":[58],"The":[59,180],"based":[62],"on":[63],"formalism":[65],"Timed":[67,80,154],"Automata,":[68,81],"which":[69],"can":[70,83],"be":[71],"analysed":[72],"via":[73],"UPPAAL":[75,135],"model":[76],"checker.":[77],"Thanks":[78],"we":[82],"provide":[84],"formal":[86],"semantics":[87],"for":[88,188],"domain-specific":[90],"language":[91],"used":[92],"represent":[94],"networks.":[96,119],"This":[97,167],"enforces":[98],"precision":[99],"uniformity":[101],"definition":[104],"pathways,":[107],"contributing":[108],"integration":[111],"event":[114],"into":[116],"complex,":[117],"crosstalk-driven":[118],"We":[120],"propose":[121],"an":[122,189],"approach":[123],"discretization":[125],"reaction":[127],"kinetics":[128],"us":[131],"efficiently":[133],"use":[134,152],"as":[136],"engine":[139],"dynamic":[143],"cell":[144],"behaviour.":[145],"A":[146],"friendly":[148],"interface":[149],"makes":[150],"Automata":[155],"completely":[156],"transparent":[157],"biologist,":[160],"while":[161],"keeping":[162],"expressive":[164],"power":[165],"intact.":[166],"define":[170],"relatively":[171],"simple,":[172],"yet":[173],"faithful":[174],"interactions.":[179],"resulting":[181],"timed":[182],"behaviour":[183],"displayed":[185],"graphically,":[186],"allowing":[187],"intuitive":[190],"interactive":[192],"modelling":[193],"experience.":[194]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}