| 2009 |
|---|
| 10 | EE | Lukas Kroc,
Ashish Sabharwal,
Bart Selman:
Message-passing and local heuristics as decimation strategies for satisfiability.
SAC 2009: 1408-1414 |
| 2008 |
|---|
| 9 | | Lukas Kroc,
Michael Chertkov:
Loop Calculus for Satisfiability.
AAAI 2008: 1810-1811 |
| 8 | EE | Lukas Kroc,
Ashish Sabharwal,
Bart Selman:
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting.
CPAIOR 2008: 127-141 |
| 7 | EE | Lukas Kroc,
Ashish Sabharwal,
Bart Selman:
Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation.
NIPS 2008: 873-880 |
| 6 | EE | Michael Chertkov,
Lukas Kroc,
Massimo Vergassola:
Belief Propagation and Beyond for Particle Tracking
CoRR abs/0806.1199: (2008) |
| 2006 |
|---|
| 5 | EE | Roman Waupotitsch,
Stephan Eidenbenz,
James P. Smith,
Lukas Kroc:
Multi-scale integrated information and telecommunications system (MIITS): first results from a large-scale end-to-end network simulator.
Winter Simulation Conference 2006: 2132-2139 |
| 2005 |
|---|
| 4 | EE | Stephan Eidenbenz,
Lukas Kroc,
James P. Smith:
Maneuverable Relays to Improve Energy Efficiency in Sensor Networks.
PerCom Workshops 2005: 411-417 |
| 3 | EE | Christopher L. Barrett,
Stephan Eidenbenz,
Lukas Kroc,
Madhav V. Marathe,
James P. Smith:
Probabilistic multi-path vs. deterministic single-path protocols for dynamic ad-hoc network scenarios.
SAC 2005: 1166-1173 |
| 2 | EE | Christopher L. Barrett,
Stephan Eidenbenz,
Lukas Kroc,
Madhav V. Marathe,
James P. Smith:
Parametric Probabilistic Routing in Sensor Networks.
MONET 10(4): 529-544 (2005) |
| 2003 |
|---|
| 1 | EE | Christopher L. Barrett,
Stephan Eidenbenz,
Lukas Kroc,
Madhav V. Marathe,
James P. Smith:
Parametric probabilistic sensor network routing.
Wireless Sensor Networks and Applications 2003: 122-131 |
