Towards Distributed Mixed Integer optimization in Energy Systems Murray, A.; Hagenmeyer, V.; Faulwasser, T. 2019. 2nd International Conference on "Future Electric Power Systems and the Energy Transition (FEPSET 2019), Champery, Switzerland, February 3–8, 2019
Understanding Counterexamples for Relational Properties with DIbugger Herda, M.; Kirsten, M.; Brunner, E.; Plewnia, J.; Scheler, U.; Staudenmaier, C.; Wagner, B.; Zwick, P.; Beckert, B. 2019. Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning (EPTCS), Prague, Czech Republic, 6-7th April 2019. Ed.: E. De Angelis, 6–13, Open Publishing Association. doi:10.4204/EPTCS.296.4