| A verified online monitor for metric temporal logic with quantitative semantics A Chattopadhyay, K Mamouras Runtime Verification: 20th International Conference, RV 2020, Los Angeles …, 2020 | 14 | 2020 |
| A compositional framework for algebraic quantitative online monitoring over continuous-time signals K Mamouras, A Chattopadhyay, Z Wang International Journal on Software Tools for Technology Transfer, 1-17, 2023 | 13* | 2023 |
| Algebraic quantitative semantics for efficient online temporal monitoring K Mamouras, A Chattopadhyay, Z Wang Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021 | 10 | 2021 |
| Pumping lemmas for weighted automata A Chattopadhyay, F Mazowiecki, A Muscholl, C Riveros Logical Methods in Computer Science 17, 2021 | 8 | 2021 |
| Software-hardware codesign for efficient in-memory regular pattern matching L Kong, Q Yu, A Chattopadhyay, A Le Glaunec, Y Huang, K Mamouras, ... Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 4 | 2022 |
| Query Preserving Watermarking Schemes for Locally Treelike Databases A Chattopadhyay, M Praveen arXiv preprint arXiv:1909.11369, 2019 | | 2019 |
Konstantinos MamourasAssistant Professor of Computer Science, Rice UniversityVerified email at rice.edu
