{"id":"https://openalex.org/W1546369567","doi":"https://doi.org/10.1007/978-3-642-12032-9_2","title":"A Semantic Foundation for Hidden State","display_name":"A Semantic Foundation for Hidden State","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W1546369567","doi":"https://doi.org/10.1007/978-3-642-12032-9_2","mag":"1546369567"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-12032-9_2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-642-12032-9_2","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-642-12032-9_2.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-642-12032-9_2.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062310143","display_name":"Jan Schwinghammer","orcid":null},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Jan Schwinghammer","raw_affiliation_strings":["Saarland Univ,"],"affiliations":[{"raw_affiliation_string":"Saarland Univ,","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101612744","display_name":"Hongseok Yang","orcid":"https://orcid.org/0000-0003-1502-2942"},"institutions":[{"id":"https://openalex.org/I166337079","display_name":"Queen Mary University of London","ror":"https://ror.org/026zzn846","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I166337079"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Hongseok Yang","raw_affiliation_strings":["Queen Mary Univ. of London,"],"affiliations":[{"raw_affiliation_string":"Queen Mary Univ. of London,","institution_ids":["https://openalex.org/I166337079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055959064","display_name":"Lars Birkedal","orcid":"https://orcid.org/0000-0003-1320-0098"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Lars Birkedal","raw_affiliation_strings":["IT Univ. of Copenhagen,"],"affiliations":[{"raw_affiliation_string":"IT Univ. of Copenhagen,","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060426941","display_name":"Fran\u00e7ois Pottier","orcid":"https://orcid.org/0000-0002-4069-1235"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fran\u00e7ois Pottier","raw_affiliation_strings":["INRIA,"],"affiliations":[{"raw_affiliation_string":"INRIA,","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018059594","display_name":"Bernhard Reus","orcid":"https://orcid.org/0000-0002-5807-856X"},"institutions":[{"id":"https://openalex.org/I312809248","display_name":"Sussex County Community College","ror":"https://ror.org/04bdnn252","country_code":"US","type":"education","lineage":["https://openalex.org/I312809248"]},{"id":"https://openalex.org/I162608824","display_name":"University of Sussex","ror":"https://ror.org/00ayhx656","country_code":"GB","type":"education","lineage":["https://openalex.org/I162608824"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"Bernhard Reus","raw_affiliation_strings":["Univ. of Sussex,"],"affiliations":[{"raw_affiliation_string":"Univ. of Sussex,","institution_ids":["https://openalex.org/I312809248","https://openalex.org/I162608824"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5062310143"],"corresponding_institution_ids":["https://openalex.org/I91712215"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":7.9054,"has_fulltext":true,"cited_by_count":35,"citation_normalized_percentile":{"value":0.98163031,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"2","last_page":"17"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9983999729156494,"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/T11424","display_name":"Security and Verification in Computing","score":0.9983999729156494,"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/T12034","display_name":"Digital and Cyber Forensics","score":0.9983000159263611,"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.9976999759674072,"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/soundness","display_name":"Soundness","score":0.9760331511497498},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8519823551177979},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.56035977602005},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.557340681552887},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5179787874221802},{"id":"https://openalex.org/keywords/proof-of-concept","display_name":"Proof of concept","score":0.49686887860298157},{"id":"https://openalex.org/keywords/foundation","display_name":"Foundation (evidence)","score":0.49333420395851135},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4212374687194824},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3536703586578369},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3478996753692627},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.11383059620857239},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1087079644203186},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.05517783761024475}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.9760331511497498},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8519823551177979},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.56035977602005},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.557340681552887},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5179787874221802},{"id":"https://openalex.org/C124978682","wikidata":"https://www.wikidata.org/wiki/Q1201019","display_name":"Proof of concept","level":2,"score":0.49686887860298157},{"id":"https://openalex.org/C2780966255","wikidata":"https://www.wikidata.org/wiki/Q5474306","display_name":"Foundation (evidence)","level":2,"score":0.49333420395851135},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4212374687194824},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3536703586578369},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3478996753692627},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.11383059620857239},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1087079644203186},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.05517783761024475},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":9,"locations":[{"id":"doi:10.1007/978-3-642-12032-9_2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-642-12032-9_2","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-642-12032-9_2.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:CiteSeerX.psu:10.1.1.148.7837","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.148.7837","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.itu.dk/people/birkedal/papers/infohiding-conf.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.233.927","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.233.927","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cogs.susx.ac.uk/users/bernhard/PapersFolder/Fossacs10.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.420.1193","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.1193","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.eecs.qmul.ac.uk/~hyang/paper/fossacs10-full.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.420.1309","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.1309","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.eecs.qmul.ac.uk/~hyang/paper/fossacs10-submitted.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.420.697","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.697","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.eecs.qmul.ac.uk/~hyang/paper/fossacs10.pdf","raw_type":"text"},{"id":"pmh:oai:figshare.com:article/23393237","is_oa":true,"landing_page_url":"https://figshare.com/articles/presentation/A_semantic_foundation_for_hidden_state/23393237","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"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":"Text"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:87203948-382c-425d-9398-947c24efcb64","is_oa":false,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:87203948-382c-425d-9398-947c24efcb64","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Department of Computer Science","raw_type":"Conference item"},{"id":"pmh:oai:pure.atira.dk:publications/615f215d-ad53-4cb3-984d-c465036482a8","is_oa":false,"landing_page_url":"https://pure.itu.dk/portal/da/publications/615f215d-ad53-4cb3-984d-c465036482a8","pdf_url":null,"source":{"id":"https://openalex.org/S4377196680","display_name":"IT University Of Copenhagen (IT University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83467386","host_organization_name":"IT University of Copenhagen","host_organization_lineage":["https://openalex.org/I83467386"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Schwinghammer, J, Yang, H, Birkedal, L, Pottier, F & Reus, B 2010, A Semantic Foundation for Hidden State. in C-H L Ong (ed.), Foundations of Software Science and Computational Structures, 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Springer, Lecture Notes in Computer Science, vol. 6014, pp. 2-17. https://doi.org/10.1007/978-3-642-12032-9_2","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1007/978-3-642-12032-9_2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-642-12032-9_2","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-642-12032-9_2.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":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.550000011920929}],"awards":[{"id":"https://openalex.org/G4225191572","display_name":null,"funder_award_id":"EP/G003173/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4676224091","display_name":null,"funder_award_id":"EP/E053041/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1546369567.pdf","grobid_xml":"https://content.openalex.org/works/W1546369567.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W1507860656","https://openalex.org/W1546369567","https://openalex.org/W1568326153","https://openalex.org/W1589421353","https://openalex.org/W1595420666","https://openalex.org/W1598065184","https://openalex.org/W2008132476","https://openalex.org/W2023925909","https://openalex.org/W2030299533","https://openalex.org/W2035383849","https://openalex.org/W2050576837","https://openalex.org/W2080769562","https://openalex.org/W2125505801","https://openalex.org/W2137628566","https://openalex.org/W2151836690","https://openalex.org/W2153324628","https://openalex.org/W2170105288","https://openalex.org/W2171685273","https://openalex.org/W2292055962","https://openalex.org/W3100079782","https://openalex.org/W4210279633","https://openalex.org/W4237593520"],"related_works":["https://openalex.org/W1511249877","https://openalex.org/W1578828174","https://openalex.org/W2950376466","https://openalex.org/W2000943029","https://openalex.org/W2621980927","https://openalex.org/W4302559785","https://openalex.org/W2140496290","https://openalex.org/W2949331520","https://openalex.org/W2002878601","https://openalex.org/W2260260573"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":7}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}