Publikationen

2011

• Using Bisimulations for Optimality Problems in Model Refinement
  R. Glück
  in H. de Swart (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 12), LNCS 6663, 2011.
• Bisimulations in Game Analysis
  R. Glück
  in H. de Swart (eds.): Relational and Algebraic Methods in Computer Science PhD Programme (RAMiCS 12), 2011.

2010

• Model Refinement Using Bisimulation Quotients
  R. Glück, B. Möller, M. Sintzoff
  in M. Johnson, D. Pavlovic (eds.): Algebraic Methodology and Software Technology (AMAST 2010), LNCS 6486, pp. 76-91, 2010.

2009

• Algebraic Methods for Model Refinement
  R. Glück
  in R. Berghammer, A. M. Jaoua, B. Möller (eds.): Relations and Kleene algebra in computer science. PhD Programme (RelMiCS 11/AKA 6)
  Technical Report, Computer Science and Engineering Department, University of Qatar, 2009, pp.1-5.
• A Semiring Approach to Equivalences, Bisimulations and Control
  R. Glück, B. Möller, M. Sintzoff
  in R. Berghammer, A. M. Jaoua, B. Möller (eds.): Relations and Kleene Algebra in Computer Science, LNCS 5827.
  pp. 134-149, 2009.

2008

• Circulations, Fuzzy Relations and Semirings
  R. Glück, B. Möller
  in P. Audebaud and C. Pauline-Mohring (eds.): Mathematics of Program Construction, LNCS 5133.
  pp. 134-152, 2008.
  Springer.
• Import Networks, Fuzzy Relations and Semirings
  R. Glück
  in R. Berghammer, B. Möller, Struth, G. (eds.): Relations and Kleene algebra in computer science. PhD Programme
  Technical Report 2008-04, Institute of Computer Science, University of Augsburg, 2008, pp. 58-62