| 2025 | CAV | Engineering an Efficient Probabilistic Exact Model Counter. | Mate Soos, Kuldeep S. Meel |
| 2025 | SAT | Efficient Certified Reasoning for Binarized Neural Networks. | Jiong Yang, Yong Kiam Tan, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel |
| 2024 | CAV | Hevm, a Fast Symbolic Execution Framework for EVM Bytecode. | Dxo, Mate Soos, Zoe Paraskevopoulou, Martin Lundfall, Mikael Brockman |
| 2024 | CAV | Formally Certified Approximate Model Counting. | Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel |
| 2024 | DAC | Engineering an Efficient Preprocessor for Model Counting. | Mate Soos, Kuldeep S. Meel |
| 2023 | IJCAI | Engineering an Efficient Approximate DNF-Counter. | Mate Soos, Divesh Aggarwal, Sourav Chakraborty, Kuldeep S. Meel, Maciej Obremski |
| 2023 | SAT | Explaining SAT Solving Using Causal Reasoning. | Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel |
| 2023 | SAT | Algorithms Transcending the SAT-Symmetry Interface. | Markus Anders, Pascal Schweitzer, Mate Soos |
| 2022 | CP | On Quantitative Testing of Samplers. | Mate Soos, Priyanka Golia, Sourav Chakraborty, Kuldeep S. Meel |
| 2022 | ICCAD | Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling. | Mate Soos, Kuldeep S. Meel |
| 2021 | FMCAD | Designing Samplers is Easy: The Boon of Testers. | Priyanka Golia, Mate Soos, Sourav Chakraborty, Kuldeep S. Meel |
| 2021 | KR | Gaussian Elimination Meets Maximum Satisfiability. | Mate Soos, Kuldeep S. Meel |
| 2021 | SAT | Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving. | Nicolas Prevot, Mate Soos, Kuldeep S. Meel |
| 2020 | CAV | Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling. | Mate Soos, Stephan Gocht, Kuldeep S. Meel |
| 2019 | AAAI | BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting. | Mate Soos, Kuldeep S. Meel |
| 2019 | DATE | Bosphorus: Bridging ANF and CNF Solvers. | Davin Choo, Mate Soos, Kian Ming Adam Chai, Kuldeep S. Meel |
| 2019 | IJCAI | GANAK: A Scalable Probabilistic Exact Model Counter. | Shubham Sharma, Subhajit Roy, Mate Soos, Kuldeep S. Meel |
| 2019 | SAT | CrystalBall: Gazing in the Black Box of SAT Solving. | Mate Soos, Raghav Kulkarni, Kuldeep S. Meel |
| 2012 | SAT | Lynx: A Programmatic SAT Solver for the RNA-Folding Problem. | Vijay Ganesh, Charles W. O'Donnell, Mate Soos, Srinivas Devadas, Martin C. Rinard, Armando Solar-Lezama |
| 2011 | WISTP | FIRE: Fault Injection for Reverse Engineering. | Manuel San Pedro, Mate Soos, Sylvain Guilley |
| 2010 | SAT | Enhanced Gaussian Elimination in DPLL-based SAT Solvers. | Mate Soos |
| 2009 | SAT | Extending SAT Solvers to Cryptographic Problems. | Mate Soos, Karsten Nohl, Claude Castelluccia |