{"id":"https://openalex.org/W2604841551","doi":"https://doi.org/10.1007/978-3-319-57288-8_4","title":"Multi-timed Bisimulation for Distributed Timed Automata","display_name":"Multi-timed Bisimulation for Distributed Timed Automata","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2604841551","doi":"https://doi.org/10.1007/978-3-319-57288-8_4","mag":"2604841551"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-57288-8_4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-57288-8_4","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://researchportal.unamur.be/en/publications/5b3a2ff0-41d8-4958-9dac-447bb0a8dce0","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039037821","display_name":"James Ortiz","orcid":"https://orcid.org/0000-0001-5407-963X"},"institutions":[{"id":"https://openalex.org/I149768937","display_name":"University of Namur","ror":"https://ror.org/03d1maw17","country_code":"BE","type":"education","lineage":["https://openalex.org/I149768937"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"James Ortiz","raw_affiliation_strings":["Computer Science Faculty, University of Namur, Namur, Belgium"],"affiliations":[{"raw_affiliation_string":"Computer Science Faculty, University of Namur, Namur, Belgium","institution_ids":["https://openalex.org/I149768937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103239660","display_name":"Moussa Amrani","orcid":"https://orcid.org/0000-0002-6987-1037"},"institutions":[{"id":"https://openalex.org/I149768937","display_name":"University of Namur","ror":"https://ror.org/03d1maw17","country_code":"BE","type":"education","lineage":["https://openalex.org/I149768937"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Moussa Amrani","raw_affiliation_strings":["Computer Science Faculty, University of Namur, Namur, Belgium"],"affiliations":[{"raw_affiliation_string":"Computer Science Faculty, University of Namur, Namur, Belgium","institution_ids":["https://openalex.org/I149768937"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011513275","display_name":"Pierre\u2010Yves Schobbens","orcid":"https://orcid.org/0000-0001-8677-4485"},"institutions":[{"id":"https://openalex.org/I149768937","display_name":"University of Namur","ror":"https://ror.org/03d1maw17","country_code":"BE","type":"education","lineage":["https://openalex.org/I149768937"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Pierre-Yves Schobbens","raw_affiliation_strings":["Computer Science Faculty, University of Namur, Namur, Belgium"],"affiliations":[{"raw_affiliation_string":"Computer Science Faculty, University of Namur, Namur, Belgium","institution_ids":["https://openalex.org/I149768937"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5039037821"],"corresponding_institution_ids":["https://openalex.org/I149768937"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.602,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.81096982,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"52","last_page":"67"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9947999715805054,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9937000274658203,"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/bisimulation","display_name":"Bisimulation","score":0.9718659520149231},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.8418830633163452},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.7990777492523193},{"id":"https://openalex.org/keywords/timed-automaton","display_name":"Timed automaton","score":0.7904248237609863},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7899404764175415},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5919584631919861},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5177940130233765},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5092309713363647},{"id":"https://openalex.org/keywords/transition-system","display_name":"Transition system","score":0.5068522095680237},{"id":"https://openalex.org/keywords/exptime","display_name":"EXPTIME","score":0.43787187337875366},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.4363196790218353},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4356154501438141},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.2871527075767517},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21985605359077454},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.20401710271835327},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2036789357662201},{"id":"https://openalex.org/keywords/pspace","display_name":"PSPACE","score":0.15383681654930115}],"concepts":[{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.9718659520149231},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.8418830633163452},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7990777492523193},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.7904248237609863},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7899404764175415},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5919584631919861},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5177940130233765},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5092309713363647},{"id":"https://openalex.org/C2779167558","wikidata":"https://www.wikidata.org/wiki/Q176468","display_name":"Transition system","level":2,"score":0.5068522095680237},{"id":"https://openalex.org/C56049555","wikidata":"https://www.wikidata.org/wiki/Q1276570","display_name":"EXPTIME","level":4,"score":0.43787187337875366},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.4363196790218353},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4356154501438141},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.2871527075767517},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21985605359077454},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.20401710271835327},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2036789357662201},{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.15383681654930115}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-319-57288-8_4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-57288-8_4","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.unamur.be:openaire/5b3a2ff0-41d8-4958-9dac-447bb0a8dce0","is_oa":true,"landing_page_url":"https://researchportal.unamur.be/en/publications/5b3a2ff0-41d8-4958-9dac-447bb0a8dce0","pdf_url":null,"source":{"id":"https://openalex.org/S4406922457","display_name":"Repository of the University of Namur","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Ortiz Vega, J J, Schobbens, P & Amrani, M 2017, Multi-timed Bisimulation for Distributed Timed Automata. in M Davies, T Kahsai & C Barrett (eds), NASA Formal Methods - 9th International Symposium, NFM 2017 Moffett Field, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10227 LNCS, Springer, pp. 52-67, NASA Formal Methods Symposium, San Jose, United States, 16/05/17. https://doi.org/10.1007/978-3-319-57288-8_4","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:pure.unamur.be:openaire/5b3a2ff0-41d8-4958-9dac-447bb0a8dce0","is_oa":true,"landing_page_url":"https://researchportal.unamur.be/en/publications/5b3a2ff0-41d8-4958-9dac-447bb0a8dce0","pdf_url":null,"source":{"id":"https://openalex.org/S4406922457","display_name":"Repository of the University of Namur","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Ortiz Vega, J J, Schobbens, P & Amrani, M 2017, Multi-timed Bisimulation for Distributed Timed Automata. in M Davies, T Kahsai & C Barrett (eds), NASA Formal Methods - 9th International Symposium, NFM 2017 Moffett Field, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10227 LNCS, Springer, pp. 52-67, NASA Formal Methods Symposium, San Jose, United States, 16/05/17. https://doi.org/10.1007/978-3-319-57288-8_4","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W41277334","https://openalex.org/W123705264","https://openalex.org/W258022877","https://openalex.org/W1498415449","https://openalex.org/W1503973138","https://openalex.org/W1505030820","https://openalex.org/W1540527708","https://openalex.org/W1565034387","https://openalex.org/W1772179977","https://openalex.org/W1778175466","https://openalex.org/W1886894358","https://openalex.org/W1937686558","https://openalex.org/W1977308797","https://openalex.org/W1990183105","https://openalex.org/W2007490191","https://openalex.org/W2027423578","https://openalex.org/W2054858104","https://openalex.org/W2057980886","https://openalex.org/W2068026279","https://openalex.org/W2068361557","https://openalex.org/W2097584236","https://openalex.org/W2101508170","https://openalex.org/W2142071352","https://openalex.org/W2150220388","https://openalex.org/W2153273838","https://openalex.org/W2398303742","https://openalex.org/W2911583164"],"related_works":["https://openalex.org/W2604841551","https://openalex.org/W3138334597","https://openalex.org/W1565034387","https://openalex.org/W2135048208","https://openalex.org/W3094762410","https://openalex.org/W2162510824","https://openalex.org/W2565515823","https://openalex.org/W1511784927","https://openalex.org/W2063608931","https://openalex.org/W4317837918"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}