Author: Bernhard Bauer
Publications
Co-authors
Productive Colleagues
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.
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.
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. https://csdl.computer.org/comp/proceedings/percomw/2004/2106/00/21060060abs.htm