Jörg Bauer
- 2008
- Published
Relational Analysis for Delivery of Services. / Nielson, Flemming; Nielson, Hanne Riis; Bauer, Jörg; Nielsen, Christoffer Rosenkilde; Pilegaard, Henrik.
In: Lecture Notes in Computer Science, Vol. 4912, 2008, p. 73-89.Publication: Research - peer-review › Journal article – Annual report year: 2008
- Published
Relational Analysis of Correlation. / Bauer, Jörg; Nielson, Flemming; Nielson, Hanne Riis; Pilegaard, Henrik.
In: Static Analysis: Proceedings of 15th International Symposium, SAS 2008. ed. / María Alpuente; Germán Vidal. Springer, 2008. p. 32-46 (Lecture Notes in Computer Science; No. 5079).Publication: Research - peer-review › Article in proceedings – Annual report year: 2008
- 2007
- Published
An Appreciation of the Work of Reinhard Wilhelm. / Reps, Thomas; Sagiv, Mooly; Bauer, Jörg.
In: Lecture Notes in Computer Science, Vol. 4444, 2007, p. 1-11.Publication: Research - peer-review › Conference article – Annual report year: 2007
- Published
Static Analysis of Dynamic Communication Systems by Partner Abstraction. / Bauer, Jörg; Wilhelm, Reinhard.
In: Static Analysis: Lecture Notes in Computer Science. Vol. 4634 Springer, 2007. p. 249-264.Publication: Research › Book chapter – Annual report year: 2007