Formal analysis of 2D image processing filters using higher-order logic theorem proving Article Swipe

PDF

Adnan Rashid , Sa’ed Abed , Osman Hasan ·

YOU? · · 2022 · Open Access · · DOI: https://doi.org/10.1186/s13634-022-00882-3

Related Topics

Algorithm

Computer Science

Artificial Intelligence

Concepts

Algorithm Computer science Artificial intelligence

Metadata

Type: article
Language: en
Landing Page: https://doi.org/10.1186/s13634-022-00882-3
PDF: https://asp-eurasipjournals.springeropen.com/counter/pdf/10.1186/s13634-022-00882-3
OA Status: gold
Cited By: 2
References: 13
Related Works: 10
OpenAlex ID: https://openalex.org/W4293059088

All OpenAlex metadata

Raw OpenAlex JSON

OpenAlex ID: https://openalex.org/W4293059088

Canonical identifier for this work in OpenAlex
DOI: https://doi.org/10.1186/s13634-022-00882-3

Digital Object Identifier
Title: Formal analysis of 2D image processing filters using higher-order logic theorem proving

Work title
Type: article

OpenAlex work type
Language: en

Primary language
Publication year: 2022

Year of publication
Publication date: 2022-06-27

Full publication date if available
Authors: Adnan Rashid, Sa’ed Abed, Osman Hasan

List of authors in order
Landing page: https://doi.org/10.1186/s13634-022-00882-3

Publisher landing page
PDF URL: https://asp-eurasipjournals.springeropen.com/counter/pdf/10.1186/s13634-022-00882-3

Direct link to full text PDF
Open access: Yes

Whether a free full text is available
OA status: gold

Open access status per OpenAlex
OA URL: https://asp-eurasipjournals.springeropen.com/counter/pdf/10.1186/s13634-022-00882-3

Direct OA link when available
Concepts: Algorithm, Computer science, Artificial intelligence

Top concepts (fields/topics) attached by OpenAlex
Cited by: 2

Total citation count in OpenAlex
Citations by year (recent): 2024: 1, 2023: 1

Per-year citation counts (last 5 years)
References (count): 13

Number of works referenced by this work
Related works (count): 10

Other works algorithmically related by OpenAlex

Full payload

