{"id":"https://openalex.org/W4412897513","doi":"https://doi.org/10.1007/978-3-031-99984-0_32","title":"Anti-pattern Templates","display_name":"Anti-pattern Templates","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4412897513","doi":"https://doi.org/10.1007/978-3-031-99984-0_32"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-99984-0_32","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-99984-0_32","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":"hybrid","oa_url":"https://doi.org/10.1007/978-3-031-99984-0_32","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089075636","display_name":"Jan Otop","orcid":"https://orcid.org/0000-0002-8804-8011"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Jan Otop","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-8804-8011","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5089075636"],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.31314425,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"614","last_page":"631"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9940000176429749,"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":"Logic, programming, and type systems","score":0.9940000176429749,"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/T10142","display_name":"Formal Methods in Verification","score":0.9815000295639038,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.980400025844574,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/computer-science","display_name":"Computer science","score":0.8230341076850891},{"id":"https://openalex.org/keywords/template","display_name":"Template","score":0.6926332712173462},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2640860080718994}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8230341076850891},{"id":"https://openalex.org/C82714645","wikidata":"https://www.wikidata.org/wiki/Q438331","display_name":"Template","level":2,"score":0.6926332712173462},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2640860080718994}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-99984-0_32","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-99984-0_32","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-99984-0_32","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-99984-0_32","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W120220645","https://openalex.org/W1511251273","https://openalex.org/W1565192554","https://openalex.org/W1567531241","https://openalex.org/W1575737560","https://openalex.org/W1991598919","https://openalex.org/W2015373596","https://openalex.org/W2028685566","https://openalex.org/W2039995028","https://openalex.org/W2072384491","https://openalex.org/W2075433022","https://openalex.org/W2276101422","https://openalex.org/W2344943271","https://openalex.org/W2768623782","https://openalex.org/W3022449549","https://openalex.org/W3023050017","https://openalex.org/W4392323799"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2121300814","https://openalex.org/W4231091074","https://openalex.org/W1886613375","https://openalex.org/W4236081792","https://openalex.org/W4250583430","https://openalex.org/W4234406076","https://openalex.org/W2010731026"],"abstract_inverted_index":{"Abstract":[0],"We":[1,44],"introduce":[2],"anti-pattern":[3,8,22,41,51,70,98],"templates,":[4,23],"which":[5,29],"extend":[6],"both":[7],"matching":[9,42],"by":[10,18],"abstracting":[11],"ground":[12],"terms":[13],"to":[14,38],"variables,":[15],"and":[16,76,111],"unification":[17],"negative":[19,87],"constraints.":[20,88],"For":[21],"we":[24,68,91],"study":[25],"the":[26,47,60,94],"satisfiability":[27,48,95],"problem,":[28],"asks":[30],"whether":[31],"a":[32,39],"given":[33],"template":[34],"can":[35],"be":[36],"instantiated":[37],"valid":[40],"instance.":[43],"show":[45],"that":[46,93],"problem":[49,96],"for":[50,97],"templates":[52,71,99],"is":[53,65,107],"NP-complete,":[54],"but":[55],"it":[56,106],"becomes":[57,103],"tractable":[58],"if":[59],"number":[61],"of":[62,83],"negation":[63],"symbols":[64],"bounded.":[66],"Next,":[67],"consider":[69],"modulo":[72,101,109],"an":[73],"equational":[74,84],"theory":[75],"discuss":[77],"its":[78],"relations":[79],"with":[80,86],"other":[81],"variants":[82],"frameworks":[85],"In":[89],"particular,":[90],"conclude":[92],"considered":[100],"associativity":[102,110],"undecidable,":[104],"while":[105],"decidable":[108],"commutativity.":[112]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}