{"id":"https://openalex.org/W4236837871","doi":"https://doi.org/10.1007/3-540-55253-7","title":"ESOP '92","display_name":"ESOP '92","publication_year":1992,"publication_date":"1992-01-01","ids":{"openalex":"https://openalex.org/W4236837871","doi":"https://doi.org/10.1007/3-540-55253-7"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1007/3-540-55253-7","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_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"book series"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"type":"book","type_crossref":"book","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":"https://doi.org/10.1007/3-540-55253-7","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057369953","display_name":"Anna Bertoni","orcid":"https://orcid.org/0000-0001-7228-8718"},"institutions":[{"id":"https://openalex.org/I4210128445","display_name":"Torino e-district","ror":"https://ror.org/03cxxc369","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210128445"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"A Bertoni","raw_affiliation_strings":["(Amsterdam)","(Milano) P. Darondeau (Rennes) M. Dauchet (Lille) R. De Nicola (Pisa)","(Rennes)","(Torino)"],"affiliations":[{"raw_affiliation_string":"(Rennes)","institution_ids":[]},{"raw_affiliation_string":"(Torino)","institution_ids":["https://openalex.org/I4210128445"]},{"raw_affiliation_string":"(Amsterdam)","institution_ids":[]},{"raw_affiliation_string":"(Milano) P. Darondeau (Rennes) M. Dauchet (Lille) R. De Nicola (Pisa)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5099369041","display_name":"M Dezaui-Ciancaglini","orcid":null},"institutions":[{"id":"https://openalex.org/I4210128445","display_name":"Torino e-district","ror":"https://ror.org/03cxxc369","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210128445"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"M Dezaui-Ciancaglini","raw_affiliation_strings":["(Amsterdam)","(Milano) P. Darondeau (Rennes) M. Dauchet (Lille) R. De Nicola (Pisa)","(Rennes)","(Torino)"],"affiliations":[{"raw_affiliation_string":"(Amsterdam)","institution_ids":[]},{"raw_affiliation_string":"(Milano) P. Darondeau (Rennes) M. Dauchet (Lille) R. De Nicola (Pisa)","institution_ids":[]},{"raw_affiliation_string":"(Rennes)","institution_ids":[]},{"raw_affiliation_string":"(Torino)","institution_ids":["https://openalex.org/I4210128445"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110443113","display_name":"Jan Willem Klop","orcid":null},"institutions":[{"id":"https://openalex.org/I4210128445","display_name":"Torino e-district","ror":"https://ror.org/03cxxc369","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210128445"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"J Klop","raw_affiliation_strings":["(Amsterdam)","(Milano) P. Darondeau (Rennes) M. Dauchet (Lille) R. De Nicola (Pisa)","(Rennes)","(Torino)"],"affiliations":[{"raw_affiliation_string":"(Rennes)","institution_ids":[]},{"raw_affiliation_string":"(Torino)","institution_ids":["https://openalex.org/I4210128445"]},{"raw_affiliation_string":"(Amsterdam)","institution_ids":[]},{"raw_affiliation_string":"(Milano) P. Darondeau (Rennes) M. Dauchet (Lille) R. De Nicola (Pisa)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018498749","display_name":"Maurice Nivat","orcid":null},"institutions":[{"id":"https://openalex.org/I4210128445","display_name":"Torino e-district","ror":"https://ror.org/03cxxc369","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210128445"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"M Nivat","raw_affiliation_strings":["(Amsterdam)","(Milano) P. Darondeau (Rennes) M. Dauchet (Lille) R. De Nicola (Pisa)","(Rennes)","(Torino)"],"affiliations":[{"raw_affiliation_string":"(Rennes)","institution_ids":[]},{"raw_affiliation_string":"(Torino)","institution_ids":["https://openalex.org/I4210128445"]},{"raw_affiliation_string":"(Amsterdam)","institution_ids":[]},{"raw_affiliation_string":"(Milano) P. Darondeau (Rennes) M. Dauchet (Lille) R. De Nicola (Pisa)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047532647","display_name":"Axel Poign","orcid":null},"institutions":[{"id":"https://openalex.org/I4210128445","display_name":"Torino e-district","ror":"https://ror.org/03cxxc369","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210128445"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"A Poign6","raw_affiliation_strings":["(Amsterdam)","(Milano) P. Darondeau (Rennes) M. Dauchet (Lille) R. De Nicola (Pisa)","(Rennes)","(Torino)"],"affiliations":[{"raw_affiliation_string":"(Rennes)","institution_ids":[]},{"raw_affiliation_string":"(Torino)","institution_ids":["https://openalex.org/I4210128445"]},{"raw_affiliation_string":"(Amsterdam)","institution_ids":[]},{"raw_affiliation_string":"(Milano) P. Darondeau (Rennes) M. Dauchet (Lille) R. De Nicola (Pisa)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113997624","display_name":"St Augustin","orcid":null},"institutions":[{"id":"https://openalex.org/I4210128445","display_name":"Torino e-district","ror":"https://ror.org/03cxxc369","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210128445"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"St Augustin","raw_affiliation_strings":["(Amsterdam)","(Milano) P. Darondeau (Rennes) M. Dauchet (Lille) R. De Nicola (Pisa)","(Rennes)","(Torino)"],"affiliations":[{"raw_affiliation_string":"(Rennes)","institution_ids":[]},{"raw_affiliation_string":"(Torino)","institution_ids":["https://openalex.org/I4210128445"]},{"raw_affiliation_string":"(Amsterdam)","institution_ids":[]},{"raw_affiliation_string":"(Milano) P. Darondeau (Rennes) M. Dauchet (Lille) R. De Nicola (Pisa)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111492580","display_name":"Jean -Claude Raoult","orcid":null},"institutions":[{"id":"https://openalex.org/I4210128445","display_name":"Torino e-district","ror":"https://ror.org/03cxxc369","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210128445"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"J.-C Raoult","raw_affiliation_strings":["(Amsterdam)","(Milano) P. Darondeau (Rennes) M. Dauchet (Lille) R. De Nicola (Pisa)","(Rennes)","(Torino)"],"affiliations":[{"raw_affiliation_string":"(Rennes)","institution_ids":[]},{"raw_affiliation_string":"(Amsterdam)","institution_ids":[]},{"raw_affiliation_string":"(Milano) P. Darondeau (Rennes) M. Dauchet (Lille) R. De Nicola (Pisa)","institution_ids":[]},{"raw_affiliation_string":"(Torino)","institution_ids":["https://openalex.org/I4210128445"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085139444","display_name":"Guy Cousineau","orcid":null},"institutions":[{"id":"https://openalex.org/I4210128445","display_name":"Torino e-district","ror":"https://ror.org/03cxxc369","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210128445"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"G Cousineau","raw_affiliation_strings":["(Amsterdam)","(Milano) P. Darondeau (Rennes) M. Dauchet (Lille) R. De Nicola (Pisa)","(Rennes)","(Torino)"],"affiliations":[{"raw_affiliation_string":"(Rennes)","institution_ids":[]},{"raw_affiliation_string":"(Milano) P. Darondeau (Rennes) M. Dauchet (Lille) R. De Nicola (Pisa)","institution_ids":[]},{"raw_affiliation_string":"(Torino)","institution_ids":["https://openalex.org/I4210128445"]},{"raw_affiliation_string":"(Amsterdam)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112816432","display_name":"Hans-Martin Kirchner","orcid":null},"institutions":[{"id":"https://openalex.org/I4210128445","display_name":"Torino e-district","ror":"https://ror.org/03cxxc369","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210128445"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"H Kirchner","raw_affiliation_strings":["(Amsterdam)","(Milano) P. Darondeau (Rennes) M. Dauchet (Lille) R. De Nicola (Pisa)","(Rennes)","(Torino)"],"affiliations":[{"raw_affiliation_string":"(Milano) P. Darondeau (Rennes) M. Dauchet (Lille) R. De Nicola (Pisa)","institution_ids":[]},{"raw_affiliation_string":"(Torino)","institution_ids":["https://openalex.org/I4210128445"]},{"raw_affiliation_string":"(Amsterdam)","institution_ids":[]},{"raw_affiliation_string":"(Rennes)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5099369040","display_name":"Nancy Kdeg","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nancy Kdeg","raw_affiliation_strings":["M. Steinby (Turku) C. Stirling (Exlinburgh)","W. Thomas (Kiel) J. Tiuryn"],"affiliations":[{"raw_affiliation_string":"W. Thomas (Kiel) J. Tiuryn","institution_ids":[]},{"raw_affiliation_string":"M. Steinby (Turku) C. Stirling (Exlinburgh)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114017681","display_name":"T. S. E. Maibaum","orcid":null},"institutions":[{"id":"https://openalex.org/I4210128445","display_name":"Torino e-district","ror":"https://ror.org/03cxxc369","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210128445"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"T Maibaum","raw_affiliation_strings":["(Amsterdam)","(Milano) P. Darondeau (Rennes) M. Dauchet (Lille) R. De Nicola (Pisa)","(Rennes)","(Torino)"],"affiliations":[{"raw_affiliation_string":"(Rennes)","institution_ids":[]},{"raw_affiliation_string":"(Torino)","institution_ids":["https://openalex.org/I4210128445"]},{"raw_affiliation_string":"(Amsterdam)","institution_ids":[]},{"raw_affiliation_string":"(Milano) P. Darondeau (Rennes) M. Dauchet (Lille) R. De Nicola (Pisa)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029244225","display_name":"Bruno Courcelle","orcid":"https://orcid.org/0000-0002-5545-8970"},"institutions":[{"id":"https://openalex.org/I4210128445","display_name":"Torino e-district","ror":"https://ror.org/03cxxc369","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210128445"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"B Courcelle","raw_affiliation_strings":["(Amsterdam)","(Milano) P. Darondeau (Rennes) M. Dauchet (Lille) R. De Nicola (Pisa)","(Rennes)","(Torino)"],"affiliations":[{"raw_affiliation_string":"(Rennes)","institution_ids":[]},{"raw_affiliation_string":"(Torino)","institution_ids":["https://openalex.org/I4210128445"]},{"raw_affiliation_string":"(Amsterdam)","institution_ids":[]},{"raw_affiliation_string":"(Milano) P. Darondeau (Rennes) M. Dauchet (Lille) R. De Nicola (Pisa)","institution_ids":[]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392,"provenance":"doaj"},"apc_paid":null,"fwci":0.0,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":53},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.2862,"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"}},"topics":[{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.2862,"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":[],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7530384},{"id":"https://openalex.org/C20556612","wikidata":"https://www.wikidata.org/wiki/Q4469374","display_name":"Volume (thermodynamics)","level":2,"score":0.42142487},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.3379662},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1007/3-540-55253-7","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_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"book series"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1007/3-540-55253-7","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_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"book series"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":3,"referenced_works":["https://openalex.org/W1547212747","https://openalex.org/W1603896661","https://openalex.org/W1633563175"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2530322880","https://openalex.org/W2478288626","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2001405890","https://openalex.org/W1596801655"],"abstract_inverted_index":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4236837871","counts_by_year":[],"updated_date":"2025-01-22T07:08:25.830174","created_date":"2022-05-12"}