Bernhard Bauer

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1995
Publication period end
2004
Number of co-authors
3

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Bauer, Bernhard, Huget, Marc-Philippe (2004): Modelling web service composition with UML 2.0. In Int. J. Web Eng. Technol., 1 (4) pp. 484-501.

Seitz, Christian, Berger, Michael, Bauer, Bernhard (2004): MPDG - Mobile Profile based Distributed Grouping. In: 2nd IEEE Conference on Pervasive Computing and Communications Workshops PerCom 2004 Workshops 14-17 March, 2004, Orlando, FL, USA. pp. 60-64. http://csdl.computer.org/comp/proceedings/percomw/2004/2106/00/21060060abs.htm

Bauer, Bernhard (1995): Proving the Correctness of Formal User Interface Specifications. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 224-241.