Georg Droschl

Publication Activity (10 Years)

Years Active: 1999-2005
Publications (10 Years): 0

Publications

Wolfgang Kienreich, Vedran Sabol, Tobias Ley, Stefanie N. Lindstaedt, Philipp Koronakis, Georg Droschl
MagIR: Distributed Creation, Administration and Reutilization of Multimedia Presentation Content. Wissensmanagement (2005)
Georg Droschl
Communities of Practice: An Integrated Technology Perspective. J. Univers. Comput. Sci. 10 (3) (2004)
Georg Droschl, Frank Kappe
Vorteile durch eine Verschmelzung von eLearning und Knowledge Management. GI Jahrestagung (2002)
Harald Karner, Georg Droschl
Usage-Centered Interface Design for Knowledge Management Software. J. Univers. Comput. Sci. 8 (6) (2002)
Keith Andrews, Wolfgang Kienreich, Vedran Sabol, Jutta Becker, Georg Droschl, Frank Kappe, Michael Granitzer, Peter Auer, Klaus Tochtermann
The InfoSky visual explorer: exploiting hierarchical structure and document similarities. Inf. Vis. 1 (3-4) (2002)
Stefanie N. Lindstaedt, Markus Strohmaier, Herwig Rollett, Janez Hrastnik, Karin Bruhnsen, Georg Droschl, Markus Gerold
KMap: Providing Orientation for Practitioners When Introducing Knowledge Management. PAKM (2002)
Georg Droschl, Walter Kuhn, Gerald Sonneck, Michael Thuswald
A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module. SAFECOMP (2000)
Georg Droschl
On the Integration of Formal Methods: Events and Scenarios in PVS and VDM. IWFM (1999)
Georg Droschl
A Case Study on the Application of PVS to Requirements Analysis. Australas. J. Inf. Syst. 6 (2) (1999)
Georg Droschl
Analyzing the Requirements of an Access Control Using VDMTools and PVS. World Congress on Formal Methods (1999)