{"id":"https://openalex.org/W2296504218","doi":"https://doi.org/10.1007/978-3-319-29510-7_3","title":"What\u2019s Decidable About Parametric Timed Automata?","display_name":"What\u2019s Decidable About Parametric Timed Automata?","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2296504218","doi":"https://doi.org/10.1007/978-3-319-29510-7_3","mag":"2296504218"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-29510-7_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-29510-7_3","pdf_url":null,"source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"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":"Communications in Computer and Information Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5084807183","display_name":"\u00c9tienne Andr\u00e9","orcid":"https://orcid.org/0000-0001-8473-9555"},"institutions":[{"id":"https://openalex.org/I4210156583","display_name":"Laboratoire d'Informatique de Paris-Nord","ror":"https://ror.org/05g1zjw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210091279","https://openalex.org/I4210156583","https://openalex.org/I4210159245"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I100445878","display_name":"\u00c9cole Centrale de Nantes","ror":"https://ror.org/03nh7d505","country_code":"FR","type":"education","lineage":["https://openalex.org/I100445878","https://openalex.org/I97188460"]},{"id":"https://openalex.org/I4210091279","display_name":"Universit\u00e9 Sorbonne Paris Nord","ror":"https://ror.org/0199hds37","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210091279"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I4210091437","display_name":"Sorbonne Paris Cit\u00e9","ror":"https://ror.org/001z21q04","country_code":"FR","type":"other","lineage":["https://openalex.org/I4210091437"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"\u00c9tienne Andr\u00e9","raw_affiliation_strings":["Universit\u00e9 Paris 13, Sorbonne Paris Cit\u00e9, LIPN, CNRS, UMR 7030, 93430, Villetaneuse, France","\u00c9cole Centrale de Nantes, IRCCyN, CNRS, UMR 6597, Nantes, France","Universit\u00e9 Paris 13, Sorbonne Paris Cit\u00e9, LIPN, CNRS, UMR 7030, Villetaneuse, France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris 13, Sorbonne Paris Cit\u00e9, LIPN, CNRS, UMR 7030, 93430, Villetaneuse, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I1294671590","https://openalex.org/I4210156583","https://openalex.org/I4210091437","https://openalex.org/I4210091279"]},{"raw_affiliation_string":"\u00c9cole Centrale de Nantes, IRCCyN, CNRS, UMR 6597, Nantes, France","institution_ids":["https://openalex.org/I100445878","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Universit\u00e9 Paris 13, Sorbonne Paris Cit\u00e9, LIPN, CNRS, UMR 7030, Villetaneuse, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I1294671590","https://openalex.org/I4210156583","https://openalex.org/I4210091437","https://openalex.org/I4210091279"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5084807183"],"corresponding_institution_ids":["https://openalex.org/I100445878","https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I4210091279","https://openalex.org/I4210091437","https://openalex.org/I4210156583"],"apc_list":null,"apc_paid":null,"fwci":16.9696,"has_fulltext":false,"cited_by_count":48,"citation_normalized_percentile":{"value":0.99725796,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"52","last_page":"68"},"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/T11567","display_name":"semigroups and automata theory","score":0.9991999864578247,"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.9988999962806702,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.8211612701416016},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6957968473434448},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6264089941978455},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.4616727828979492},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2735177278518677},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.25928041338920593},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.23678672313690186},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.04645058512687683}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.8211612701416016},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6957968473434448},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6264089941978455},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.4616727828979492},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2735177278518677},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.25928041338920593},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.23678672313690186},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.04645058512687683}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-319-29510-7_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-29510-7_3","pdf_url":null,"source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"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":"Communications in Computer and Information Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.8299999833106995,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":73,"referenced_works":["https://openalex.org/W11326594","https://openalex.org/W15609906","https://openalex.org/W59289768","https://openalex.org/W84851084","https://openalex.org/W1480878841","https://openalex.org/W1482486776","https://openalex.org/W1496066518","https://openalex.org/W1500068351","https://openalex.org/W1515421996","https://openalex.org/W1550659912","https://openalex.org/W1593414957","https://openalex.org/W1640994929","https://openalex.org/W1659060819","https://openalex.org/W1690546704","https://openalex.org/W1740906416","https://openalex.org/W1824805445","https://openalex.org/W1850823946","https://openalex.org/W1862357615","https://openalex.org/W1917164756","https://openalex.org/W1946664948","https://openalex.org/W1971949385","https://openalex.org/W1976659775","https://openalex.org/W1981808971","https://openalex.org/W1983125523","https://openalex.org/W1992147928","https://openalex.org/W1994032730","https://openalex.org/W1995691455","https://openalex.org/W2000518871","https://openalex.org/W2000947342","https://openalex.org/W2004126468","https://openalex.org/W2004463571","https://openalex.org/W2006988532","https://openalex.org/W2012140001","https://openalex.org/W2013854827","https://openalex.org/W2020140696","https://openalex.org/W2022782983","https://openalex.org/W2023122318","https://openalex.org/W2025782239","https://openalex.org/W2026629052","https://openalex.org/W2030412184","https://openalex.org/W2048780543","https://openalex.org/W2060095702","https://openalex.org/W2062873592","https://openalex.org/W2073976172","https://openalex.org/W2077321406","https://openalex.org/W2080957994","https://openalex.org/W2085838366","https://openalex.org/W2098166444","https://openalex.org/W2099924351","https://openalex.org/W2101508170","https://openalex.org/W2110425399","https://openalex.org/W2110496251","https://openalex.org/W2130773092","https://openalex.org/W2133856837","https://openalex.org/W2134038996","https://openalex.org/W2147340401","https://openalex.org/W2150377894","https://openalex.org/W2155953212","https://openalex.org/W2167694722","https://openalex.org/W2172175633","https://openalex.org/W2256981893","https://openalex.org/W2294306416","https://openalex.org/W2295332800","https://openalex.org/W2518552594","https://openalex.org/W2522219859","https://openalex.org/W2530593621","https://openalex.org/W2550605469","https://openalex.org/W2604784900","https://openalex.org/W2607981089","https://openalex.org/W2617458767","https://openalex.org/W2950255638","https://openalex.org/W3101340322","https://openalex.org/W3103084107"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2331020993","https://openalex.org/W2972379433","https://openalex.org/W4383764068","https://openalex.org/W2506746226","https://openalex.org/W2109489765","https://openalex.org/W3104737963","https://openalex.org/W1886746238","https://openalex.org/W2133856837","https://openalex.org/W2182252111"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":15},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":8},{"year":2016,"cited_by_count":4}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}