1. Computing kernels in directed bichromatic graphs;Berghammer;Inf. Process. Lett.,1997
2. RelView – an OBDD-based computer algebra system for relations;Berghammer,2005
3. Ordnungen, Verbände und Relationen mit Anwendungen;Berghammer,2008
4. Embedding mappings and splittings with applications;Berghammer;Acta Inform.,2010
5. On automated program construction and verification;Berghammer,2010