Alexander Bau

Publication Activity (10 Years)

Years Active: 2013-2014
Publications (10 Years): 0

Top Topics

Termination Analysis

Abstract Interpretation

Rewriting Systems

Top Venues

Dresden University of Technology, Germany (PHD)

Education History

Dresden University of Technology, Germany

PHD

Publications

Alexander Bau, Johannes Waldmann
Describing and Measuring the Complexity of SAT encodings for Constraint Programs. WLP/WFLP (2014)
Alexander Bau, Markus Lohrey, Eric Nöth, Johannes Waldmann
Compression of Rewriting Systems for Termination Analysis. RTA (2013)
Alexander Bau, Johannes Waldmann
Propositional Encoding of Constraints over Tree-Shaped Data. KDPD (2013)
Alexander Bau, Johannes Waldmann
Propositional Encoding of Constraints over Tree-Shaped Data CoRR (2013)