1. Efficient detection of redundancies in systems of linear inequalities✱;Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation;2024-07-16
2. Error-Tolerant E-Discovery Protocols;Proceedings of the Symposium on Computer Science and Law;2024-03-12
3. SkyPIE: A Fast & Accurate Oracle for Object Placement;Proceedings of the ACM on Management of Data;2024-03-12
4. Proving Information Inequalities and Identities With Symbolic Computation;IEEE Transactions on Information Theory;2023-08
5. Fast identification of redundant constraints in the power grid;2023 IEEE Belgrade PowerTech;2023-06-25