Robert Büssow

Publication Activity (10 Years)

Years Active: 1995-2012
Publications (10 Years): 0

Top Topics

Processing Capabilities

Genetic Algorithm

Social Networks

Top Venues

Proc. VLDB Endow.

Berlin Institute of Technology (PHD)

Education History

Berlin Institute of Technology

PHD

Publications

Alexander Hall, Olaf Bachmann, Robert Büssow, Silviu Ganceanu, Marc Nunkesser
Processing a Trillion Cells per Mouse Click CoRR (2012)
Alexander Hall, Olaf Bachmann, Robert Büssow, Silviu Ganceanu, Marc Nunkesser
Processing a Trillion Cells per Mouse Click. Proc. VLDB Endow. 5 (11) (2012)
Robert Büssow, Wolfgang Grieskamp
A Modular Framework for the Integration of Heterogeneous Notations and Tools. IFM (1999)
Herbert Weber, Marcus Klar, Stefan Mann, Ralf-Detlef Kutsche, Stefan Jähnichen, Robert Büssow, Hartmut Ehrig, Robert Geisler, Gabriel Baum, Claudia Pons, Miguel Felder, Sergio Waldoke
Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques. German-Argentinian Workshop on Information Technology (1999)
Robert Büssow, Wolfgang Grieskamp, Winfried Heicking, Stephan Herrmann
An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools. FM-Trends (1998)
Robert Büssow, Robert Geisler, Marcus Klar
Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study. FASE (1998)
Robert Büssow, Wolfgang Grieskamp
Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems. ASIAN (1997)
Robert Büssow, Matthias Weber
A Steam-Boiler Control Specification with Statecharts and Z. Formal Methods for Industrial Applications (1995)