BibTeX records: Robert Geisler

download as .bib file

@article{DBLP:journals/nar/SrinivasanOKGS04,
  author       = {Jagan Srinivasan and
                  Georg W. Otto and
                  Ulrich Kahlow and
                  Robert Geisler and
                  Ralf J. Sommer},
  title        = {AppaDB: an AcedB database for the nematode satellite organism Pristionchus
                  pacificus},
  journal      = {Nucleic Acids Res.},
  volume       = {32},
  number       = {Database-Issue},
  pages        = {421--422},
  year         = {2004},
  url          = {https://doi.org/10.1093/nar/gkh057},
  doi          = {10.1093/NAR/GKH057},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nar/SrinivasanOKGS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ws/phaunRS01/EhrigGGKM01,
  author       = {Hartmut Ehrig and
                  Robert Geisler and
                  Martin Gro{\ss}e{-}Rhode and
                  Marcus Klar and
                  Stefan Mann},
  editor       = {Gheorghe Paun and
                  Grzegorz Rozenberg and
                  Arto Salomaa},
  title        = {On Formal Semantics and Integration of Object-Oriented Modeling Languages},
  booktitle    = {Current Trends in Theoretical Computer Science, Entering the 21th
                  Century},
  pages        = {226--232},
  publisher    = {World Scientific},
  year         = {2001},
  timestamp    = {Sat, 03 Aug 2019 22:52:51 +0200},
  biburl       = {https://dblp.org/rec/books/ws/phaunRS01/EhrigGGKM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/EhrigGGKM00,
  author       = {Hartmut Ehrig and
                  Robert Geisler and
                  Martin Gro{\ss}e{-}Rhode and
                  Marcus Klar and
                  Stefan Mann},
  title        = {On Formal Semantics and Integration of Object-Oriented Modeling Languages},
  journal      = {Bull. {EATCS}},
  volume       = {70},
  pages        = {77--81},
  year         = {2000},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/EhrigGGKM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/dnb/Geisler99,
  author       = {Robert Geisler},
  title        = {Formal semantics for the integration of statecharts and {Z} in metamodel
                  based framework},
  school       = {Technical University of Berlin, Germany},
  year         = {1999},
  url          = {https://d-nb.info/956088171},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Geisler99.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}
}

@article{DBLP:journals/ife/EhrigGK98,
  author       = {Hartmut Ehrig and
                  Robert Geisler and
                  Marcus Klar},
  title        = {DFG-Schwerpunktprogramm ab 1998. Integration von Techniken der Softwarespezifikation
                  f{\"{u}}r ingenieurwissenschaftliche Anwendungen},
  journal      = {Inform. Forsch. Entwickl.},
  volume       = {13},
  number       = {1},
  pages        = {43--46},
  year         = {1998},
  url          = {https://doi.org/10.1007/s004500050096},
  doi          = {10.1007/S004500050096},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ife/EhrigGK98.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/concur/EhrigGKP97,
  author       = {Hartmut Ehrig and
                  Robert Geisler and
                  Marcus Klar and
                  Julia Padberg},
  editor       = {Antoni W. Mazurkiewicz and
                  J{\'{o}}zef Winkowski},
  title        = {Horizontal and Vertical Structuring Techniques for Statecharts},
  booktitle    = {{CONCUR} '97: Concurrency Theory, 8th International Conference, Warsaw,
                  Poland, July 1-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1243},
  pages        = {181--195},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63141-0\_13},
  doi          = {10.1007/3-540-63141-0\_13},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/EhrigGKP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/GeislerKC96,
  author       = {Robert Geisler and
                  Marcus Klar and
                  Felix Cornelius},
  editor       = {Martin Wirsing and
                  Maurice Nivat},
  title        = {\emph{InterACT}: An Interactive Theorem Prover for Algebraic Specifications},
  booktitle    = {Algebraic Methodology and Software Technology, 5th International Conference,
                  {AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1101},
  pages        = {563--566},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0014342},
  doi          = {10.1007/BFB0014342},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/GeislerKC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/compass/KlarGC95,
  author       = {Marcus Klar and
                  Robert Geisler and
                  Felix Cornelius},
  editor       = {Magne Haveraaen and
                  Olaf Owe and
                  Ole{-}Johan Dahl},
  title        = {\emph{InterACT}: An Interactive Theorem and Completeness Prover for
                  Algebraic Specifications with Conditional Equation},
  booktitle    = {Recent Trends in Data Type Specification, 11th Workshop on Specification
                  of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
                  Norway, September 19-23, 1995, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1130},
  pages        = {291--395},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61629-2\_49},
  doi          = {10.1007/3-540-61629-2\_49},
  timestamp    = {Sat, 30 Sep 2023 09:37:34 +0200},
  biburl       = {https://dblp.org/rec/conf/compass/KlarGC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.