Query Preserving Watermarking Schemes for Locally Treelike Databases. - Agnishom Chattopadhyay; M. Praveen (FSTTCS, 2019)

A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics. - Agnishom Chattopadhyay; Konstantinos Mamouras (RV, 2020)

A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals. - Konstantinos Mamouras; Agnishom Chattopadhyay; Zhifu Wang (RV, 2021)

Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring. - Konstantinos Mamouras; Agnishom Chattopadhyay; Zhifu Wang (TACAS (1), 2021)

Pumping lemmas for weighted automata. - Agnishom Chattopadhyay; Filip Mazowiecki; Anca Muscholl; Cristian Riveros (Log. Methods Comput. Sci., 2021)

Software-hardware codesign for efficient in-memory regular pattern matching. - Lingkun Kong; Qixuan Yu 001; Agnishom Chattopadhyay; Alexis Le Glaunec; Yi Huang; Konstantinos Mamouras; Kaiyuan Yang 001 (PLDI, 2022)

A compositional framework for algebraic quantitative online monitoring over continuous-time signals. - Konstantinos Mamouras; Agnishom Chattopadhyay; Zhifu Wang (Int. J. Softw. Tools Technol. Transf., 2023)

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. - Jesse Reimann; Nico Mansion; James Haydon; Benjamin Bray; Agnishom Chattopadhyay; Sota Sato 001; Masaki Waga; Étienne André; Ichiro Hasuo; Naoki Ueda; Yosuke Yokoyama (SAC, 2024)

Static Analysis for Checking the Disambiguation Robustness of Regular Expressions. - Konstantinos Mamouras; Alexis Le Glaunec; Wu Angela Li; Agnishom Chattopadhyay (Proc. ACM Program. Lang., 2024)

Efficient Matching of Regular Expressions with Lookaround Assertions. - Konstantinos Mamouras; Agnishom Chattopadhyay (Proc. ACM Program. Lang., 2024)

Verified and Efficient Matching of Regular Expressions with Lookaround. - Agnishom Chattopadhyay; Wu Angela Li; Konstantinos Mamouras (CPP, 2025)