1. A First-Order Complete Temporal Logic for Structured Context-Free Languages;Logical Methods in Computer Science;2022-07-29
2. Developing and certifying Datalog optimizations in coq/mathcomp;Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs;2021-01-17
3. Palindromic Characteristic of Committed Graphs and Some Model Theoretic Properties;International Journal of Foundations of Computer Science;2020-06
4. Certifying Standard and Stratified Datalog Inference Engines in SSReflect;Interactive Theorem Proving;2017
5. Formalization of ORM Revisited;On the Move to Meaningful Internet Systems: OTM 2012 Workshops;2012