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 |