Lukas Kroc

According to our database, Lukas Kroc authored at least 20 papers between 2003 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

Developing parallel, discrete event simulations in Python - first results and user experiences with the SimX library.

Sunil Thulasidasan, Lukas Kroc, Stephan J. Eidenbenz

Proceedings of the 4th International Conference On Simulation And Modeling Methodologies, 2014

2012

Optimization principles for arithmetic functions in hardware-software co-design.

Vladimir Delengov, Yuan Li, Jennifer Thompson, Lukas Kroc, Nandakishore Santhi, Stephan J. Eidenbenz

Proceedings of the Winter Simulation Conference, 2012

SimCore: A Library for Rapid Development of Large Scale Parallel Simulations.

Sunil Thulasidasan, Lukas Kroc, Stephan J. Eidenbenz

Proceedings of the SIMULTECH 2012 - Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Rome, Italy, 28, 2012

2011

Leveraging belief propagation, backtrack search, and statistics for model counting.

Lukas Kroc, Ashish Sabharwal, Bart Selman

Ann. Oper. Res., 2011

2010

An Empirical Study of Optimal Noise and Runtime Distributions in Local Search.

Lukas Kroc, Ashish Sabharwal, Bart Selman

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

Approximate Inference for Clusters in Solution Spaces.

Lukas Kroc, Ashish Sabharwal, Bart Selman

Proceedings of the Abstraction, 2010

2009

Probabilistic Techniques for Constraint Satisfaction Problems.

Lukas Kroc

PhD thesis, 2009

SessionSim: Activity-Based Session Generation for Network Simulation.

Lukas Kroc, Stephan J. Eidenbenz, James P. Smith

Proceedings of the 2009 Winter Simulation Conference, 2009

Relaxed DPLL Search for MaxSAT.

Lukas Kroc, Ashish Sabharwal, Bart Selman

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Message-passing and local heuristics as decimation strategies for satisfiability.

Lukas Kroc, Ashish Sabharwal, Bart Selman

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT.

Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman

Proceedings of the IJCAI 2009, 2009

2008

Belief Propagation and Beyond for Particle Tracking

Michael Chertkov, Lukas Kroc, Massimo Vergassola

CoRR, 2008

Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation.

Lukas Kroc, Ashish Sabharwal, Bart Selman

Proceedings of the Advances in Neural Information Processing Systems 21, 2008

Loop Calculus for Satisfiability.

Lukas Kroc, Michael Chertkov

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Survey Propagation Revisited.

Lukas Kroc, Ashish Sabharwal, Bart Selman

Proceedings of the UAI 2007, 2007

2006

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

Proceedings of the Winter Simulation Conference WSC 2006, 2006

2005

Parametric Probabilistic Routing in Sensor Networks.

Christopher L. Barrett, Stephan J. Eidenbenz, Lukas Kroc, Madhav V. Marathe, James P. Smith

Mob. Networks Appl., 2005

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

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Maneuverable Relays to Improve Energy Efficiency in Sensor Networks.

Stephan J. Eidenbenz, Lukas Kroc, James P. Smith

Proceedings of the 3rd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2005 Workshops), 2005

2003

Parametric probabilistic sensor network routing.

Christopher L. Barrett, Stephan J. Eidenbenz, Lukas Kroc, Madhav V. Marathe, James P. Smith

Proceedings of the Second ACM International Conference on Wireless Sensor Networks and Applications, 2003