{"id":"https://openalex.org/W1762190330","doi":"https://doi.org/10.1007/978-3-642-11467-0_5","title":"Formal Verification and Testing Based on P Systems","display_name":"Formal Verification and Testing Based on P Systems","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W1762190330","doi":"https://doi.org/10.1007/978-3-642-11467-0_5","mag":"1762190330"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-11467-0_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-11467-0_5","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/A5032331047","display_name":"Marian Gheorghe","orcid":"https://orcid.org/0000-0002-2409-4959"},"institutions":[{"id":"https://openalex.org/I185286233","display_name":"University of Pitesti","ror":"https://ror.org/058b16x44","country_code":"RO","type":"education","lineage":["https://openalex.org/I185286233"]},{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB","RO"],"is_corresponding":false,"raw_author_name":"Marian Gheorghe","raw_affiliation_strings":["Department of Computer Science, Faculty of Mathematics and Computer Science, The University of Pite\u015fti, Str. T\u00e2rgu din Vale 1, 110040, Pite\u015fti","Department of Computer Science, The University of Sheffield, Regent Court, Portobello Street, Sheffield, S1 4DP, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Faculty of Mathematics and Computer Science, The University of Pite\u015fti, Str. T\u00e2rgu din Vale 1, 110040, Pite\u015fti","institution_ids":["https://openalex.org/I185286233"]},{"raw_affiliation_string":"Department of Computer Science, The University of Sheffield, Regent Court, Portobello Street, Sheffield, S1 4DP, UK","institution_ids":["https://openalex.org/I91136226"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026005083","display_name":"Florentin Ipate","orcid":"https://orcid.org/0000-0001-8777-3425"},"institutions":[{"id":"https://openalex.org/I185286233","display_name":"University of Pitesti","ror":"https://ror.org/058b16x44","country_code":"RO","type":"education","lineage":["https://openalex.org/I185286233"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Florentin Ipate","raw_affiliation_strings":["Department of Computer Science, Faculty of Mathematics and Computer Science, The University of Pite\u015fti, Str. T\u00e2rgu din Vale 1, 110040, Pite\u015fti"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Faculty of Mathematics and Computer Science, The University of Pite\u015fti, Str. T\u00e2rgu din Vale 1, 110040, Pite\u015fti","institution_ids":["https://openalex.org/I185286233"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089725726","display_name":"Ciprian Dragomir","orcid":null},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ciprian Dragomir","raw_affiliation_strings":["Department of Computer Science, The University of Sheffield, Regent Court, Portobello Street, Sheffield, S1 4DP, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Sheffield, Regent Court, Portobello Street, Sheffield, S1 4DP, UK","institution_ids":["https://openalex.org/I91136226"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.14755108,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"54","last_page":"65"},"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.9958000183105469,"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/T12162","display_name":"Cellular Automata and Applications","score":0.9807999730110168,"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/computer-science","display_name":"Computer science","score":0.8487836122512817},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.6255815029144287},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.6053040623664856},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5209861397743225},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.46108290553092957},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4374639391899109},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3660338819026947}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8487836122512817},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.6255815029144287},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.6053040623664856},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5209861397743225},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.46108290553092957},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4374639391899109},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3660338819026947}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-642-11467-0_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-11467-0_5","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.365.9982","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.9982","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.gcn.us.es/files/033MarianIS.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W166614165","https://openalex.org/W1481737492","https://openalex.org/W1490868210","https://openalex.org/W1505706423","https://openalex.org/W1515905713","https://openalex.org/W1517922951","https://openalex.org/W1543741893","https://openalex.org/W1551941844","https://openalex.org/W1556566737","https://openalex.org/W1576177385","https://openalex.org/W1582545188","https://openalex.org/W1859458367","https://openalex.org/W1915164097","https://openalex.org/W1969492534","https://openalex.org/W1979267621","https://openalex.org/W2000889605","https://openalex.org/W2071919672","https://openalex.org/W2081186791","https://openalex.org/W2081989167","https://openalex.org/W2084049061","https://openalex.org/W2113997157","https://openalex.org/W2116509046","https://openalex.org/W2148456801","https://openalex.org/W2158708642","https://openalex.org/W2171429140","https://openalex.org/W2561675875","https://openalex.org/W2946239420","https://openalex.org/W4253060067","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2152752131","https://openalex.org/W161255303","https://openalex.org/W1544097700","https://openalex.org/W1488573418","https://openalex.org/W1922520186","https://openalex.org/W1946493810","https://openalex.org/W2037121848","https://openalex.org/W2391979747","https://openalex.org/W2981877881","https://openalex.org/W61995002"],"abstract_inverted_index":null,"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}