| 2025 | CIAC | Unit Refutations in Horn Constraint Systems. | Piotr Wojciechowski, K. Subramani |
| 2025 | JELIA | Finding Short Tree-Like Unit Refutations in UTVPI Constraint Systems. | Piotr Wojciechowski, K. Subramani |
| 2025 | WALCOM | Dag-Like Unit Refutations in UTVPI Constraint Systems. | Piotr Wojciechowski, K. Subramani |
| 2024 | AAIM | Representation of Dominating Set Variants Using Dataless Neural Networks. | Sangram K. Jena, Piotr Wojciechowski |
| 2024 | ISAIM | On the Computational Complexities of Finding Selected Refutations of Linear Programs. | K. Subramani, Piotr Wojciechowski |
| 2024 | LOPSTR | A Certifying Algorithm for Linear (and Integer) Feasibility in Horn Constraint Systems. | Piotr Wojciechowski, K. Subramani |
| 2023 | COCOA | Parameterized and Exact-Exponential Algorithms for the Read-Once Integer Refutation Problem in UTVPI Constraints. | K. Subramani, Piotr Wojciechowski |
| 2023 | ECAI | Unit Refutations of Difference Constraint Systems. | K. Subramani, Piotr Wojciechowski |
| 2023 | FM | The Octatope Abstract Domain for Verification of Neural Networks. | Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski |
| 2023 | SOFSEM | A Faster Algorithm for Determining the Linear Feasibility of Systems of BTVPI Constraints. | Piotr Wojciechowski, K. Subramani |
| 2022 | CPAIOR | Analyzing the Reachability Problem in Choice Networks. | Piotr Wojciechowski, K. Subramani, Alvaro Velasquez |
| 2022 | LFCS | Exact and Parameterized Algorithms for Read-Once Refutations in Horn Constraint Systems. | K. Subramani, Piotr Wojciechowski |
| 2022 | TAMC | On the Parallel Complexity of Constrained Read-Once Refutations in UTVPI Constraint Systems. | K. Subramani, Piotr Wojciechowski |
| 2021 | JELIA | Analyzing Unit Read-Once Refutations in Difference Constraint Systems. | K. Subramani, Piotr Wojciechowski |
| 2021 | LATA | Tree-Like Unit Refutations in Horn Constraint Systems. | K. Subramani, Piotr Wojciechowski |
| 2020 | COCOA | On Unit Read-Once Resolutions and Copy Complexity. | Piotr Wojciechowski, K. Subramani |
| 2020 | ISAIM | Finding read-once refutations in 2CNF formulas and variants - a parameterized perspective. | K. Subramani, Piotr Wojciechowski |
| 2020 | IWOCA | Parameterized Algorithms for Partial Vertex Covers in Bipartite Graphs. | Vahan Mkrtchyan, Garik Petrosyan, K. Subramani, Piotr Wojciechowski |
| 2019 | FAW | Read-Once Resolutions in Horn Formulas. | Hans Kleine Bning, Piotr Wojciechowski, K. Subramani |
| 2019 | TAMC | Read-Once Certification of Linear Infeasibility in UTVPI Constraints. | K. Subramani, Piotr Wojciechowski |
| 2018 | AAIM | An Empirical Analysis of Feasibility Checking Algorithms for UTVPI Constraints. | K. Subramani, Piotr Wojciechowski, Zachary Santer, Matthew Anderson |
| 2018 | FAW | Optimal Length Tree-Like Refutations of Linear Feasibility in UTVPI Constraints. | Piotr Wojciechowski, K. Subramani, Matthew D. Williamson |
| 2017 | CP | Analyzing Lattice Point Feasibility in UTVPI Constraints. | K. Subramani, Piotr Wojciechowski |
| 2017 | CSR | On a Generalization of Horn Constraint Systems. | Piotr Wojciechowski, Ramaswamy Chandrasekaran, K. Subramani |
| 2017 | TAMC | On the Computational Complexity of Read once Resolution Decidability in 2CNF Formulas. | Hans Kleine Bning, Piotr Wojciechowski, K. Subramani |
| 2016 | ISAIM | On the computational complexities of Quantified Integer Programming variants. | Piotr Wojciechowski, K. Subramani, Pavlos Eirinakis |
| 2016 | IWOCA | A Bit-Scaling Algorithm for Integer Feasibility in UTVPI Constraints. | K. Subramani, Piotr Wojciechowski |
| 2016 | LATA | Compositional Bisimulation Minimization for Interval Markov Decision Processes. | Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr Wojciechowski |
| 2016 | NCA | The cardinality-constrained paths problem: Multicast data routing in heterogeneous communication networks. | Alvaro Velasquez, Piotr Wojciechowski, K. Subramani, Steven L. Drager, Sumit Kumar Jha |
| 2016 | WALCOM | An Optimal Algorithm for Computing the Integer Closure of UTVPI Constraints. | K. Subramani, Piotr Wojciechowski |
| 2015 | ICTAC | A Graphical Theorem of the Alternative for UTVPI Constraints. | K. Subramani, Piotr Wojciechowski |
| 2014 | ISAIM | Variants of Quantified Linear Programming and Quantified Linear Implication. | Piotr Wojciechowski, Pavlos Eirinakis, K. Subramani |
| 2012 | ISAIM | Computational complexity of inclusion queries over polyhedral sets. | Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr Wojciechowski |