Suche

Publikationen


2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

  • Participants' Proc. 7th Seminar Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra
    R. Berghammer, B. Möller (eds.)
    7th Seminar Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra.
    Malente, Germany, Mai 2003.
  • Greedy-like algorithms in Kleene algebra
    B. Möller, G. Struth
    7th Seminar Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra.
    pp. 173-180, Malente, Germany, Mai 2003.
    In R. Berghammer, B. Möller (eds.): Participants' Proc. 7th Seminar Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra.
    Final version.
  • Kleene modules
    T. Ehm, B. Möller, G. Struth
    7th Seminar Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra.
    pp. 21-27, Malente, Germany, Mai 2003.
    In R. Berghammer, B. Möller (eds.): Participants' Proc. 7th Seminar Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra.
    Final Version.

2002

2001

2000

  • Kleene under a demonic star
    J. Desharnais, B. Möller, F. Tchier
    In T. Rus (ed.): Algebraic Methodology and Software Technology (AMAST 2000), LNCS 1816.
    pp. 355-370, Sep. 2000.
    Springer.
  • Characterizing functions in Kleene algebra
    J. Desharnais, B. Möller
    J. Desharnais (ed.): RelMiCS 2000, 5th International Seminar on Relational Methods in Computer Science.
    pp. 55-64, Université Laval, Québec, Canada, Jan. 2000.

1999

1998

1997

  • Temporal Operators on Partial Orders
    B. Möller
    In U.Berger, K.-H. Niggl, B. Reus (eds.): Proc. 3rd Domain Workshop, Munich, 29--31 May 1997.
    Institut für Informatik, LMU Munich, Technical Report 9712, December 1997, pp. 49-58
  • Calculating With Pointer Structures
    B. Möller
    IFIP TC2/WG2.1 Working Conference.
    In R. Bird, L. Meertens (eds.): Algorithmic languages and calculi Relational Methods in Computer Science 119/3-4.
    pp. 24-48, Le Bischenberg, France, Feb. 1997.
    Chapman & Hall.
  • Calculating a functional module for binary search trees
    W. Dosch, B. Möller
    8th International Workshop.
    In W. Kluge (ed.): Implementation of Functional Languages, LNCS 1268.
    pp. 267-284, Bad Godesberg, Germany, 1997.
    Springer-Verlag.

1996

1995

1994

1993

1992

  • Design and proof of multipliers by correctness-preserving transformation
    C. Delgado Kloos, W. Dosch, B. Möller
    IEEE International Conference on Computer Systems and Software Engineering (CompEuro 92).
    pp. 238-243, Los Alamitos, CA, USA, 1992.
    In P. Dewilde, J. Vandewalle (eds.): Proc. IEEE International Conference on Computer Systems and Software Engineering.
    IEEE Computer Society Press.
  • Some applications of pointer algebra
    B. Möller
    In Broy, M. (ed.): Programming and mathematical method. NATO ASI Series, Series F: Computer and Systems Sciences, Vol. 88.
    pp. 123-155, 1992.
    Springer-Verlag.

1991

1990