{"id":"https://openalex.org/W2887592705","doi":"https://doi.org/10.1145/3234200.3234224","title":"Equivalence and its applications to network verification","display_name":"Equivalence and its applications to network verification","publication_year":2018,"publication_date":"2018-08-07","ids":{"openalex":"https://openalex.org/W2887592705","doi":"https://doi.org/10.1145/3234200.3234224","mag":"2887592705"},"language":"en","primary_location":{"id":"doi:10.1145/3234200.3234224","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3234200.3234224","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/3497840","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102044494","display_name":"Drago\u0219 Dumitrescu","orcid":null},"institutions":[{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["RO"],"is_corresponding":true,"raw_author_name":"Dragos Dumitrescu","raw_affiliation_strings":["University Politehnica of Bucharest"],"affiliations":[{"raw_affiliation_string":"University Politehnica of Bucharest","institution_ids":["https://openalex.org/I61641377"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059623051","display_name":"Radu Stoenescu","orcid":null},"institutions":[{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Radu Stoenescu","raw_affiliation_strings":["University Politehnica of Bucharest"],"affiliations":[{"raw_affiliation_string":"University Politehnica of Bucharest","institution_ids":["https://openalex.org/I61641377"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046395329","display_name":"Matei Popovici","orcid":null},"institutions":[{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Matei Popovici","raw_affiliation_strings":["University Politehnica of Bucharest"],"affiliations":[{"raw_affiliation_string":"University Politehnica of Bucharest","institution_ids":["https://openalex.org/I61641377"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070895720","display_name":"Lorina Negreanu","orcid":"https://orcid.org/0000-0003-2323-9535"},"institutions":[{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Lorina Negreanu","raw_affiliation_strings":["University Politehnica of Bucharest"],"affiliations":[{"raw_affiliation_string":"University Politehnica of Bucharest","institution_ids":["https://openalex.org/I61641377"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008493066","display_name":"Costin Raiciu","orcid":"https://orcid.org/0000-0002-5937-2162"},"institutions":[{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Costin Raiciu","raw_affiliation_strings":["University Politehnica of Bucharest"],"affiliations":[{"raw_affiliation_string":"University Politehnica of Bucharest","institution_ids":["https://openalex.org/I61641377"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5102044494"],"corresponding_institution_ids":["https://openalex.org/I61641377"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.10492572,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"21","last_page":"23"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10714","display_name":"Software-Defined Networks and 5G","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11598","display_name":"Internet Traffic Analysis and Secure E-voting","score":0.9871000051498413,"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/T10083","display_name":"Graphene research and applications","score":0.9717000126838684,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/citation","display_name":"Citation","score":0.4642563462257385},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4624170958995819},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.448103129863739},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.3712555170059204},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.3292735815048218},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.16170808672904968},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.06463107466697693},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.0624413788318634}],"concepts":[{"id":"https://openalex.org/C2778805511","wikidata":"https://www.wikidata.org/wiki/Q1713","display_name":"Citation","level":2,"score":0.4642563462257385},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4624170958995819},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.448103129863739},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.3712555170059204},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.3292735815048218},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.16170808672904968},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.06463107466697693},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0624413788318634}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3234200.3234224","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3234200.3234224","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos","raw_type":"proceedings-article"},{"id":"pmh:oai:zenodo.org:3497840","is_oa":true,"landing_page_url":"https://zenodo.org/record/3497840","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencePaper"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:3497840","is_oa":true,"landing_page_url":"https://zenodo.org/record/3497840","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencePaper"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4675605479","display_name":null,"funder_award_id":"758815","funder_id":"https://openalex.org/F4320338335","funder_display_name":"H2020 European Research Council"}],"funders":[{"id":"https://openalex.org/F4320338335","display_name":"H2020 European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1249296113","https://openalex.org/W2115526539","https://openalex.org/W2339906640","https://openalex.org/W2764015261"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2899084033","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2530322880"],"abstract_inverted_index":{"short-paper":[0],"Free":[1],"Access":[2],"Share":[3],"on":[4,85,136],"Equivalence":[5],"and":[6,87,113],"its":[7],"applications":[8],"to":[9,146,150,152],"network":[10],"verification":[11],"Authors:":[12],"Dragos":[13],"Dumitrescu":[14],"University":[15,19,27,31,39,43,51,55,63,67],"Politehnica":[16,20,28,32,40,44,52,56,64,68],"of":[17,21,29,33,41,45,53,57,65,69,79],"Bucharest":[18,30,42,54,66],"BucharestView":[22,34,46,58,70],"Profile":[23,35,47,59,71],",":[24,36,48,60],"Radu":[25],"Stoenescu":[26],"Matei":[37],"Popovici":[38],"Lorina":[49],"Negreanu":[50],"Costin":[61],"Raiciu":[62],"Authors":[72],"Info":[73],"&":[74],"Claims":[75],"SIGCOMM":[76,82],"'18:":[77],"Proceedings":[78],"the":[80,137],"ACM":[81],"2018":[83,89],"Conference":[84],"Posters":[86],"DemosAugust":[88],"Pages":[90],"21\u201323https://doi.org/10.1145/3234200.3234224Published:07":[91],"August":[92],"2018Publication":[93],"History":[94],"0citation317DownloadsMetricsTotal":[95],"Citations0Total":[96],"Downloads317Last":[97],"12":[98],"Months38Last":[99],"6":[100],"weeks0":[101],"Get":[102],"Citation":[103,105,142],"AlertsNew":[104,141],"Alert":[106],"added!This":[107],"alert":[108,133],"has":[109,128],"been":[110,129],"successfully":[111],"added":[112],"will":[114,118],"be":[115,119],"sent":[116],"to:You":[117],"notified":[120],"whenever":[121],"a":[122,154],"record":[123],"that":[124],"you":[125],"have":[126],"chosen":[127],"cited.To":[130],"manage":[131],"your":[132,147],"preferences,":[134],"click":[135],"button":[138],"below.Manage":[139],"my":[140],"Alert!Please":[143],"log":[144],"in":[145],"account":[148],"Save":[149],"BinderSave":[151],"BinderCreate":[153],"New":[155],"BinderNameCancelCreateExport":[156],"CitationPublisher":[157],"SiteeReaderPDF":[158]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}