{"id":"https://openalex.org/W2160091048","doi":"https://doi.org/10.1007/978-3-540-74835-9_7","title":"Satisfiability and Resiliency in Workflow Systems","display_name":"Satisfiability and Resiliency in Workflow Systems","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W2160091048","doi":"https://doi.org/10.1007/978-3-540-74835-9_7","mag":"2160091048"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-74835-9_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-74835-9_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_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":"conference-paper","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/A5100603435","display_name":"Qihua Wang","orcid":"https://orcid.org/0000-0001-9548-8683"},"institutions":[{"id":"https://openalex.org/I4210126530","display_name":"Data Assurance and Communication Security","ror":"https://ror.org/02z2gfm30","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210126530","https://openalex.org/I4210156404"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qihua Wang","raw_affiliation_strings":["Center for Education and Research in Information Assurance and Security, and Department of Computer Science, Purdue University, \u00a0","Center for Education and Research in Information Assurance and Security, and Department of Computer Science, Purdue University,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center for Education and Research in Information Assurance and Security, and Department of Computer Science, Purdue University, \u00a0","institution_ids":["https://openalex.org/I4210126530"]},{"raw_affiliation_string":"Center for Education and Research in Information Assurance and Security, and Department of Computer Science, Purdue University,","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101471208","display_name":"Ninghui Li","orcid":"https://orcid.org/0000-0001-8207-9717"},"institutions":[{"id":"https://openalex.org/I4210126530","display_name":"Data Assurance and Communication Security","ror":"https://ror.org/02z2gfm30","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210126530","https://openalex.org/I4210156404"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ninghui Li","raw_affiliation_strings":["Center for Education and Research in Information Assurance and Security, and Department of Computer Science, Purdue University, \u00a0","Center for Education and Research in Information Assurance and Security, and Department of Computer Science, Purdue University,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center for Education and Research in Information Assurance and Security, and Department of Computer Science, Purdue University, \u00a0","institution_ids":["https://openalex.org/I4210126530"]},{"raw_affiliation_string":"Center for Education and Research in Information Assurance and Security, and Department of Computer Science, Purdue University,","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210126530"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":15.5467,"has_fulltext":false,"cited_by_count":40,"citation_normalized_percentile":{"value":0.98965227,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"90","last_page":"105"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9940999746322632,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.8655652403831482},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8222439289093018},{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.8045849800109863},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.5955403447151184},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5313532948493958},{"id":"https://openalex.org/keywords/workflow-management-system","display_name":"Workflow management system","score":0.5137163400650024},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.4971769154071808},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4843231737613678},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4750751852989197},{"id":"https://openalex.org/keywords/workflow-technology","display_name":"Workflow technology","score":0.4478066861629486},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3761821389198303},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.20768606662750244},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.20315706729888916},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10456609725952148}],"concepts":[{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.8655652403831482},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8222439289093018},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.8045849800109863},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5955403447151184},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5313532948493958},{"id":"https://openalex.org/C140824633","wikidata":"https://www.wikidata.org/wiki/Q2808660","display_name":"Workflow management system","level":3,"score":0.5137163400650024},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.4971769154071808},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4843231737613678},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4750751852989197},{"id":"https://openalex.org/C19612761","wikidata":"https://www.wikidata.org/wiki/Q8034836","display_name":"Workflow technology","level":3,"score":0.4478066861629486},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3761821389198303},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.20768606662750244},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.20315706729888916},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10456609725952148},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-540-74835-9_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-74835-9_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_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:CiteSeerX.psu:10.1.1.137.4800","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.4800","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.purdue.edu/homes/ninghui/papers/workflow_esorics07.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.159.2637","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.2637","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cerias.purdue.edu/ssl/techreports-ssl/2007-28.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1639227833","https://openalex.org/W1840655788","https://openalex.org/W1998833362","https://openalex.org/W2024211312","https://openalex.org/W2038953226","https://openalex.org/W2057028717","https://openalex.org/W2089354885","https://openalex.org/W2142721575","https://openalex.org/W2152505375","https://openalex.org/W2160091048","https://openalex.org/W2166602595","https://openalex.org/W2913688336","https://openalex.org/W4292230561"],"related_works":["https://openalex.org/W2373541195","https://openalex.org/W2379425324","https://openalex.org/W2376410910","https://openalex.org/W2375552622","https://openalex.org/W2391168633","https://openalex.org/W2365658322","https://openalex.org/W2385499106","https://openalex.org/W2352344200","https://openalex.org/W291310304","https://openalex.org/W2370109655"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":5}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}