Automated debugging in eclipse. - Martin Burger 002; Karsten Lehmann; Andreas Zeller (OOPSLA Companion, 2005)

A Framework for Semantic-Based Similarity Measures for $ mathcal{ELH}$ -Concepts. - Karsten Lehmann; Anni-Yasmin Turhan (JELIA, 2012)

Primal and dual bounds for Optimal Transmission Switching. - Carleton Coffrin; Hassan L. Hijazi; Karsten Lehmann; Pascal Van Hentenryck (PSCC, 2014)

User equilibrium Route Assignment for Microscopic Pedestrian Simulation. - Tobias Kretz; Karsten Lehmann; Ingmar Hofsäß (Adv. Complex Syst., 2014)

Pedestrian Route Choice by Iterated Equilibrium Search. - Tobias Kretz; Karsten Lehmann; Ingmar Hofsäß (CoRR, 2014)

Dynamic Assignment in Microsimulations of Pedestrians. - Tobias Kretz; Karsten Lehmann; Ingmar Hofsäß; Axel Leonhardt (CoRR, 2014)

AC-Feasibility on Tree Networks is NP-Hard. - Karsten Lehmann; Alban Grastien; Pascal Van Hentenryck (CoRR, 2014)

The Complexity of DC-Switching Problems. - Karsten Lehmann; Alban Grastien; Pascal Van Hentenryck (CoRR, 2014)

How to Apply Assignment Methods that were Developed for Vehicular Traffic to Pedestrian Microsimulations. - Vidal Roca; Vicente Torres; Tobias Kretz; Karsten Lehmann; Ingmar Hofsäß (CoRR, 2014)

The complexity of computing the behaviour of lattice automata on infinite trees. - Karsten Lehmann; Rafael Peñaloza (Theor. Comput. Sci., 2014)

Maximizing electrical power supply using FACTS devices. - Karsten Lehmann; Russell Bent; Feng Pan 005 (CoRR, 2015)

The Complexity of Switching and FACTS Maximum-Potential-Flow Problems. - Karsten Lehmann; Alban Grastien; Pascal Van Hentenryck (CoRR, 2015)

Multi-objective Large-Scale Staff Allocation. - Roberto Anzaldua; Christina N. Burt; Harry Edmonds; Karsten Lehmann; Guangyan Song (OR, 2017)