{"id":"https://openalex.org/W2022085385","doi":"https://doi.org/10.1007/s10703-013-0185-5","title":"Applying string-rewriting to sequence-based specification","display_name":"Applying string-rewriting to sequence-based specification","publication_year":2013,"publication_date":"2013-04-11","ids":{"openalex":"https://openalex.org/W2022085385","doi":"https://doi.org/10.1007/s10703-013-0185-5","mag":"2022085385"},"language":"en","primary_location":{"id":"doi:10.1007/s10703-013-0185-5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10703-013-0185-5","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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":"Formal Methods in System Design","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/A5050176707","display_name":"Robert Eschbach","orcid":"https://orcid.org/0000-0002-2789-1873"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Robert Eschbach","raw_affiliation_strings":["ITK Engineering AG, Luitpoldstra\u00dfe 59, 76863, Herxheim, Germany","ITK Engineering AG, Herxheim, Germany 76863#TAB#"],"affiliations":[{"raw_affiliation_string":"ITK Engineering AG, Luitpoldstra\u00dfe 59, 76863, Herxheim, Germany","institution_ids":[]},{"raw_affiliation_string":"ITK Engineering AG, Herxheim, Germany 76863#TAB#","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100302765","display_name":"Lan Lin","orcid":null},"institutions":[{"id":"https://openalex.org/I198089087","display_name":"Ball State University","ror":"https://ror.org/00k6tx165","country_code":"US","type":"education","lineage":["https://openalex.org/I198089087"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lan Lin","raw_affiliation_strings":["Department of Computer Science, Ball State University, Robert Bell Building (RB), Room 455, Muncie, IN, 47306, USA","Department of Computer Science, Ball State University, Muncie, USA 47306#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Ball State University, Robert Bell Building (RB), Room 455, Muncie, IN, 47306, USA","institution_ids":["https://openalex.org/I198089087"]},{"raw_affiliation_string":"Department of Computer Science, Ball State University, Muncie, USA 47306#TAB#","institution_ids":["https://openalex.org/I198089087"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109248499","display_name":"Jesse H. Poore","orcid":null},"institutions":[{"id":"https://openalex.org/I75027704","display_name":"University of Tennessee at Knoxville","ror":"https://ror.org/020f3ap87","country_code":"US","type":"education","lineage":["https://openalex.org/I75027704"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jesse H. Poore","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, The University of Tennessee, Min H. Kao Building, 1520 Middle Drive, Knoxville, TN, 37996, USA","Department of Electrical Engineering and Computer Science, The University of Tennessee, Knoxville, USA 37996"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, The University of Tennessee, Min H. Kao Building, 1520 Middle Drive, Knoxville, TN, 37996, USA","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, The University of Tennessee, Knoxville, USA 37996","institution_ids":["https://openalex.org/I75027704"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5050176707"],"corresponding_institution_ids":[],"apc_list":{"value":2690,"currency":"EUR","value_usd":3490},"apc_paid":null,"fwci":0.5011,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.69443963,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"43","issue":"3","first_page":"414","last_page":"449"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10260","display_name":"Software Engineering Research","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/rewriting","display_name":"Rewriting","score":0.9217946529388428},{"id":"https://openalex.org/keywords/string","display_name":"String (physics)","score":0.7330931425094604},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6770289540290833},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6076452136039734},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.594469428062439},{"id":"https://openalex.org/keywords/enumeration","display_name":"Enumeration","score":0.5328844785690308},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.5117635726928711},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.4873715043067932},{"id":"https://openalex.org/keywords/rework","display_name":"Rework","score":0.46398285031318665},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4427482783794403},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.43629950284957886},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19661039113998413},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.13404890894889832}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.9217946529388428},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.7330931425094604},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6770289540290833},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6076452136039734},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.594469428062439},{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.5328844785690308},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5117635726928711},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.4873715043067932},{"id":"https://openalex.org/C2776543023","wikidata":"https://www.wikidata.org/wiki/Q2147046","display_name":"Rework","level":2,"score":0.46398285031318665},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4427482783794403},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.43629950284957886},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19661039113998413},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.13404890894889832},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10703-013-0185-5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10703-013-0185-5","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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":"Formal Methods in System Design","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W100418671","https://openalex.org/W133354355","https://openalex.org/W1496412704","https://openalex.org/W1525811688","https://openalex.org/W1542964113","https://openalex.org/W1550099218","https://openalex.org/W1967535316","https://openalex.org/W1968678319","https://openalex.org/W1980937678","https://openalex.org/W1982223289","https://openalex.org/W1991597775","https://openalex.org/W2019389359","https://openalex.org/W2030143386","https://openalex.org/W2033392342","https://openalex.org/W2089153343","https://openalex.org/W2092234295","https://openalex.org/W2104612650","https://openalex.org/W2112717272","https://openalex.org/W2131958170","https://openalex.org/W2156429182","https://openalex.org/W2158699648","https://openalex.org/W2163132186","https://openalex.org/W2164666293","https://openalex.org/W2167740161","https://openalex.org/W2396714452","https://openalex.org/W2911812449","https://openalex.org/W2914234945","https://openalex.org/W4236513405","https://openalex.org/W4249392258","https://openalex.org/W4285719527","https://openalex.org/W4302964898"],"related_works":["https://openalex.org/W2137196920","https://openalex.org/W108845024","https://openalex.org/W2016750656","https://openalex.org/W2001967228","https://openalex.org/W1985548832","https://openalex.org/W4302964898","https://openalex.org/W1805991041","https://openalex.org/W90089155","https://openalex.org/W2343223407","https://openalex.org/W1577182708"],"abstract_inverted_index":null,"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}