Barbara Leoniuk

Publication Activity (10 Years)

Years Active: 1998-2001
Publications (10 Years): 0

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Ulf Milanese
Prototyping and Programming with Relations. Electron. Notes Theor. Comput. Sci. 44 (3) (2001)
Rudolf Berghammer, Barbara Leoniuk, Ulf Milanese
Implementation of Relational Algebra Using Binary Decision Diagrams. RelMiCS (2001)
Ralf Behnke, Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Peter Schneider
Applications of the Rel View System. Tool Support for System Specification, Development and Verification (1998)