1. Beate Bollig Martin Löbbing and Ingo Wegener. 1995. Simulated annealing to improve variable orderings for OBDDs. In Int'l Workshop on Logic Synth. Citeseer. Beate Bollig Martin Löbbing and Ingo Wegener. 1995. Simulated annealing to improve variable orderings for OBDDs. In Int'l Workshop on Logic Synth. Citeseer.
2. Filtering algorithms and implementation for very fast publish/subscribe systems
3. Dominic Heutelbeck. 2021 a. SAPL Policy Engine Benchmarks Snapshot. https://github.com/heutelbeck/sapl-demos/tree/sacmat2021 Dominic Heutelbeck. 2021 a. SAPL Policy Engine Benchmarks Snapshot. https://github.com/heutelbeck/sapl-demos/tree/sacmat2021