BibSonomy publications for /author/DroschlMon Jul 04 00:00:00 CEST 2011PAKMconf/pakm/20022-13Lecture Notes in Computer ScienceKMap: Providing Orientation for Practitioners When Introducing Knowledge Management.25692002dblp Mon Jun 20 00:00:00 CEST 2011World Congress on Formal Methodsconf/fm/1999-21870Lecture Notes in Computer ScienceAnalyzing the Requirements of an Access Control Using VDMTools and PVS.17091999dblp Tue May 31 00:00:00 CEST 2011GI Jahrestagungconf/gi/2002-1299-303LNIVorteile durch eine Verschmelzung von eLearning und Knowledge Management.192002dblp Tue Feb 15 00:00:00 CET 2011Australasian J. of Inf. Systems2A Case Study on the Application of PVS to Requirements Analysis.61999dblp Wed Sep 24 20:10:25 CEST 2008Proceedings of HCI 2003 International, Creta, GreeceInfoSky: Visual Exploration of Large Hierarchical Document Repositories2003conference myown Wed Sep 24 20:10:25 CEST 2008KnowTech 2002, 4. Konferenz zum Einsatz von Knowledge Management in Wirtschaft und Verwaltung (www.knowtech2002.de), München,GermanyInfoSky: Eine neue Technologie zur Erforschung großer, hierarchischer Wissensräume2002conference myown Wed Sep 24 20:08:08 CEST 2008Information Visualization3/4166--181The InfoSky visual explorer: exploiting hierarchical structure and document similarities12002journal myown Tue May 22 22:23:02 CEST 20075th International Conference on Organisational Knowledge, Learning, and Capabilities. Innsbruck, April 2-3 2004AD-HOC – Work-integrated Technology-supported Teaching and Learning2004elearning knowledge_management lang:en Tue May 31 00:00:00 CEST 2005Wissensmanagementconf/wm/2005481-486MagIR: Distributed Creation, Administration and Reutilization of Multimedia Presentation Content.2005dblp Wed May 04 00:00:00 CEST 2005J. UCS3284-293Communities of Practice: An Integrated Technology Perspective.102004dblp Thu Mar 25 00:00:00 CET 2004IWFMconf/iwfm/1999Workshops in ComputingOn the Integration of Formal Methods: Events and Scenarios in PVS and VDM.1999dblp Fri Mar 12 00:00:00 CET 2004J. UCS6634-643Usage-Centered Interface Design for Knowledge Management Software.82002dblp Wed Jun 18 00:00:00 CEST 2003Information Visualization3-4166-181The InfoSky visual explorer: exploiting hierarchical structure and document similarities.12002dblp Thu Jan 03 00:00:00 CET 2002SAFECOMPconf/safecomp/2000187-197Lecture Notes in Computer ScienceA Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module.19432000dblp