Digital Interactive Channel Systems and Portals. - Christoph Schlueter Langdon; Alexander Bau (Encyclopedia of Portal Technologies and Applications, 2007)

Portal Economics and Business Models. - Christoph Schlueter Langdon; Alexander Bau (Encyclopedia of Portal Technologies and Applications, 2007)

Propositional Encoding of Constraints over Tree-Shaped Data. - Alexander Bau; Johannes Waldmann (KDPD, 2013)

Compression of Rewriting Systems for Termination Analysis. - Alexander Bau; Markus Lohrey; Eric Nöth; Johannes Waldmann (RTA, 2013)

Describing and Measuring the Complexity of SAT encodings for Constraint Programs. - Alexander Bau; Johannes Waldmann (WLP/WFLP, 2014)

SAT Compilation for Constraints over Structured Finite Domains. - Alexander Bau (2017)