{"id":"https://openalex.org/W1990140664","doi":"https://doi.org/10.1007/s11047-008-9083-y","title":"A software tool for verification of Spiking Neural P Systems","display_name":"A software tool for verification of Spiking Neural P Systems","publication_year":2008,"publication_date":"2008-05-13","ids":{"openalex":"https://openalex.org/W1990140664","doi":"https://doi.org/10.1007/s11047-008-9083-y","mag":"1990140664"},"language":"en","primary_location":{"id":"doi:10.1007/s11047-008-9083-y","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11047-008-9083-y","pdf_url":null,"source":{"id":"https://openalex.org/S149828480","display_name":"Natural Computing","issn_l":"1567-7818","issn":["1567-7818","1572-9796"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Natural Computing","raw_type":"journal-article"},"type":"article","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/A5030982174","display_name":"Miguel \u00c1. Guti\u00e9rrez-Naranjo","orcid":"https://orcid.org/0000-0002-3624-6139"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Miguel A. Guti\u00e9rrez-Naranjo","raw_affiliation_strings":["Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Sevilla, Spain","Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Sevilla, Spain#TAB#"],"affiliations":[{"raw_affiliation_string":"Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Sevilla, Spain","institution_ids":["https://openalex.org/I79238269"]},{"raw_affiliation_string":"Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Sevilla, Spain#TAB#","institution_ids":["https://openalex.org/I79238269"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075139255","display_name":"Mario J. P\u00e9rez-J\u00edmenez","orcid":"https://orcid.org/0000-0002-5055-0102"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Mario J. P\u00e9rez-Jim\u00e9nez","raw_affiliation_strings":["Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Sevilla, Spain","Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Sevilla, Spain#TAB#"],"affiliations":[{"raw_affiliation_string":"Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Sevilla, Spain","institution_ids":["https://openalex.org/I79238269"]},{"raw_affiliation_string":"Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Sevilla, Spain#TAB#","institution_ids":["https://openalex.org/I79238269"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076033122","display_name":"Daniel Ram\u00edrez-Mart\u00ednez","orcid":"https://orcid.org/0000-0002-0332-1067"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Daniel Ram\u00edrez-Mart\u00ednez","raw_affiliation_strings":["Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Sevilla, Spain","Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Sevilla, Spain#TAB#"],"affiliations":[{"raw_affiliation_string":"Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Sevilla, Spain","institution_ids":["https://openalex.org/I79238269"]},{"raw_affiliation_string":"Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Sevilla, Spain#TAB#","institution_ids":["https://openalex.org/I79238269"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5030982174"],"corresponding_institution_ids":["https://openalex.org/I79238269"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.4149,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.62820849,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"7","issue":"4","first_page":"485","last_page":"497"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10207","display_name":"Advanced biosensing and bioanalysis techniques","score":0.9890000224113464,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.7203629016876221},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7171950936317444},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.6494715809822083},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5664919018745422},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5275853872299194},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.45582354068756104},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.4418947994709015},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43845269083976746},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4267720580101013},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.424618661403656},{"id":"https://openalex.org/keywords/transition-system","display_name":"Transition system","score":0.4205250144004822},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3855612874031067},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17487603425979614},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.11029145121574402}],"concepts":[{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.7203629016876221},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7171950936317444},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.6494715809822083},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5664919018745422},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5275853872299194},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.45582354068756104},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.4418947994709015},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43845269083976746},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4267720580101013},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.424618661403656},{"id":"https://openalex.org/C2779167558","wikidata":"https://www.wikidata.org/wiki/Q176468","display_name":"Transition system","level":2,"score":0.4205250144004822},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3855612874031067},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17487603425979614},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.11029145121574402},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s11047-008-9083-y","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11047-008-9083-y","pdf_url":null,"source":{"id":"https://openalex.org/S149828480","display_name":"Natural Computing","issn_l":"1567-7818","issn":["1567-7818","1572-9796"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Natural Computing","raw_type":"journal-article"},{"id":"pmh:oai:dnet:idus________::f9a983e589a7d5961c1c3467a31dc5ff","is_oa":false,"landing_page_url":"https://idus.us.es/handle/11441/68015","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320326754","display_name":"Junta de Andaluc\u00eda","ror":"https://ror.org/01jem9c82"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W134733467","https://openalex.org/W1497256448","https://openalex.org/W1501028655","https://openalex.org/W1532205815","https://openalex.org/W1545488737","https://openalex.org/W1566728099","https://openalex.org/W1573792063","https://openalex.org/W1583193753","https://openalex.org/W1593274493","https://openalex.org/W1763529127","https://openalex.org/W1977312644","https://openalex.org/W1984586189","https://openalex.org/W1995341919","https://openalex.org/W1995799881","https://openalex.org/W1996522489","https://openalex.org/W2000376166","https://openalex.org/W2057213277","https://openalex.org/W2085319761","https://openalex.org/W2103212315","https://openalex.org/W2113997157","https://openalex.org/W2158708642","https://openalex.org/W2164211912","https://openalex.org/W2169164761","https://openalex.org/W2242779851","https://openalex.org/W2253776861","https://openalex.org/W2883283267","https://openalex.org/W3110139387","https://openalex.org/W4253060067","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W161255303","https://openalex.org/W1544097700","https://openalex.org/W1488573418","https://openalex.org/W2152752131","https://openalex.org/W1922520186","https://openalex.org/W1946493810","https://openalex.org/W61995002","https://openalex.org/W2964297799","https://openalex.org/W2899944714","https://openalex.org/W2399439227"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}