{"id":"https://openalex.org/W2128709994","doi":"https://doi.org/10.1007/3-540-45013-0_8","title":"Convex Hull Abstractions in Specialization of CLP Programs","display_name":"Convex Hull Abstractions in Specialization of CLP Programs","publication_year":2003,"publication_date":"2003-01-01","ids":{"openalex":"https://openalex.org/W2128709994","doi":"https://doi.org/10.1007/3-540-45013-0_8","mag":"2128709994"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-45013-0_8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-45013-0_8","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_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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018313727","display_name":"Julio C. Peralta","orcid":null},"institutions":[{"id":"https://openalex.org/I8961855","display_name":"Universidad Nacional Aut\u00f3noma de M\u00e9xico","ror":"https://ror.org/01tmp8f25","country_code":"MX","type":"education","lineage":["https://openalex.org/I8961855"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"Julio C. Peralta","raw_affiliation_strings":["Instituto de Investigaci\u00f3n en Matem\u00e1ticas Aplicadas y en Sistemas, Circuito Escolar s/n, Ciudad Universitaria, M\u00e9xico, D.F"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Instituto de Investigaci\u00f3n en Matem\u00e1ticas Aplicadas y en Sistemas, Circuito Escolar s/n, Ciudad Universitaria, M\u00e9xico, D.F","institution_ids":["https://openalex.org/I8961855"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020698393","display_name":"John P. Gallagher","orcid":"https://orcid.org/0000-0001-6984-7419"},"institutions":[{"id":"https://openalex.org/I107707843","display_name":"Roskilde University","ror":"https://ror.org/014axpa37","country_code":"DK","type":"education","lineage":["https://openalex.org/I107707843"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"John P. Gallagher","raw_affiliation_strings":["Dept. of Computer Science, University of Roskilde, Building 42.1, P.O. Box 260, DK-4000, Roskilde, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of Roskilde, Building 42.1, P.O. Box 260, DK-4000, Roskilde, Denmark","institution_ids":["https://openalex.org/I107707843"]}]}],"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":0.3548,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.64110525,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"90","last_page":"108"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"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/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9933000206947327,"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/T11567","display_name":"semigroups and automata theory","score":0.9922000169754028,"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":[{"id":"https://openalex.org/keywords/convex-hull","display_name":"Convex hull","score":0.7607128024101257},{"id":"https://openalex.org/keywords/hull","display_name":"Hull","score":0.6156036257743835},{"id":"https://openalex.org/keywords/regular-polygon","display_name":"Regular polygon","score":0.5282484889030457},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.511027455329895},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.37509089708328247},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2547558546066284},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.2269296646118164},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.15648558735847473}],"concepts":[{"id":"https://openalex.org/C206194317","wikidata":"https://www.wikidata.org/wiki/Q1138624","display_name":"Convex hull","level":3,"score":0.7607128024101257},{"id":"https://openalex.org/C37423430","wikidata":"https://www.wikidata.org/wiki/Q6750281","display_name":"Hull","level":2,"score":0.6156036257743835},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.5282484889030457},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.511027455329895},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.37509089708328247},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2547558546066284},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.2269296646118164},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.15648558735847473},{"id":"https://openalex.org/C111368507","wikidata":"https://www.wikidata.org/wiki/Q43518","display_name":"Oceanography","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/3-540-45013-0_8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-45013-0_8","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_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:pure.atira.dk:publications/41f3a964-819b-4af1-ac48-176121799aba","is_oa":false,"landing_page_url":"https://forskning.ruc.dk/da/publications/41f3a964-819b-4af1-ac48-176121799aba","pdf_url":null,"source":{"id":"https://openalex.org/S4306401457","display_name":"RUCforsk (Roskilde University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I107707843","host_organization_name":"Roskilde University","host_organization_lineage":["https://openalex.org/I107707843"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Peralta, J C & Gallagher, J P 2003, Convex hull abstractions in specialization of CLP programs. in M Leuschel (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2664, pp. 90-108. https://doi.org/10.1007/3-540-45013-0_8","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","score":0.4399999976158142,"display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W101802158","https://openalex.org/W624678609","https://openalex.org/W1481018260","https://openalex.org/W1481517572","https://openalex.org/W1489409322","https://openalex.org/W1492471923","https://openalex.org/W1505441226","https://openalex.org/W1515042646","https://openalex.org/W1520791584","https://openalex.org/W1522408124","https://openalex.org/W1556604985","https://openalex.org/W1558952152","https://openalex.org/W1573673250","https://openalex.org/W1706172200","https://openalex.org/W1786315310","https://openalex.org/W1846522280","https://openalex.org/W1854012871","https://openalex.org/W1871975842","https://openalex.org/W1983305931","https://openalex.org/W2037035101","https://openalex.org/W2048831705","https://openalex.org/W2056410280","https://openalex.org/W2060361043","https://openalex.org/W2063727779","https://openalex.org/W2073776007","https://openalex.org/W2081103684","https://openalex.org/W2132661148","https://openalex.org/W2156461803","https://openalex.org/W2340735175","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2467926385","https://openalex.org/W161301265","https://openalex.org/W2483619716","https://openalex.org/W4246461909","https://openalex.org/W2377576908","https://openalex.org/W563487689","https://openalex.org/W2893068807","https://openalex.org/W2971424936","https://openalex.org/W2007256320"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}