{"id":"https://openalex.org/W2904270376","doi":"https://doi.org/10.1007/978-3-030-72016-2","title":"Tools and Algorithms for the Construction and Analysis of Systems","display_name":"Tools and Algorithms for the Construction and Analysis of Systems","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W2904270376","doi":"https://doi.org/10.1007/978-3-030-72016-2","mag":"2904270376"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-72016-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-72016-2","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book"},"type":"book","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1007/978-3-030-72016-2","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032619003","display_name":"Jan Friso Groote","orcid":"https://orcid.org/0000-0003-2196-6587"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Jan Friso Groote","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069362159","display_name":"Kim G. Larsen","orcid":"https://orcid.org/0000-0002-5953-3384"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Kim Guldstrand Larsen","raw_affiliation_strings":["Aalborg University, Aalborg East, Denmark"],"affiliations":[{"raw_affiliation_string":"Aalborg University, Aalborg East, Denmark","institution_ids":["https://openalex.org/I891191580"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5032619003"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":2.98,"has_fulltext":true,"cited_by_count":35,"citation_normalized_percentile":{"value":0.91525424,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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":0.9994999766349792,"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.9973000288009644,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.8154786825180054},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.41987162828445435}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8154786825180054},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.41987162828445435}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-030-72016-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-72016-2","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book"},{"id":"pmh:oai:pure.tue.nl:openaire/3352ba39-ec53-4f07-aa17-bf1086b051c3","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/3352ba39-ec53-4f07-aa17-bf1086b051c3","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Groote, J F & Larsen, K G (eds) 2021, Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I. Lecture Notes in Computer Science, vol. 12651, Theoretical Computer Science and General Issues, vol. 12651, Springer. https://doi.org/10.1007/978-3-030-72016-2","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.tue.nl:publications/c4b44619-618b-4562-baed-7b0498854a8f","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/c4b44619-618b-4562-baed-7b0498854a8f","pdf_url":"https://pure.tue.nl/ws/files/367336160/Pages_from_1_3_-2.pdf","source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Groote, J F, Larsen, K G, Lang, F, Lecomte, T, Neele, T, Jensen, P G, Beyer, D & Rial, A 2021, Preface. in J F Groote & K G Larsen (eds), Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 \u2013 April 1, 2021, Proceedings. vol. 1, Lecture Notes in Computer Science, vol. 12651, Springer, pp. vii-viii, 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 Held as Part of 24th European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Virtual, Online, 27/03/21. https://doi.org/10.1007/978-3-030-72016-2","raw_type":"info:eu-repo/semantics/annotation"},{"id":"pmh:tue:oai:pure.tue.nl:publications/3352ba39-ec53-4f07-aa17-bf1086b051c3","is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/3352ba39-ec53-4f07-aa17-bf1086b051c3","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/book"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-72016-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-72016-2","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":170,"referenced_works":["https://openalex.org/W8247788","https://openalex.org/W35106564","https://openalex.org/W35366615","https://openalex.org/W38702439","https://openalex.org/W72090759","https://openalex.org/W72349026","https://openalex.org/W95735581","https://openalex.org/W100480301","https://openalex.org/W103974107","https://openalex.org/W122920432","https://openalex.org/W135832138","https://openalex.org/W148396834","https://openalex.org/W153822239","https://openalex.org/W162507138","https://openalex.org/W177913229","https://openalex.org/W187774245","https://openalex.org/W259536784","https://openalex.org/W598394737","https://openalex.org/W605852184","https://openalex.org/W1490452953","https://openalex.org/W1492711856","https://openalex.org/W1494257722","https://openalex.org/W1498548172","https://openalex.org/W1500492509","https://openalex.org/W1503973138","https://openalex.org/W1504954428","https://openalex.org/W1506062870","https://openalex.org/W1509749908","https://openalex.org/W1509985362","https://openalex.org/W1511816816","https://openalex.org/W1513400187","https://openalex.org/W1514103192","https://openalex.org/W1516326834","https://openalex.org/W1522965407","https://openalex.org/W1523292012","https://openalex.org/W1525478537","https://openalex.org/W1527654363","https://openalex.org/W1537015436","https://openalex.org/W1538068159","https://openalex.org/W1542507518","https://openalex.org/W1545155892","https://openalex.org/W1551769641","https://openalex.org/W1559986400","https://openalex.org/W1563916470","https://openalex.org/W1569287913","https://openalex.org/W1570082825","https://openalex.org/W1571376505","https://openalex.org/W1575841458","https://openalex.org/W1577877660","https://openalex.org/W1578992643","https://openalex.org/W1581774065","https://openalex.org/W1582986256","https://openalex.org/W1593165330","https://openalex.org/W1594285439","https://openalex.org/W1602925513","https://openalex.org/W1604811379","https://openalex.org/W1605048253","https://openalex.org/W1608432125","https://openalex.org/W1608704788","https://openalex.org/W1614690985","https://openalex.org/W1662239198","https://openalex.org/W1765032207","https://openalex.org/W1783091435","https://openalex.org/W1790661187","https://openalex.org/W1820239421","https://openalex.org/W1832995843","https://openalex.org/W1857327297","https://openalex.org/W1881906100","https://openalex.org/W1964727056","https://openalex.org/W1967459785","https://openalex.org/W1971716005","https://openalex.org/W1972027649","https://openalex.org/W1976625337","https://openalex.org/W1977264549","https://openalex.org/W1977542171","https://openalex.org/W1979242329","https://openalex.org/W1986022261","https://openalex.org/W1990161286","https://openalex.org/W1990183105","https://openalex.org/W1992189872","https://openalex.org/W1992582873","https://openalex.org/W1993590029","https://openalex.org/W1995328923","https://openalex.org/W1996761984","https://openalex.org/W1999706742","https://openalex.org/W2000210358","https://openalex.org/W2000302396","https://openalex.org/W2001748564","https://openalex.org/W2008781243","https://openalex.org/W2009023733","https://openalex.org/W2009047135","https://openalex.org/W2012001501","https://openalex.org/W2015688007","https://openalex.org/W2016427594","https://openalex.org/W2018930611","https://openalex.org/W2019881090","https://openalex.org/W2021473546","https://openalex.org/W2021615496","https://openalex.org/W2022132320","https://openalex.org/W2022205872","https://openalex.org/W2025788721","https://openalex.org/W2031682652","https://openalex.org/W2035988561","https://openalex.org/W2036265926","https://openalex.org/W2042981544","https://openalex.org/W2043100293","https://openalex.org/W2045057107","https://openalex.org/W2045478049","https://openalex.org/W2048826020","https://openalex.org/W2053152889","https://openalex.org/W2054801208","https://openalex.org/W2058360616","https://openalex.org/W2059316473","https://openalex.org/W2061438988","https://openalex.org/W2061668791","https://openalex.org/W2065818693","https://openalex.org/W2068219251","https://openalex.org/W2069300761","https://openalex.org/W2070830131","https://openalex.org/W2075188242","https://openalex.org/W2080267935","https://openalex.org/W2080593426","https://openalex.org/W2087086761","https://openalex.org/W2088017390","https://openalex.org/W2090233333","https://openalex.org/W2094351765","https://openalex.org/W2097699872","https://openalex.org/W2098083416","https://openalex.org/W2099078002","https://openalex.org/W2103953153","https://openalex.org/W2113750873","https://openalex.org/W2117189826","https://openalex.org/W2117297757","https://openalex.org/W2118229393","https://openalex.org/W2118956464","https://openalex.org/W2119494075","https://openalex.org/W2129664123","https://openalex.org/W2129989226","https://openalex.org/W2133745832","https://openalex.org/W2137865376","https://openalex.org/W2141981779","https://openalex.org/W2142944765","https://openalex.org/W2146819619","https://openalex.org/W2149903685","https://openalex.org/W2150119568","https://openalex.org/W2154411735","https://openalex.org/W2154940799","https://openalex.org/W2158114636","https://openalex.org/W2158525816","https://openalex.org/W2160313886","https://openalex.org/W2161597229","https://openalex.org/W2163971387","https://openalex.org/W2318607485","https://openalex.org/W2396555304","https://openalex.org/W2507426326","https://openalex.org/W2611515161","https://openalex.org/W2742270218","https://openalex.org/W2742987350","https://openalex.org/W2911865844","https://openalex.org/W2912714641","https://openalex.org/W2912916339","https://openalex.org/W2913663755","https://openalex.org/W2914260883","https://openalex.org/W2915029105","https://openalex.org/W2915593025","https://openalex.org/W2990105759","https://openalex.org/W3144368627","https://openalex.org/W3146075203","https://openalex.org/W3152126650","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2003465964","https://openalex.org/W2390279801","https://openalex.org/W303980170","https://openalex.org/W2351491280","https://openalex.org/W2386767533","https://openalex.org/W2371447506","https://openalex.org/W2333698505"],"abstract_inverted_index":{"The":[0],"open":[1],"access":[2],"TACAS":[3],"2021":[4],"proceedings":[5],"deal":[6],"with":[7],"tools":[8],"and":[9,14],"algorithms":[10],"for":[11],"the":[12],"construction":[13],"analysis":[15],"of":[16],"systems":[17]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":10},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2018-12-22T00:00:00"}