id	https://openalex.org/W4293059088
doi	https://doi.org/10.1186/s13634-022-00882-3
ids.doi	https://doi.org/10.1186/s13634-022-00882-3
ids.openalex	https://openalex.org/W4293059088
fwci	0.52669553
type	article
title	Formal analysis of 2D image processing filters using higher-order logic theorem proving
awards[0].id	https://openalex.org/G1992086092
awards[0].funder_id	https://openalex.org/F4320322668
awards[0].display_name
awards[0].funder_award_id	EO 07/19
awards[0].funder_display_name	Kuwait University
biblio.issue	1
biblio.volume	2022
biblio.last_page
biblio.first_page
topics[0].id	https://openalex.org/T10142
topics[0].field.id	https://openalex.org/fields/17
topics[0].field.display_name	Computer Science
topics[0].score	0.9901999831199646
topics[0].domain.id	https://openalex.org/domains/3
topics[0].domain.display_name	Physical Sciences
topics[0].subfield.id	https://openalex.org/subfields/1703
topics[0].subfield.display_name	Computational Theory and Mathematics
topics[0].display_name	Formal Methods in Verification
topics[1].id	https://openalex.org/T10621
topics[1].field.id	https://openalex.org/fields/13
topics[1].field.display_name	Biochemistry, Genetics and Molecular Biology
topics[1].score	0.9894000291824341
topics[1].domain.id	https://openalex.org/domains/1
topics[1].domain.display_name	Life Sciences
topics[1].subfield.id	https://openalex.org/subfields/1312
topics[1].subfield.display_name	Molecular Biology
topics[1].display_name	Gene Regulatory Network Analysis
topics[2].id	https://openalex.org/T11178
topics[2].field.id	https://openalex.org/fields/13
topics[2].field.display_name	Biochemistry, Genetics and Molecular Biology
topics[2].score	0.9732999801635742
topics[2].domain.id	https://openalex.org/domains/1
topics[2].domain.display_name	Life Sciences
topics[2].subfield.id	https://openalex.org/subfields/1312
topics[2].subfield.display_name	Molecular Biology
topics[2].display_name	Receptor Mechanisms and Signaling
funders[0].id	https://openalex.org/F4320322668
funders[0].ror	https://ror.org/021e5j056
funders[0].display_name	Kuwait University
is_xpac	False
apc_list.value	1140
apc_list.currency	GBP
apc_list.value_usd	1398
apc_paid.value	1140
apc_paid.currency	GBP
apc_paid.value_usd	1398
concepts[0].id	https://openalex.org/C11413529
concepts[0].level	1
concepts[0].score	0.7623672485351562
concepts[0].wikidata	https://www.wikidata.org/wiki/Q8366
concepts[0].display_name	Algorithm
concepts[1].id	https://openalex.org/C41008148
concepts[1].level	0
concepts[1].score	0.5638390779495239
concepts[1].wikidata	https://www.wikidata.org/wiki/Q21198
concepts[1].display_name	Computer science
concepts[2].id	https://openalex.org/C154945302
concepts[2].level	1
concepts[2].score	0.4297355115413666
concepts[2].wikidata	https://www.wikidata.org/wiki/Q11660
concepts[2].display_name	Artificial intelligence
keywords[0].id	https://openalex.org/keywords/algorithm
keywords[0].score	0.7623672485351562
keywords[0].display_name	Algorithm
keywords[1].id	https://openalex.org/keywords/computer-science
keywords[1].score	0.5638390779495239
keywords[1].display_name	Computer science
keywords[2].id	https://openalex.org/keywords/artificial-intelligence
keywords[2].score	0.4297355115413666
keywords[2].display_name	Artificial intelligence
language	en
locations[0].id	doi:10.1186/s13634-022-00882-3
locations[0].is_oa	True
locations[0].source.id	https://openalex.org/S35920007
locations[0].source.issn	1687-6172, 1687-6180
locations[0].source.type	journal
locations[0].source.is_oa	True
locations[0].source.issn_l	1687-6172
locations[0].source.is_core	True
locations[0].source.is_in_doaj	True
locations[0].source.display_name	EURASIP Journal on Advances in Signal Processing
locations[0].source.host_organization	https://openalex.org/P4310319900
locations[0].source.host_organization_name	Springer Science+Business Media
locations[0].source.host_organization_lineage	https://openalex.org/P4310319900, https://openalex.org/P4310319965
locations[0].source.host_organization_lineage_names	Springer Science+Business Media, Springer Nature
locations[0].license	cc-by
locations[0].pdf_url	https://asp-eurasipjournals.springeropen.com/counter/pdf/10.1186/s13634-022-00882-3
locations[0].version	publishedVersion
locations[0].raw_type	journal-article
locations[0].license_id	https://openalex.org/licenses/cc-by
locations[0].is_accepted	True
locations[0].is_published	True
locations[0].raw_source_name	EURASIP Journal on Advances in Signal Processing
locations[0].landing_page_url	https://doi.org/10.1186/s13634-022-00882-3
locations[1].id	pmh:oai:doaj.org/article:b439155ba7564e1e9b6f7913f93455ac
locations[1].is_oa	True
locations[1].source.id	https://openalex.org/S4306401280
locations[1].source.issn
locations[1].source.type	repository
locations[1].source.is_oa	False
locations[1].source.issn_l
locations[1].source.is_core	False
locations[1].source.is_in_doaj	False
locations[1].source.display_name	DOAJ (DOAJ: Directory of Open Access Journals)
locations[1].source.host_organization
locations[1].source.host_organization_name
locations[1].license	cc-by-sa
locations[1].pdf_url
locations[1].version	submittedVersion
locations[1].raw_type	article
locations[1].license_id	https://openalex.org/licenses/cc-by-sa
locations[1].is_accepted	False
locations[1].is_published	False
locations[1].raw_source_name	EURASIP Journal on Advances in Signal Processing, Vol 2022, Iss 1, Pp 1-18 (2022)
locations[1].landing_page_url	https://doaj.org/article/b439155ba7564e1e9b6f7913f93455ac
indexed_in	crossref, doaj
authorships[0].author.id	https://openalex.org/A5015888124
authorships[0].author.orcid	https://orcid.org/0000-0002-9729-584X
authorships[0].author.display_name	Adnan Rashid
authorships[0].countries	PK
authorships[0].affiliations[0].institution_ids	https://openalex.org/I929597975
authorships[0].affiliations[0].raw_affiliation_string	School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Islamabad, Pakistan
authorships[0].institutions[0].id	https://openalex.org/I929597975
authorships[0].institutions[0].ror	https://ror.org/03w2j5y17
authorships[0].institutions[0].type	education
authorships[0].institutions[0].lineage	https://openalex.org/I929597975
authorships[0].institutions[0].country_code	PK
authorships[0].institutions[0].display_name	National University of Sciences and Technology
authorships[0].author_position	first
authorships[0].raw_author_name	Adnan Rashid
authorships[0].is_corresponding	False
authorships[0].raw_affiliation_strings	School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Islamabad, Pakistan
authorships[1].author.id	https://openalex.org/A5041607429
authorships[1].author.orcid	https://orcid.org/0000-0003-1849-9316
authorships[1].author.display_name	Sa’ed Abed
authorships[1].countries	KW
authorships[1].affiliations[0].institution_ids	https://openalex.org/I2799345387, https://openalex.org/I36721946
authorships[1].affiliations[0].raw_affiliation_string	Computer Engineering Department, College of Engineering and Petroleum, Kuwait University, Kuwait City, Kuwait
authorships[1].institutions[0].id	https://openalex.org/I2799345387
authorships[1].institutions[0].ror	https://ror.org/04wacmk20
authorships[1].institutions[0].type	company
authorships[1].institutions[0].lineage	https://openalex.org/I2799345387
authorships[1].institutions[0].country_code	KW
authorships[1].institutions[0].display_name	Kuwait Petroleum Corporation (Kuwait)
authorships[1].institutions[1].id	https://openalex.org/I36721946
authorships[1].institutions[1].ror	https://ror.org/021e5j056
authorships[1].institutions[1].type	education
authorships[1].institutions[1].lineage	https://openalex.org/I36721946
authorships[1].institutions[1].country_code	KW
authorships[1].institutions[1].display_name	Kuwait University
authorships[1].author_position	middle
authorships[1].raw_author_name	Sa’ed Abed
authorships[1].is_corresponding	True
authorships[1].raw_affiliation_strings	Computer Engineering Department, College of Engineering and Petroleum, Kuwait University, Kuwait City, Kuwait
authorships[2].author.id	https://openalex.org/A5066768973
authorships[2].author.orcid	https://orcid.org/0000-0003-2562-2669
authorships[2].author.display_name	Osman Hasan
authorships[2].countries	PK
authorships[2].affiliations[0].institution_ids	https://openalex.org/I929597975
authorships[2].affiliations[0].raw_affiliation_string	School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Islamabad, Pakistan
authorships[2].institutions[0].id	https://openalex.org/I929597975
authorships[2].institutions[0].ror	https://ror.org/03w2j5y17
authorships[2].institutions[0].type	education
authorships[2].institutions[0].lineage	https://openalex.org/I929597975
authorships[2].institutions[0].country_code	PK
authorships[2].institutions[0].display_name	National University of Sciences and Technology
authorships[2].author_position	last
authorships[2].raw_author_name	Osman Hasan
authorships[2].is_corresponding	False
authorships[2].raw_affiliation_strings	School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Islamabad, Pakistan
has_content.pdf	True
has_content.grobid_xml	True
is_paratext	False
open_access.is_oa	True
open_access.oa_url	https://asp-eurasipjournals.springeropen.com/counter/pdf/10.1186/s13634-022-00882-3
open_access.oa_status	gold
open_access.any_repository_has_fulltext	False
created_date	2025-10-10T00:00:00
display_name	Formal analysis of 2D image processing filters using higher-order logic theorem proving
has_fulltext	True
is_retracted	False
updated_date	2025-11-06T03:46:38.306776
primary_topic.id	https://openalex.org/T10142
primary_topic.field.id	https://openalex.org/fields/17
primary_topic.field.display_name	Computer Science
primary_topic.score	0.9901999831199646
primary_topic.domain.id	https://openalex.org/domains/3
primary_topic.domain.display_name	Physical Sciences
primary_topic.subfield.id	https://openalex.org/subfields/1703
primary_topic.subfield.display_name	Computational Theory and Mathematics
primary_topic.display_name	Formal Methods in Verification
related_works	https://openalex.org/W4391375266, https://openalex.org/W2899084033, https://openalex.org/W2748952813, https://openalex.org/W2051487156, https://openalex.org/W2073681303, https://openalex.org/W2390279801, https://openalex.org/W4391913857, https://openalex.org/W2358668433, https://openalex.org/W4396701345, https://openalex.org/W2376932109
cited_by_count	2
counts_by_year[0].year	2024
counts_by_year[0].cited_by_count	1
counts_by_year[1].year	2023
counts_by_year[1].cited_by_count	1
locations_count	2
best_oa_location.id	doi:10.1186/s13634-022-00882-3
best_oa_location.is_oa	True
best_oa_location.source.id	https://openalex.org/S35920007
best_oa_location.source.issn	1687-6172, 1687-6180
best_oa_location.source.type	journal
best_oa_location.source.is_oa	True
best_oa_location.source.issn_l	1687-6172
best_oa_location.source.is_core	True
best_oa_location.source.is_in_doaj	True
best_oa_location.source.display_name	EURASIP Journal on Advances in Signal Processing
best_oa_location.source.host_organization	https://openalex.org/P4310319900
best_oa_location.source.host_organization_name	Springer Science+Business Media
best_oa_location.source.host_organization_lineage	https://openalex.org/P4310319900, https://openalex.org/P4310319965
best_oa_location.source.host_organization_lineage_names	Springer Science+Business Media, Springer Nature
best_oa_location.license	cc-by
best_oa_location.pdf_url	https://asp-eurasipjournals.springeropen.com/counter/pdf/10.1186/s13634-022-00882-3
best_oa_location.version	publishedVersion
best_oa_location.raw_type	journal-article
best_oa_location.license_id	https://openalex.org/licenses/cc-by
best_oa_location.is_accepted	True
best_oa_location.is_published	True
best_oa_location.raw_source_name	EURASIP Journal on Advances in Signal Processing
best_oa_location.landing_page_url	https://doi.org/10.1186/s13634-022-00882-3
primary_location.id	doi:10.1186/s13634-022-00882-3
primary_location.is_oa	True
primary_location.source.id	https://openalex.org/S35920007
primary_location.source.issn	1687-6172, 1687-6180
primary_location.source.type	journal
primary_location.source.is_oa	True
primary_location.source.issn_l	1687-6172
primary_location.source.is_core	True
primary_location.source.is_in_doaj	True
primary_location.source.display_name	EURASIP Journal on Advances in Signal Processing
primary_location.source.host_organization	https://openalex.org/P4310319900
primary_location.source.host_organization_name	Springer Science+Business Media
primary_location.source.host_organization_lineage	https://openalex.org/P4310319900, https://openalex.org/P4310319965
primary_location.source.host_organization_lineage_names	Springer Science+Business Media, Springer Nature
primary_location.license	cc-by
primary_location.pdf_url	https://asp-eurasipjournals.springeropen.com/counter/pdf/10.1186/s13634-022-00882-3
primary_location.version	publishedVersion
primary_location.raw_type	journal-article
primary_location.license_id	https://openalex.org/licenses/cc-by
primary_location.is_accepted	True
primary_location.is_published	True
primary_location.raw_source_name	EURASIP Journal on Advances in Signal Processing
primary_location.landing_page_url	https://doi.org/10.1186/s13634-022-00882-3
publication_date	2022-06-27
publication_year	2022
referenced_works	https://openalex.org/W2891899936, https://openalex.org/W2048865332, https://openalex.org/W2476885932, https://openalex.org/W2126690912, https://openalex.org/W1521372188, https://openalex.org/W1565996669, https://openalex.org/W1497011154, https://openalex.org/W4248352158, https://openalex.org/W1955580075, https://openalex.org/W2162843658, https://openalex.org/W1655426301, https://openalex.org/W1627054999, https://openalex.org/W1530883782
referenced_works_count	13
abstract_inverted_index
cited_by_percentile_year.max	94
cited_by_percentile_year.min	89
corresponding_author_ids	https://openalex.org/A5041607429
countries_distinct_count	2
institutions_distinct_count	3
corresponding_institution_ids	https://openalex.org/I2799345387, https://openalex.org/I36721946
citation_normalized_percentile.value	0.60678643
citation_normalized_percentile.is_in_top_1_percent	False
citation_normalized_percentile.is_in_top_10_percent	False