| 2014 | SIMULTECH | Developing parallel, discrete event simulations in Python - first results and user experiences with the SimX library. | Sunil Thulasidasan, Lukas Kroc, Stephan J. Eidenbenz |
| 2012 | WSC | Optimization principles for arithmetic functions in hardware-software co-design. | Vladimir Delengov, Yuan Li, Jennifer Thompson, Lukas Kroc, Nandakishore Santhi, Stephan J. Eidenbenz |
| 2012 | SIMULTECH | SimCore: A Library for Rapid Development of Large Scale Parallel Simulations. | Sunil Thulasidasan, Lukas Kroc, Stephan J. Eidenbenz |
| 2010 | AAAI | Approximate Inference for Clusters in Solution Spaces. | Lukas Kroc, Ashish Sabharwal, Bart Selman |
| 2010 | SAT | An Empirical Study of Optimal Noise and Runtime Distributions in Local Search. | Lukas Kroc, Ashish Sabharwal, Bart Selman |
| 2009 | IJCAI | Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT. | Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman |
| 2009 | WSC | SessionSim: Activity-Based Session Generation for Network Simulation. | Lukas Kroc, Stephan J. Eidenbenz, James P. Smith |
| 2009 | SAC | Message-passing and local heuristics as decimation strategies for satisfiability. | Lukas Kroc, Ashish Sabharwal, Bart Selman |
| 2009 | SAT | Relaxed DPLL Search for MaxSAT. | Lukas Kroc, Ashish Sabharwal, Bart Selman |
| 2008 | AAAI | Loop Calculus for Satisfiability. | Lukas Kroc, Michael Chertkov |
| 2008 | CPAIOR | Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. | Lukas Kroc, Ashish Sabharwal, Bart Selman |
| 2008 | ISAIM | Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. | Lukas Kroc, Bart Selman, Ashish Sabharwal |
| 2007 | UAI | Survey Propagation Revisited. | Lukas Kroc, Ashish Sabharwal, Bart Selman |
| 2006 | WSC | Multi-scale integrated information and telecommunications system (MIITS): first results from a large-scale end-to-end network simulator. | Roman Waupotitsch, Stephan J. Eidenbenz, James P. Smith, Lukas Kroc |
| 2005 | PERCOM | Maneuverable Relays to Improve Energy Efficiency in Sensor Networks. | Stephan J. Eidenbenz, Lukas Kroc, James P. Smith |
| 2005 | SAC | Probabilistic multi-path vs. deterministic single-path protocols for dynamic ad-hoc network scenarios. | Christopher L. Barrett, Stephan J. Eidenbenz, Lukas Kroc, Madhav V. Marathe, James P. Smith |