{"id":"https://openalex.org/W2109880615","doi":"https://doi.org/10.1016/j.entcs.2014.05.003","title":"The K Primer (version 3.3)","display_name":"The K Primer (version 3.3)","publication_year":2014,"publication_date":"2014-06-01","ids":{"openalex":"https://openalex.org/W2109880615","doi":"https://doi.org/10.1016/j.entcs.2014.05.003","mag":"2109880615"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2014.05.003","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1016/j.entcs.2014.05.003","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015125888","display_name":"Traian Florin \u015eerb\u0103nu\u0163\u0103","orcid":null},"institutions":[{"id":"https://openalex.org/I141595442","display_name":"University of Bucharest","ror":"https://ror.org/02x2v6p15","country_code":"RO","type":"education","lineage":["https://openalex.org/I141595442"]}],"countries":["RO"],"is_corresponding":true,"raw_author_name":"Traian Florin \u015eerb\u0103nu\u0163\u0103","raw_affiliation_string":"University of Bucharest,","raw_affiliation_strings":["University of Bucharest,"]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048106549","display_name":"Andrei Arusoaie","orcid":null},"institutions":[{"id":"https://openalex.org/I138164181","display_name":"Alexandru Ioan Cuza University","ror":"https://ror.org/022kvet57","country_code":"RO","type":"education","lineage":["https://openalex.org/I138164181"]}],"countries":["RO"],"is_corresponding":true,"raw_author_name":"Andrei Arusoaie","raw_affiliation_string":"University Alexandru Ioan Cuza of Ia\u015fi","raw_affiliation_strings":["University Alexandru Ioan Cuza of Ia\u015fi"]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087670807","display_name":"David Lazar","orcid":"https://orcid.org/0000-0002-7816-457X"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"David Lazar","raw_affiliation_string":"Massachusetts Institute of Technology","raw_affiliation_strings":["Massachusetts Institute of Technology"]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050875590","display_name":"Chucky Ellison","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225","https://openalex.org/I2801919071"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Chucky Ellison","raw_affiliation_string":"University of Illinois at Urbana-Champaign","raw_affiliation_strings":["University of Illinois at Urbana-Champaign"]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052315997","display_name":"Dorel Lucanu","orcid":"https://orcid.org/0000-0001-8097-040X"},"institutions":[{"id":"https://openalex.org/I138164181","display_name":"Alexandru Ioan Cuza University","ror":"https://ror.org/022kvet57","country_code":"RO","type":"education","lineage":["https://openalex.org/I138164181"]}],"countries":["RO"],"is_corresponding":true,"raw_author_name":"Dorel Lucanu","raw_affiliation_string":"University Alexandru Ioan Cuza of Ia\u015fi","raw_affiliation_strings":["University Alexandru Ioan Cuza of Ia\u015fi"]},{"author_position":"last","author":{"id":"https://openalex.org/A5053878331","display_name":"Grigore Ro\u015fu","orcid":"https://orcid.org/0000-0002-3102-0421"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225","https://openalex.org/I2801919071"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Grigore Ro\u015fu","raw_affiliation_string":"University of Illinois at Urbana-Champaign","raw_affiliation_strings":["University of Illinois at Urbana-Champaign"]}],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5015125888","https://openalex.org/A5048106549","https://openalex.org/A5087670807","https://openalex.org/A5050875590","https://openalex.org/A5052315997","https://openalex.org/A5053878331"],"corresponding_institution_ids":["https://openalex.org/I141595442","https://openalex.org/I138164181","https://openalex.org/I63966007","https://openalex.org/I157725225","https://openalex.org/I138164181","https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":13,"cited_by_percentile_year":{"min":89,"max":90},"biblio":{"volume":"304","issue":null,"first_page":"57","last_page":"80"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Program Analysis and Verification Techniques","score":0.9994,"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/T10126","display_name":"Program Analysis and Verification Techniques","score":0.9994,"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/T10054","display_name":"Parallel Computing and Performance Optimization","score":0.9985,"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/T10142","display_name":"Formal Methods in Software Verification and Control","score":0.9962,"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":[{"keyword":"