Georg Droschl

According to our database, Georg Droschl authored at least 10 papers between 1999 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2005

MagIR: Distributed Creation, Administration and Reutilization of Multimedia Presentation Content.

Wolfgang Kienreich, Vedran Sabol, Tobias Ley, Stefanie N. Lindstaedt, Philipp Koronakis, Georg Droschl

Proceedings of the WM 2005: Professional Knowledge Management - Experiences and Visions, Contributions to the 3rd Conference Professional Knowledge Management, 2005

2004

Communities of Practice: An Integrated Technology Perspective.

Georg Droschl

J. Univers. Comput. Sci., 2004

2002

Usage-Centered Interface Design for Knowledge Management Software.

Harald Karner, Georg Droschl

J. Univers. Comput. Sci., 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

KMap: Providing Orientation for Practitioners When Introducing Knowledge Management.

Stefanie N. Lindstaedt, Markus Strohmaier, Herwig Rollett, Janez Hrastnik, Karin Bruhnsen, Georg Droschl, Markus Gerold

Proceedings of the Practical Aspects of Knowledge Management, 4th International Conference, 2002

Vorteile durch eine Verschmelzung von eLearning und Knowledge Management.

Georg Droschl, Frank Kappe

Proceedings of the 32. Jahrestagung der Gesellschaft für Informatik, Informatik bewegt, INFORMATIK 2002, Dortmund, Germany, September 30, 2002

2000

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

Proceedings of the Computer Safety, 2000

1999

A Case Study on the Application of PVS to Requirements Analysis.

Georg Droschl

Australas. J. Inf. Syst., 1999

On the Integration of Formal Methods: Events and Scenarios in PVS and VDM.

Georg Droschl

Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999

Analyzing the Requirements of an Access Control Using VDMTools and PVS.

Georg Droschl

Proceedings of the FM'99 - Formal Methods, 1999