io-port.net

io-port 05942523 Balzer, Stephanie; Gross, Thomas R.

Verifying multi-object invariants with relationships. (English)

Mezini, Mira (ed.), ECOOP 2011 ‒ object-oriented programming. 25th European conference, Lancaster, UK, July 25‒29, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22654-0/pbk). Lecture Notes in Computer Science 6813, 358-382 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50137562 Balzer, Susanne; Malde, Ketil; Jonassen, Inge

Systematic exploration of error sources in pyrosequencing flowgram data (English)

Bioinformatics [ISMB/ECCB] 27, No. 13, 304-309 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70860586 Balzer, Stephanie; Gross, Thomas R.

Verifying multi-object invariants with relationships (English)

ECOOP, 358-382 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70222161 Balzer, Stephanie; Gross, Thomas R.

Modular reasoning about invariants over shared state with interposed data members (English)

PLPV, 49-56 (2010).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70669972 Nelson, Stephen; Balzer, Stephanie; Bierman, Gavin M.; Meijer, Erik; Noble, James; Pearce, David J.; Soukup, Jiri; Tip, Frank

Relationships and associations in object-oriented languages (English)

OOPSLA Companion, 855-856 (2008).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05742806 Schattenberg, Bernd; Balzer, Steffen; Biundo, Susanne

Realizing hybrid planning systems as modern software environments. (English)

KI, Künstl. Intell. 21, No. 1, 16-22 (2007).

6

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70861123 Balzer, Stephanie; Gross, Thomas R.; Eugster, Patrick

A relational model of object collaborations and its use in reasoning about relationships (English)

ECOOP, 323-346 (2007).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70254266 Schattenberg, Bernd; Balzer, Steffen; Biundo, Susanne

Knowledge-based middleware as an architecture for planning and scheduling systems (English)

ICAPS, 422-425 (2006).

8

PDF XML AMS-TeX TEXT BIBTeX

io-port 70189328 Balzer, Stephanie; Eugster, Patrick Th.; Meyer, Bertrand

Can aspects implement contracts? (English)

RISE, 145-157 (2005).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70380341 Balzer, Steffen; Liebig, Thorsten; Wagner, Matthias

Pitfalls of OWL-S: a practical semantic web use case (English)

ICSOC, 289-298 (2004).

10

PDF XML AMS-TeX TEXT BIBTeX DOI