{"id":"https://openalex.org/W2155326596","doi":"https://doi.org/10.1007/s00165-004-0033-x","title":"Duration-constrained regular expressions","display_name":"Duration-constrained regular expressions","publication_year":2004,"publication_date":"2004-04-27","ids":{"openalex":"https://openalex.org/W2155326596","doi":"https://doi.org/10.1007/s00165-004-0033-x","mag":"2155326596"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-004-0033-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-004-0033-x","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-004-0033-x","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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 Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-004-0033-x","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090810072","display_name":"Xuandong Li","orcid":"https://orcid.org/0000-0003-3090-9568"},"institutions":[{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]},{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Li Xuandong","raw_affiliation_strings":["Department of Computer Science and Technology, Nanjing University, 210093, Jiangsu, Nanjing, P.R. China","State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, P.R. China","State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, P.R. China Department of Computer Science and Technology, Nanjing University, 210093, Jiangsu, Nanjing, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Nanjing University, 210093, Jiangsu, Nanjing, P.R. China","institution_ids":["https://openalex.org/I36399199"]},{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, P.R. China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, P.R. China Department of Computer Science and Technology, Nanjing University, 210093, Jiangsu, Nanjing, P.R. China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Zhao Jianhua","orcid":null},"institutions":[{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]},{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhao Jianhua","raw_affiliation_strings":["Department of Computer Science and Technology, Nanjing University, 210093, Jiangsu, Nanjing, P.R. China","State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, P.R. China","State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, P.R. China Department of Computer Science and Technology, Nanjing University, 210093, Jiangsu, Nanjing, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Nanjing University, 210093, Jiangsu, Nanjing, P.R. China","institution_ids":["https://openalex.org/I36399199"]},{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, P.R. China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, P.R. China Department of Computer Science and Technology, Nanjing University, 210093, Jiangsu, Nanjing, P.R. China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Zheng Tao","orcid":null},"institutions":[{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]},{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zheng Tao","raw_affiliation_strings":["Department of Computer Science and Technology, Nanjing University, 210093, Jiangsu, Nanjing, P.R. China","State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, P.R. China","State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, P.R. China Department of Computer Science and Technology, Nanjing University, 210093, Jiangsu, Nanjing, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Nanjing University, 210093, Jiangsu, Nanjing, P.R. China","institution_ids":["https://openalex.org/I36399199"]},{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, P.R. China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, P.R. China Department of Computer Science and Technology, Nanjing University, 210093, Jiangsu, Nanjing, P.R. China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018180824","display_name":"Yong Li","orcid":"https://orcid.org/0000-0001-8049-9128"},"institutions":[{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]},{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Li Yong","raw_affiliation_strings":["Department of Computer Science and Technology, Nanjing University, 210093, Jiangsu, Nanjing, P.R. China","State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, P.R. China","State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, P.R. China Department of Computer Science and Technology, Nanjing University, 210093, Jiangsu, Nanjing, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Nanjing University, 210093, Jiangsu, Nanjing, P.R. China","institution_ids":["https://openalex.org/I36399199"]},{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, P.R. China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, P.R. China Department of Computer Science and Technology, Nanjing University, 210093, Jiangsu, Nanjing, P.R. China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":null,"display_name":"Zheng Guoliang","orcid":null},"institutions":[{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]},{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zheng Guoliang","raw_affiliation_strings":["Department of Computer Science and Technology, Nanjing University, 210093, Jiangsu, Nanjing, P.R. China","State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, P.R. China","State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, P.R. China Department of Computer Science and Technology, Nanjing University, 210093, Jiangsu, Nanjing, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Nanjing University, 210093, Jiangsu, Nanjing, P.R. China","institution_ids":["https://openalex.org/I36399199"]},{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, P.R. China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, P.R. China Department of Computer Science and Technology, Nanjing University, 210093, Jiangsu, Nanjing, P.R. China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.19329633,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"16","issue":"2","first_page":"155","last_page":"163"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9990000128746033,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9969000220298767,"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/mathematics","display_name":"Mathematics","score":0.5997319221496582},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5601767301559448},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5396774411201477},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.5246206521987915},{"id":"https://openalex.org/keywords/duration","display_name":"Duration (music)","score":0.44825315475463867},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3802497982978821},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.30578380823135376},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2829933762550354},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.12479731440544128}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5997319221496582},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5601767301559448},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5396774411201477},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.5246206521987915},{"id":"https://openalex.org/C112758219","wikidata":"https://www.wikidata.org/wiki/Q16038819","display_name":"Duration (music)","level":2,"score":0.44825315475463867},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3802497982978821},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.30578380823135376},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2829933762550354},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.12479731440544128},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00165-004-0033-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-004-0033-x","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-004-0033-x","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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 Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s00165-004-0033-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-004-0033-x","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-004-0033-x","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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 Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321605","display_name":"Government of Jiangsu Province","ror":"https://ror.org/004svx814"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2155326596.pdf","grobid_xml":"https://content.openalex.org/works/W2155326596.grobid-xml"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W1490569620","https://openalex.org/W1499407607","https://openalex.org/W1501306521","https://openalex.org/W1510603033","https://openalex.org/W1542234847","https://openalex.org/W1552159734","https://openalex.org/W1600541802","https://openalex.org/W1877193708","https://openalex.org/W2004463571","https://openalex.org/W2038569232","https://openalex.org/W2085838366","https://openalex.org/W2147340401","https://openalex.org/W2167467151","https://openalex.org/W3142621357","https://openalex.org/W4249317963"],"related_works":["https://openalex.org/W2348837382","https://openalex.org/W746329893","https://openalex.org/W4205872570","https://openalex.org/W4245971243","https://openalex.org/W1922805944","https://openalex.org/W4253588120","https://openalex.org/W2383732295","https://openalex.org/W4248716494","https://openalex.org/W2942717012","https://openalex.org/W2162226802"],"abstract_inverted_index":{"Abstract.":[0],"This":[1],"paper":[2],"investigates":[3],"the":[4,66],"logic-automata-connection":[5],"for":[6],"Duration":[7,15,89],"Calculus.":[8],"It":[9],"has":[10],"been":[11],"frequently":[12],"observed":[13],"that":[14,104],"Calculus":[16,90],"with":[17,81],"linear":[18,28,49],"duration":[19,82],"terms":[20],"comes":[21],"close":[22],"to":[23,33,112,122],"being":[24],"a":[25,46,61,96,117],"logic":[26],"of":[27,48,71,78,88],"hybrid":[29,50],"automata.":[30],"We":[31],"attempt":[32],"make":[34],"this":[35,100,105],"relation":[36],"precise":[37],"by":[38,95,115],"constructing":[39],"Kleene-connection":[40],"between":[41],"duration-constrained":[42,72],"regular":[43,73,79],"expressions":[44,74,80,121],"and":[45,124],"subclass":[47],"automata":[51,54,114,123],"called":[52],"loop-reset":[53,113],"in":[55,60,65,109],"which":[56,84],"any":[57],"variable":[58],"tested":[59],"loop":[62],"is":[63,75,107],"reset":[64],"same":[67],"loop.":[68],"The":[69],"formalism":[70,106],"an":[76],"extension":[77],"constraints,":[83],"are":[85],"essentially":[86],"formulas":[87],"without":[91],"negation,":[92],"yet":[93],"extended":[94],"Kleene-star":[97],"operator.":[98],"In":[99],"paper,":[101],"we":[102],"show":[103],"equivalent":[108],"expressive":[110],"power":[111],"providing":[116],"translation":[118],"procedure":[119],"from":[120],"vice":[125],"verse.":[126]},"counts_by_year":[],"updated_date":"2026-06-13T07:54:00.901334","created_date":"2025-10-10T00:00:00"}