Madsen, Kim Halskov

• DAIMI Report Series No. 245 (1988): PB-245 Sprogbrug og Design - sammenfattende redegørelse - Articles
  Sprogbrug og Design: - sammenfattende redegørelse
  Abstract  PDF
• DAIMI Report Series No. 176 (1984): PB-176 A Conceptual Framework for the Characterization of Petri Net Description Techniques - Articles
  A Conceptual Framework for the Characterization of Petri Net Description Techniques
  Abstract  PDF
• DAIMI Report Series No. 243 (1988): PB-243 Breakthrough by Breakdown: Metaphors and Structured Domains - Articles
  Breakthrough by Breakdown: Metaphors and Structured Domains
  Abstract  PDF
• DAIMI Report Series No. 242 (1988): PB-242 Information Systems Assessment as a Learning Process - Articles
  Information Systems Assessment as a Learning Process
  Abstract  PDF
• DAIMI Report Series No. 244 (1988): PB-244 Design and Professional Languages - Articles
  Design and Professional Languages
  Abstract  PDF
• DAIMI Report Series No. 257 (1988): PB-257 Five Easy Pieces: Reframing the Design of Office Systems - Articles
  Five Easy Pieces: Reframing the Design of Office Systems
  Abstract  PDF
• DAIMI Report Series No. 152 (1982): PB-152 Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets - Articles
  Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets
  Abstract  PDF
• DAIMI Report Series No. 376 (1991): PB-376 Small Changes: Using Workshops for Giving Participants a Voice - Articles
  Small Changes: Using Workshops for Giving Participants a Voice
  Abstract  PDF
• DAIMI Report Series No. 262 (1988): PB-262 Computer Support for Cooperative Design - Articles
  Computer Support for Cooperative Design
  Abstract  PDF