Publications

2012

• Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming
  P. Höfner, B. Möller, A. Zelend
  in T. G. Griffin and W. Kahl (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 13), LNCS 7560, pp. 33-49, 2012.
• Constraints in Feature Algebra
  A. Zelend
  in T. G. Griffin and W. Kahl (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 13) --- PhD Programme, 2012.

2011

• Formal Products Families for Abstract Machines
  A. Zelend
  in H. de Swart (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 12) --- PhD Programme, 2011.