{"id":"https://openalex.org/W4300868389","doi":"https://doi.org/10.1007/3-540-60630-0","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":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W4300868389","doi":"https://doi.org/10.1007/3-540-60630-0"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-60630-0","is_oa":false,"landing_page_url":"http://doi.org/10.1007/3-540-60630-0","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"},"type":"book","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":null,"display_name":"Ed Brinksma","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Ed Brinksma","raw_affiliation_strings":["Aalborg University Center, Dept. of Mathematics and Computer Science Fredrik Bajersvej 7, DK-9220Aalborg, Denmark","Department of Computer Science, North Carolina State University Raleigh, NC 27695-8206, USA","Department of Computer Science, University of Twente PO Box 217, 7500 AE Enschede, The Netherlands","Hong Kong ; London ; Milan ; Paris ; Tokyo","Karlsruhe University, Germany","Fakultat ftir Mathematik und Informatik, Universitat Passau Postfach 2540, D-94030 Passau, Germany","Juris Hartmanis, Cornell University, NY, USA","New York ; Barcelona ; Budapest ;","Utrecht University, The Netherlands","-Berlin ; Heidelberg ;"],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"W. Rance Cleaveland","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"W. Rance Cleaveland","raw_affiliation_strings":["North Carolina State University","Utrecht University, The Netherlands","Department of Computer Science, University of Twente PO Box 217, 7500 AE Enschede, The Netherlands","Aalborg University Center, Dept. of Mathematics and Computer Science Fredrik Bajersvej 7, DK-9220Aalborg, Denmark","Department of Computer Science, North Carolina State University Raleigh, NC 27695-8206, USA","Fakultat ftir Mathematik und Informatik, Universitat Passau Postfach 2540, D-94030 Passau, Germany","Karlsruhe University, Germany","-Berlin ; Heidelberg ;","New York ; Barcelona ; Budapest ;","Hong Kong ; London ; Milan ; Paris ; Tokyo","Juris Hartmanis, Cornell University, NY, USA"],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Kim Guldstrand Larsen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kim Guldstrand Larsen","raw_affiliation_strings":["Aalborg University","Fakultat ftir Mathematik und Informatik, Universitat Passau Postfach 2540, D-94030 Passau, Germany","Karlsruhe University, Germany","Utrecht University, The Netherlands","Department of Computer Science, University of Twente PO Box 217, 7500 AE Enschede, The Netherlands","Aalborg University Center, Dept. of Mathematics and Computer Science Fredrik Bajersvej 7, DK-9220Aalborg, Denmark","New York ; Barcelona ; Budapest ;","-Berlin ; Heidelberg ;","Juris Hartmanis, Cornell University, NY, USA","Department of Computer Science, North Carolina State University Raleigh, NC 27695-8206, USA","Hong Kong ; London ; Milan ; Paris ; Tokyo"],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Tiziana Margaria","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tiziana Margaria","raw_affiliation_strings":["University of Passau","Utrecht University, The Netherlands","Department of Computer Science, University of Twente PO Box 217, 7500 AE Enschede, The Netherlands","Karlsruhe University, Germany","New York ; Barcelona ; Budapest ;","Hong Kong ; London ; Milan ; Paris ; Tokyo","Juris Hartmanis, Cornell University, NY, USA","Department of Computer Science, North Carolina State University Raleigh, NC 27695-8206, USA","Aalborg University Center, Dept. of Mathematics and Computer Science Fredrik Bajersvej 7, DK-9220Aalborg, Denmark","-Berlin ; Heidelberg ;","Fakultat ftir Mathematik und Informatik, Universitat Passau Postfach 2540, D-94030 Passau, Germany"],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.3371,"has_fulltext":true,"cited_by_count":18,"citation_normalized_percentile":{"value":0.76870748,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.149399995803833,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.149399995803833,"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"}},{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.1306000053882599,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T14470","display_name":"Advanced Data Processing Techniques","score":0.1257999986410141,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.5692566633224487},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4244769811630249}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5692566633224487},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4244769811630249}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/3-540-60630-0","is_oa":false,"landing_page_url":"http://doi.org/10.1007/3-540-60630-0","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"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/942f51b8-0c8b-4bb4-9ff8-f9ff0bdb41df","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/942f51b8-0c8b-4bb4-9ff8-f9ff0bdb41df","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Brinksma, E, Cleaveland, W R, Larsen, K G, Margaria, T & Steffen, B (eds) 1995, Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS'95, Aarhus, Denmark, May 19-20, 1995 : selected papers. Lecture notes in computer science, vol. 1019, TACAS : tools and algorithms for the construction and analysis of systems : international conference : proceedings, vol. 1, Springer, Berlin. https://doi.org/10.1007/3-540-60630-0","raw_type":"info:eu-repo/semantics/book"},{"id":"pmh:oai:ris.utwente.nl:publications/bf828ed4-c63a-45f2-a9c9-85982ca0ce2b","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/bf828ed4-c63a-45f2-a9c9-85982ca0ce2b","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"},{"id":"https://openalex.org/F4320320943","display_name":"Danmarks Grundforskningsfond","ror":"https://ror.org/00znyv691"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W1563637091","https://openalex.org/W1702401680"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2317200988","https://openalex.org/W2376932109","https://openalex.org/W2382290278","https://openalex.org/W2350741829"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":2}],"updated_date":"2026-06-10T14:10:52.464848","created_date":"2022-10-04T00:00:00"}