dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Andreas Grüner Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Marcello M. Bonsangue, Andreas Grüner, Martin Steffen: Java Test Driver Generation from Object-Oriented Interaction Traces. Electr. Notes Theor. Comput. Sci. 243: 33-47 (2009)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika Ábrahám, Immo Grabe, Andreas Grüner, Martin Steffen: Behavioral interface description of an object-oriented language with futures and promises. J. Log. Algebr. Program. 78(7): 491-518 (2009)
2008
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika Ábrahám, Andreas Grüner, Martin Steffen: Heap-abstraction for an object-oriented calculus with thread classes. Software and System Modeling 7(2): 177-208 (2008)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika Ábrahám, Andreas Grüner, Martin Steffen: Abstract Interface Behavior of Object-Oriented Languages with Monitors. Theory Comput. Syst. 43(3-4): 322-361 (2008)
2006
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika Ábrahám, Andreas Grüner, Martin Steffen: Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. CiE 2006: 1-10
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika Ábrahám, Andreas Grüner, Martin Steffen: Abstract Interface Behavior of Object-Oriented Languages with Monitors. FMOODS 2006: 218-232
2004
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen: Observability, Connectivity, and Replay in a Sequential Calculus of Classes. FMCO 2004: 296-316
1999
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusanne Boll, Andreas Grüner, Armin Haaf, Wolfgang Klas: EMP - A Database-Driven Electronic Market Place for Business-to-Business Commerce on the Internet. Distributed and Parallel Databases 7(2): 149-177 (1999)

Coauthor Index

1Erika Ábrahám (Erika Ábrahám-Mumm) [2] [3] [4] [5] [6] [7]
2Frank S. de Boer [2] [8]
3Susanne Boll [1]
4Marcello M. Bonsangue [2] [8]
5Immo Grabe [7]
6Armin Haaf [1]
7Wolfgang Klas [1]
8Martin Steffen [2] [3] [4] [5] [6] [7] [8]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page