Analyzing the Requirements of an Access Control Using VDMTools and PVS. - Georg Droschl (World Congress on Formal Methods, 1999)

On the Integration of Formal Methods: Events and Scenarios in PVS and VDM. - Georg Droschl (IWFM, 1999)

A Case Study on the Application of PVS to Requirements Analysis. - Georg Droschl (Australas. J. Inf. Syst., 1999)

A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module. - Georg Droschl; Walter Kuhn; Gerald Sonneck; Michael Thuswald (SAFECOMP, 2000)

Vorteile durch eine Verschmelzung von eLearning und Knowledge Management. - Georg Droschl; Frank Kappe (GI Jahrestagung, 2002)

KMap: Providing Orientation for Practitioners When Introducing Knowledge Management. - Stefanie N. Lindstaedt; Markus Strohmaier; Herwig Rollett; Janez Hrastnik; Karin Bruhnsen; Georg Droschl; Markus Gerold (PAKM, 2002)

The InfoSky visual explorer: exploiting hierarchical structure and document similarities. - Keith Andrews; Wolfgang Kienreich; Vedran Sabol; Jutta Becker; Georg Droschl; Frank Kappe; Michael Granitzer; Peter Auer; Klaus Tochtermann (Inf. Vis., 2002)

Usage-Centered Interface Design for Knowledge Management Software. - Harald Karner; Georg Droschl (J. Univers. Comput. Sci., 2002)

Communities of Practice: An Integrated Technology Perspective. - Georg Droschl (J. Univers. Comput. Sci., 2004)

MagIR: Distributed Creation, Administration and Reutilization of Multimedia Presentation Content. - Wolfgang Kienreich; Vedran Sabol; Tobias Ley; Stefanie N. Lindstaedt; Philipp Koronakis; Georg Droschl (Wissensmanagement, 2005)