{"id":"https://openalex.org/W4411141334","doi":"https://doi.org/10.1145/3725231","title":"Complex Event Recognition under Time Constraints: Towards a Formal Framework for Efficient Query Evaluation","display_name":"Complex Event Recognition under Time Constraints: Towards a Formal Framework for Efficient Query Evaluation","publication_year":2025,"publication_date":"2025-06-09","ids":{"openalex":"https://openalex.org/W4411141334","doi":"https://doi.org/10.1145/3725231"},"language":"en","primary_location":{"id":"doi:10.1145/3725231","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3725231","pdf_url":null,"source":{"id":"https://openalex.org/S4387289859","display_name":"Proceedings of the ACM on Management of Data","issn_l":"2836-6573","issn":["2836-6573"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Management of Data","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/A5109292246","display_name":"Jaime Garc\u00eda","orcid":null},"institutions":[{"id":"https://openalex.org/I162148367","display_name":"Pontificia Universidad Cat\u00f3lica de Chile","ror":"https://ror.org/04teye511","country_code":"CL","type":"education","lineage":["https://openalex.org/I162148367"]}],"countries":["CL"],"is_corresponding":true,"raw_author_name":"Juli\u00e1n Garc\u00eda","raw_affiliation_strings":["Pontificia Universidad Cat\u00f3lica de Chile, Santiago, Chile and IMFD, Santiago, Chile"],"affiliations":[{"raw_affiliation_string":"Pontificia Universidad Cat\u00f3lica de Chile, Santiago, Chile and IMFD, Santiago, Chile","institution_ids":["https://openalex.org/I162148367"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083030983","display_name":"Cristian Riveros","orcid":"https://orcid.org/0000-0003-0832-116X"},"institutions":[{"id":"https://openalex.org/I162148367","display_name":"Pontificia Universidad Cat\u00f3lica de Chile","ror":"https://ror.org/04teye511","country_code":"CL","type":"education","lineage":["https://openalex.org/I162148367"]}],"countries":["CL"],"is_corresponding":false,"raw_author_name":"Cristian Riveros","raw_affiliation_strings":["Pontificia Universidad Cat\u00f3lica de Chile, Santiago, Chile and IMFD, Santiago, Chile"],"affiliations":[{"raw_affiliation_string":"Pontificia Universidad Cat\u00f3lica de Chile, Santiago, Chile and IMFD, Santiago, Chile","institution_ids":["https://openalex.org/I162148367"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5109292246"],"corresponding_institution_ids":["https://openalex.org/I162148367"],"apc_list":null,"apc_paid":null,"fwci":1.4888,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.83645898,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"3","issue":"2","first_page":"1","last_page":"17"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9965999722480774,"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.7098249793052673},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5705624222755432},{"id":"https://openalex.org/keywords/query-optimization","display_name":"Query optimization","score":0.5667787790298462},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4330739378929138},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.39253807067871094},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.33263784646987915},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29746198654174805}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7098249793052673},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5705624222755432},{"id":"https://openalex.org/C157692150","wikidata":"https://www.wikidata.org/wiki/Q2919848","display_name":"Query optimization","level":2,"score":0.5667787790298462},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4330739378929138},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.39253807067871094},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.33263784646987915},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29746198654174805},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3725231","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3725231","pdf_url":null,"source":{"id":"https://openalex.org/S4387289859","display_name":"Proceedings of the ACM on Management of Data","issn_l":"2836-6573","issn":["2836-6573"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Management of Data","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":37,"referenced_works":["https://openalex.org/W1573632260","https://openalex.org/W1582770869","https://openalex.org/W1606824214","https://openalex.org/W1793399427","https://openalex.org/W1975120975","https://openalex.org/W1996418875","https://openalex.org/W2026629052","https://openalex.org/W2083964867","https://openalex.org/W2101508170","https://openalex.org/W2141513652","https://openalex.org/W2153933075","https://openalex.org/W2198887904","https://openalex.org/W2737902063","https://openalex.org/W2790867877","https://openalex.org/W2964273806","https://openalex.org/W3091746943","https://openalex.org/W3092167450","https://openalex.org/W3123650326","https://openalex.org/W3169003603","https://openalex.org/W3217447083","https://openalex.org/W4200280487","https://openalex.org/W4281746453","https://openalex.org/W4286859061","https://openalex.org/W4287642550","https://openalex.org/W4321203758","https://openalex.org/W4411141334","https://openalex.org/W6636503133","https://openalex.org/W6637190722","https://openalex.org/W6638750794","https://openalex.org/W6659517854","https://openalex.org/W6682331821","https://openalex.org/W6682485757","https://openalex.org/W6682720801","https://openalex.org/W6734740147","https://openalex.org/W6804071214","https://openalex.org/W6846517985","https://openalex.org/W7037545976"],"related_works":["https://openalex.org/W2006459955","https://openalex.org/W1819934925","https://openalex.org/W4386051213","https://openalex.org/W2385922226","https://openalex.org/W2955368753","https://openalex.org/W2413368787","https://openalex.org/W2393004407","https://openalex.org/W2362665752","https://openalex.org/W2337762748","https://openalex.org/W185198413"],"abstract_inverted_index":{"Complex":[0,113,166],"Event":[1,114,167],"Recognition":[2],"(CER)":[3],"establishes":[4],"a":[5,36,68,139,186,232,265,283],"relevant":[6],"solution":[7],"for":[8,160,276],"processing":[9],"streams":[10,223],"of":[11,77,81,112,146,204,219,234,253],"events,":[12],"giving":[13,200],"users":[14],"timely":[15],"information.":[16],"CER":[17,44,62,92,132,205,254],"systems":[18],"detect":[19],"patterns":[20],"in":[21,61,67,130,135,185],"real-time,":[22],"producing":[23],"complex":[24],"events":[25],"and":[26,65,71,80,102,182,194,227,273],"generating":[27],"responses":[28],"to":[29,141],"them.":[30],"In":[31],"these":[32],"tasks,":[33],"time":[34,56,94,122,150,209,272],"is":[35],"first-class":[37],"citizen.":[38],"Indeed,":[39],"the":[40,78,143,174,201,216],"time-sequence":[41],"model":[42,159,172,177],"distinguishes":[43],"from":[45],"other":[46],"solutions,":[47],"like":[48],"data":[49],"stream":[50],"management":[51],"systems.":[52],"Surprisingly,":[53],"until":[54],"now,":[55],"constraints":[57,95],"are":[58,197,238],"usually":[59],"included":[60],"query":[63,98,133,206],"languages":[64,134,148,207],"models":[66],"restricted":[69],"way,":[70],"we":[72,155,212,243,263],"still":[73],"lack":[74],"an":[75,110,157,250],"understanding":[76,215],"expressiveness":[79],"efficient":[82,217,228],"algorithms":[83],"concerning":[84,224],"this":[85,153,246],"crucial":[86],"feature:":[87],"time.":[88],"This":[89,171],"work":[90],"studies":[91],"under":[93,149,208,240],"regarding":[96],"its":[97,225],"language,":[99],"computational":[100],"models,":[101],"streaming":[103,266],"evaluation":[104,218,267],"algorithms.":[105,229],"We":[106,124,189,230],"start":[107],"by":[108,258],"introducing":[109],"extension":[111],"Logic":[115],"(CEL),":[116],"called":[117,164],"timed":[118,127,162,165,183,192,195,220,235,280],"CEL,":[119,163],"with":[120,178,269,282],"simple":[121],"operators.":[123],"show":[125,190,244],"that":[126,191,237,245],"CEL":[128,193],"aids":[129],"modeling":[131],"practice,":[136],"serving":[137],"as":[138],"proxy":[140],"study":[142],"expressive":[144,251],"power":[145],"such":[147],"constraints.":[151,210],"For":[152],"purpose,":[154],"introduce":[156],"automata":[158,184],"studying":[161],"Automata":[168],"(timed":[169],"CEA).":[170],"extends":[173],"existing":[175],"CEA":[176,181,196,221,236,281],"clocks,":[179],"combining":[180],"single":[187,284],"model.":[188],"equally":[198],"expressive,":[199],"first":[202],"characterization":[203],"Then,":[211],"move":[213],"towards":[214],"over":[222],"determinization":[226],"present":[231,264],"class":[233,247,252],"closed":[239],"determinization;":[241],"furthermore,":[242],"contains":[248],"swg-queries,":[249],"queries":[255],"recently":[256],"introduced":[257],"Kleest-Mei\u00dfner":[259],"et":[260],"al.":[261],"Finally,":[262],"algorithm":[268],"constant":[270],"update":[271],"output-linear":[274],"delay":[275],"evaluating":[277],"deterministic":[278],"monotonic":[279],"clock,":[285],"which":[286],"have":[287],"only":[288],"less":[289],"equal":[290,293],"or":[291],"greater":[292],"comparisons.":[294]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}