{"id":"https://openalex.org/W2160675239","doi":"https://doi.org/10.1007/978-3-540-85114-1_17","title":"Incremental Hashing for Spin","display_name":"Incremental Hashing for Spin","publication_year":2008,"publication_date":"2008-08-12","ids":{"openalex":"https://openalex.org/W2160675239","doi":"https://doi.org/10.1007/978-3-540-85114-1_17","mag":"2160675239"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-85114-1_17","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-540-85114-1_17","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-540-85114-1_17.pdf","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":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-540-85114-1_17.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082003776","display_name":"Viet Yen Nguyen","orcid":null},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Viet Yen Nguyen","raw_affiliation_strings":["RWTH Aachen University, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108074404","display_name":"Theo C. Ruys","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Theo C. Ruys","raw_affiliation_strings":["University of Twente, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Twente, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.3917,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.82922622,"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":"232","last_page":"249"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9945999979972839,"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"}},"topics":[{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9945999979972839,"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9933000206947327,"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"}},{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.982200026512146,"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/universal-hashing","display_name":"Universal hashing","score":0.8511747121810913},{"id":"https://openalex.org/keywords/hash-function","display_name":"Hash function","score":0.8461951017379761},{"id":"https://openalex.org/keywords/dynamic-perfect-hashing","display_name":"Dynamic perfect hashing","score":0.8452991247177124},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7773841619491577},{"id":"https://openalex.org/keywords/linear-hashing","display_name":"Linear hashing","score":0.5837192535400391},{"id":"https://openalex.org/keywords/k-independent-hashing","display_name":"K-independent hashing","score":0.5537819862365723},{"id":"https://openalex.org/keywords/hash-table","display_name":"Hash table","score":0.5381861925125122},{"id":"https://openalex.org/keywords/double-hashing","display_name":"Double hashing","score":0.5292113423347473},{"id":"https://openalex.org/keywords/consistent-hashing","display_name":"Consistent hashing","score":0.5187630653381348},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4603424370288849},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.37636590003967285},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10278618335723877}],"concepts":[{"id":"https://openalex.org/C116058348","wikidata":"https://www.wikidata.org/wiki/Q846912","display_name":"Universal hashing","level":5,"score":0.8511747121810913},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.8461951017379761},{"id":"https://openalex.org/C122907437","wikidata":"https://www.wikidata.org/wiki/Q5318999","display_name":"Dynamic perfect hashing","level":5,"score":0.8452991247177124},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7773841619491577},{"id":"https://openalex.org/C36375716","wikidata":"https://www.wikidata.org/wiki/Q6553456","display_name":"Linear hashing","level":5,"score":0.5837192535400391},{"id":"https://openalex.org/C187062812","wikidata":"https://www.wikidata.org/wiki/Q6322840","display_name":"K-independent hashing","level":5,"score":0.5537819862365723},{"id":"https://openalex.org/C67388219","wikidata":"https://www.wikidata.org/wiki/Q207440","display_name":"Hash table","level":3,"score":0.5381861925125122},{"id":"https://openalex.org/C138111711","wikidata":"https://www.wikidata.org/wiki/Q478351","display_name":"Double hashing","level":4,"score":0.5292113423347473},{"id":"https://openalex.org/C56856351","wikidata":"https://www.wikidata.org/wiki/Q1757218","display_name":"Consistent hashing","level":5,"score":0.5187630653381348},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4603424370288849},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37636590003967285},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10278618335723877}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/978-3-540-85114-1_17","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-540-85114-1_17","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-540-85114-1_17.pdf","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:ris.utwente.nl:openaire_cris_publications/e6ebf741-f8f5-4119-a6d1-707ebc258c2f","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/e6ebf741-f8f5-4119-a6d1-707ebc258c2f","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Nguyen, V Y & Ruys, T C 2008, Incremental Hashing for SPIN. in K Havelund, R Majumdar & J Palsberg (eds), Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings. Lecture Notes in Computer Science, vol. 5156, Theoretical Computer Science and General Issues, Springer, Berlin, Heidelberg, pp. 232-249, 15th International SPIN Workshop on Model Checking Software 2008, Los Angeles, California, United States, 10/08/08. https://doi.org/10.1007/978-3-540-85114-1_17","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.184.2553","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.184.2553","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://spinroot.com/spin/Workshops/ws08/spin2008_submission_40.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.329.2764","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.329.2764","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www-i2.informatik.rwth-aachen.de/~nguyen/incrementalHashing/nguyen-ruys.pdf","raw_type":"text"},{"id":"pmh:oai:publications.rwth-aachen.de:83799","is_oa":false,"landing_page_url":"https://publications.rwth-aachen.de/search?p=id:%22RWTH-CONV-095692%22","pdf_url":null,"source":{"id":"https://openalex.org/S4306401362","display_name":"RWTH Publications (RWTH Aachen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887968799","host_organization_name":"RWTH Aachen University","host_organization_lineage":["https://openalex.org/I887968799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Model checking software : 15th international SPIN workshop, Los Angeles, CA, USA, August 10-12, 2008 ; proceedings / Klaus Havelund; Rupak Majumdar; Jens Palsberg (eds.)<br/>15. International SPIN Workshop, Los Angeles, CA, USA, 2008-08-10 - 2008-08-12","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:publications/e6ebf741-f8f5-4119-a6d1-707ebc258c2f","is_oa":false,"landing_page_url":null,"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":{"id":"doi:10.1007/978-3-540-85114-1_17","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-540-85114-1_17","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-540-85114-1_17.pdf","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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2160675239.pdf","grobid_xml":"https://content.openalex.org/works/W2160675239.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W68069235","https://openalex.org/W100509257","https://openalex.org/W125115239","https://openalex.org/W657718082","https://openalex.org/W1535566948","https://openalex.org/W1572290621","https://openalex.org/W1583487553","https://openalex.org/W1584646744","https://openalex.org/W1586211015","https://openalex.org/W1600795850","https://openalex.org/W1795288011","https://openalex.org/W1803471726","https://openalex.org/W1943502734","https://openalex.org/W1972418517","https://openalex.org/W1984081611","https://openalex.org/W2054884471","https://openalex.org/W2131180739","https://openalex.org/W2136877520","https://openalex.org/W2138620071","https://openalex.org/W2166158916","https://openalex.org/W2752853835","https://openalex.org/W3198160809"],"related_works":["https://openalex.org/W4385382899","https://openalex.org/W2076162755","https://openalex.org/W2084899141","https://openalex.org/W2334522381","https://openalex.org/W4386271002","https://openalex.org/W1486630602","https://openalex.org/W1481411695","https://openalex.org/W2811247857","https://openalex.org/W2585520041","https://openalex.org/W2094127768"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}