{"id":"https://openalex.org/W1582600793","doi":"https://doi.org/10.1007/978-3-540-77566-9_40","title":"Verifying Parameterized taDOM+ Lock Managers","display_name":"Verifying Parameterized taDOM+ Lock Managers","publication_year":2008,"publication_date":"2008-01-05","ids":{"openalex":"https://openalex.org/W1582600793","doi":"https://doi.org/10.1007/978-3-540-77566-9_40","mag":"1582600793"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-77566-9_40","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-77566-9_40","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060661020","display_name":"Antti Siirtola","orcid":"https://orcid.org/0000-0001-9118-5087"},"institutions":[{"id":"https://openalex.org/I98381234","display_name":"University of Oulu","ror":"https://ror.org/03yj89h83","country_code":"FI","type":"education","lineage":["https://openalex.org/I98381234"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"Antti Siirtola","raw_affiliation_strings":["Department of Information Processing Science, University of Oulu, Finland","Department of Information Processing Science, University of Oulu, PL 3000, 90014 University of Oulu, Finland","University of Oulu, Department of Information Processing Science, University of Oulu, Finland#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Information Processing Science, University of Oulu, Finland","institution_ids":["https://openalex.org/I98381234"]},{"raw_affiliation_string":"Department of Information Processing Science, University of Oulu, PL 3000, 90014 University of Oulu, Finland","institution_ids":["https://openalex.org/I98381234"]},{"raw_affiliation_string":"University of Oulu, Department of Information Processing Science, University of Oulu, Finland#TAB#","institution_ids":["https://openalex.org/I98381234"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080014482","display_name":"Micha\u0142 Valenta","orcid":"https://orcid.org/0000-0003-1694-3428"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Michal Valenta","raw_affiliation_strings":["Faculty of Electrical Engineering, Department of Computer Science and Engineering, Czech Technical University in Prague, Karlovo n\u00e1mesti 13, 121 35, Prague 2, Czech Republic","Faculty of Electrical Engineering, Department of Computer Science and Engineering, Czech Technical University in Prague, Prague 2, Czech Republic","Czech Technical University in Prague, Faculty of Electrical Engineering, Department of Computer Science and Engineering, Prague 2, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering, Department of Computer Science and Engineering, Czech Technical University in Prague, Karlovo n\u00e1mesti 13, 121 35, Prague 2, Czech Republic","institution_ids":["https://openalex.org/I44504214"]},{"raw_affiliation_string":"Faculty of Electrical Engineering, Department of Computer Science and Engineering, Czech Technical University in Prague, Prague 2, Czech Republic","institution_ids":["https://openalex.org/I44504214"]},{"raw_affiliation_string":"Czech Technical University in Prague, Faculty of Electrical Engineering, Department of Computer Science and Engineering, Prague 2, Czech Republic","institution_ids":["https://openalex.org/I44504214"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5060661020"],"corresponding_institution_ids":["https://openalex.org/I98381234"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.6751,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.91275964,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"460","last_page":"472"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12479","display_name":"Web Application Security Vulnerabilities","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T12479","display_name":"Web Application Security Vulnerabilities","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9887999892234802,"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/T10142","display_name":"Formal Methods in Verification","score":0.987500011920929,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.9206141233444214},{"id":"https://openalex.org/keywords/lock","display_name":"Lock (firearm)","score":0.8028818964958191},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7658987045288086},{"id":"https://openalex.org/keywords/mutual-exclusion","display_name":"Mutual exclusion","score":0.750395655632019},{"id":"https://openalex.org/keywords/xml","display_name":"XML","score":0.6549872159957886},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.5581642389297485},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4913612902164459},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.463262140750885},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.45048192143440247},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44393494725227356},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4409683048725128},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4205145537853241},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3851962387561798},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.33973458409309387},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.23019176721572876},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1951422393321991},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10989180207252502},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.0994005799293518}],"concepts":[{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.9206141233444214},{"id":"https://openalex.org/C174839445","wikidata":"https://www.wikidata.org/wiki/Q1134386","display_name":"Lock (firearm)","level":2,"score":0.8028818964958191},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7658987045288086},{"id":"https://openalex.org/C56348326","wikidata":"https://www.wikidata.org/wiki/Q1047554","display_name":"Mutual exclusion","level":2,"score":0.750395655632019},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.6549872159957886},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.5581642389297485},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4913612902164459},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.463262140750885},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.45048192143440247},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44393494725227356},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4409683048725128},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4205145537853241},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3851962387561798},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.33973458409309387},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.23019176721572876},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1951422393321991},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10989180207252502},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0994005799293518},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-540-77566-9_40","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-77566-9_40","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W163168189","https://openalex.org/W335576746","https://openalex.org/W1488858096","https://openalex.org/W1517752490","https://openalex.org/W1532374416","https://openalex.org/W1569203277","https://openalex.org/W1589760516","https://openalex.org/W1595452620","https://openalex.org/W1972065960","https://openalex.org/W1984957636","https://openalex.org/W2006553351","https://openalex.org/W2012351729","https://openalex.org/W2023327000","https://openalex.org/W2036526834","https://openalex.org/W2042876806","https://openalex.org/W2048880957","https://openalex.org/W2051054731","https://openalex.org/W2109943697","https://openalex.org/W2129384397","https://openalex.org/W2130789522","https://openalex.org/W2132638915","https://openalex.org/W2147269402","https://openalex.org/W2149706659","https://openalex.org/W2156730618","https://openalex.org/W2476089118","https://openalex.org/W2752885492","https://openalex.org/W2753710282","https://openalex.org/W2914206182","https://openalex.org/W2977967499","https://openalex.org/W3145128584","https://openalex.org/W3149201378","https://openalex.org/W3183881215","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2051058708","https://openalex.org/W3046715470","https://openalex.org/W2531084474","https://openalex.org/W1494268238","https://openalex.org/W154868527","https://openalex.org/W1983207144","https://openalex.org/W2057593151","https://openalex.org/W2024402979","https://openalex.org/W2133055577","https://openalex.org/W2147005473"],"abstract_inverted_index":null,"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2026-01-05T23:09:59.299951","created_date":"2025-10-10T00:00:00"}