BibTeX records: Robert Büssow

• > Home > Persons > Robert Büssow

@article{DBLP:journals/pvldb/HallBBGN12,
  author       = {Alexander Hall and
                  Olaf Bachmann and
                  Robert B{\"{u}}ssow and
                  Silviu Ganceanu and
                  Marc Nunkesser},
  title        = {Processing a Trillion Cells per Mouse Click},
  journal      = {Proc. {VLDB} Endow.},
  volume       = {5},
  number       = {11},
  pages        = {1436--1446},
  year         = {2012},
  url          = {http://vldb.org/pvldb/vol5/p1436\_alexanderhall\_vldb2012.pdf},
  doi          = {10.14778/2350229.2350259},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pvldb/HallBBGN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1208-0225,
  author       = {Alexander Hall and
                  Olaf Bachmann and
                  Robert B{\"{u}}ssow and
                  Silviu Ganceanu and
                  Marc Nunkesser},
  title        = {Processing a Trillion Cells per Mouse Click},
  journal      = {CoRR},
  volume       = {abs/1208.0225},
  year         = {2012},
  url          = {http://arxiv.org/abs/1208.0225},
  eprinttype    = {arXiv},
  eprint       = {1208.0225},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-0225.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/de/Bussow2003,
  author       = {Robert B{\"{u}}ssow},
  title        = {Model checking combined {Z} and statechart specifications},
  school       = {Berlin Institute of Technology},
  year         = {2003},
  url          = {http://edocs.tu-berlin.de/diss/2003/buessow\_robert.htm},
  urn          = {urn:nbn:de:kobv:83-opus-5300},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/de/Bussow2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gait/WeberKMKJBEGBPFW99,
  author       = {Herbert Weber and
                  Marcus Klar and
                  Stefan Mann and
                  Ralf{-}Detlef Kutsche and
                  Stefan J{\"{a}}hnichen and
                  Robert B{\"{u}}ssow and
                  Hartmut Ehrig and
                  Robert Geisler and
                  Gabriel Baum and
                  Claudia Pons and
                  Miguel Felder and
                  Sergio Waldoke},
  editor       = {Stefan J{\"{a}}hnichen and
                  Irene Loiseau},
  title        = {Integrating Object-Oriented Modelling Techniques with Formal Specification
                  Techniques},
  booktitle    = {German-Argentinian Workshop on Information Technology, K{\"{o}}nigswinter,
                  Germany, March 3-5, 1999. International Bureau of the BMBF, North
                  and South America, Bonn, 1999},
  pages        = {23--30},
  year         = {1999},
  timestamp    = {Mon, 15 Jul 2019 16:01:48 +0200},
  biburl       = {https://dblp.org/rec/conf/gait/WeberKMKJBEGBPFW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/BussowG99,
  author       = {Robert B{\"{u}}ssow and
                  Wolfgang Grieskamp},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {A Modular Framework for the Integration of Heterogeneous Notations
                  and Tools},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {211--230},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_12},
  doi          = {10.1007/978-1-4471-0851-1\_12},
  timestamp    = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/BussowG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/BussowGK98,
  author       = {Robert B{\"{u}}ssow and
                  Robert Geisler and
                  Marcus Klar},
  editor       = {Egidio Astesiano},
  title        = {Specifying Safety-Critical Embedded Systems with Statecharts and {Z:}
                  {A} Case Study},
  booktitle    = {Fundamental Approaches to Software Engineering, 1st Internationsl
                  Conference, FASE'98, Held as Part of the European Joint Conferences
                  on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal,
                  March 28 - April 4, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1382},
  pages        = {71--87},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0053584},
  doi          = {10.1007/BFB0053584},
  timestamp    = {Sat, 07 Sep 2019 11:59:24 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/BussowGK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/BussowGHH98,
  author       = {Robert B{\"{u}}ssow and
                  Wolfgang Grieskamp and
                  Winfried Heicking and
                  Stephan Herrmann},
  editor       = {Dieter Hutter and
                  Werner Stephan and
                  Paolo Traverso and
                  Markus Ullmann},
  title        = {An Open Environment for the Integration of Hetereogenous Modelling
                  Techniques and Tools},
  booktitle    = {Applied Formal Methods - FM-Trends 98, International Workshop on Current
                  Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1641},
  pages        = {184--195},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-48257-1\_11},
  doi          = {10.1007/3-540-48257-1\_11},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/BussowGHH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asian/BussowG97,
  author       = {Robert B{\"{u}}ssow and
                  Wolfgang Grieskamp},
  editor       = {R. K. Shyamasundar and
                  Kazunori Ueda},
  title        = {Combining {Z} and Temporal Interval Logics for the Formalization of
                  Properties and Behaviors of Embedded Systems},
  booktitle    = {Advances in Computing Science - {ASIAN} '97, Third Asian Computing
                  Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1345},
  pages        = {46--56},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63875-X\_42},
  doi          = {10.1007/3-540-63875-X\_42},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/asian/BussowG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/BussowW95,
  author       = {Robert B{\"{u}}ssow and
                  Matthias Weber},
  editor       = {Jean{-}Raymond Abrial and
                  Egon B{\"{o}}rger and
                  Hans Langmaack},
  title        = {A Steam-Boiler Control Specification with Statecharts and {Z}},
  booktitle    = {Formal Methods for Industrial Applications, Specifying and Programming
                  the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
                  June 1995)},
  series       = {Lecture Notes in Computer Science},
  volume       = {1165},
  pages        = {109--128},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0027233},
  doi          = {10.1007/BFB0027233},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BussowW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}