| 2025 | EDBT | LogicLM: Robust Application of Large Language Models with Logic Programming for Data Analytics. | Evgeny S. Skvortsov, Shayan Mirjafari, Ojaswa Garg, Yilin Xia, Shawn Bowers, Bertram Ludscher |
| 2025 | EDBT | Logica-TGD: Transforming Graph Databases Logically. | Evgeny S. Skvortsov, Yilin Xia, Shawn Bowers, Bertram Ludscher |
| 2025 | LOPSTR | Natural Language to Logica: Towards Interactive and Explainable Data Analytics. | Ojaswa Garg, Shayan Mirjafari, Yilin Xia, Shawn Bowers, Bertram Ludscher, Evgeny S. Skvortsov |
| 2024 | EDBT | Logica: Declarative Data Science for Mere Mortals. | Evgeny S. Skvortsov, Yilin Xia, Bertram Ludscher |
| 2024 | ICLP | From Logic Programming to Programming in Logica: A First-Course in Declarative Data Science & Engineering. | Evgeny S. Skvortsov, Yilin Xia, Shawn Bowers, Bertram Ludscher |
| 2015 | MFCS | Phase Transition for Local Search on Planted SAT. | Andrei A. Bulatov, Evgeny S. Skvortsov |
| 2011 | IWANN | Chemical Signaling as a Useful Metaphor for Resource Management. | Evgeny S. Skvortsov, Nima Kaviani, Vernica Dahl |
| 2009 | SAT | A Theoretical Analysis of Search in GSAT. | Evgeny S. Skvortsov |
| 2007 | CSR | Pushing Random Walk Beyond Golden Ratio. | Ehsan Amiri, Evgeny S. Skvortsov |
| 2006 | SAT | Efficiency of Local Search. | Andrei A. Bulatov, Evgeny S. Skvortsov |
| 2003 | IJCAI | Amalgams of Constraint Satisfaction Problems. | Andrei A. Bulatov, Evgeny S. Skvortsov |