3 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.CL2024
Harvesting Events from Multiple Sources: Towards a Cross-Document Event Extraction Paradigm
Qiang Gao, Zixiang Meng, Bobo Li +4
Document-level event extraction aims to extract structured event information from unstructured text. However, a single document often contains limited event information and the rol…
cs.PL2024★ 3 cited
Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems
Bohua Zhan, Xiong Xu, Qiang Gao +4
We introduce Mars 2.0 for modeling, analysis, verification and code generation of Cyber-Physical Systems. Mars 2.0 integrates Mars 1.0 with several important extensions and improve…
cs.PL2024
Formally Verified C Code Generation from Hybrid Communicating Sequential Processes
Shuling Wang, Zekun Ji, Bohua Zhan +3
Hybrid Communicating Sequential Processes (HCSP) is a formal model for hybrid systems, including primitives for evolution along an ordinary differential equation (ODE), communicati…