Georg Droschl

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2005
MagIR: Distributed Creation, Administration and Reutilization of Multimedia Presentation Content.
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.
J. Univers. Comput. Sci., 2004

2002
Usage-Centered Interface Design for Knowledge Management Software.
J. Univers. Comput. Sci., 2002

The InfoSky visual explorer: exploiting hierarchical structure and document similarities.
Inf. Vis., 2002

KMap: Providing Orientation for Practitioners When Introducing Knowledge Management.
Proceedings of the Practical Aspects of Knowledge Management, 4th International Conference, 2002

Vorteile durch eine Verschmelzung von eLearning und Knowledge Management.
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.
Proceedings of the Computer Safety, 2000

1999
A Case Study on the Application of PVS to Requirements Analysis.
Australas. J. Inf. Syst., 1999

On the Integration of Formal Methods: Events and Scenarios in PVS and VDM.
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.
Proceedings of the FM'99 - Formal Methods, 1999


  Loading...