See my profile on Google Scholar for an up-to-date list. The outdated list below contains some direct links to PDF files and is kept for that reason.
- “On Controlled Flexibility” Signe Ellegård Borch, Christian Stefansen, Seventh Workshop on Business Process Modeling, Development, and Support, BPMDS, June 2006
- “Compositional Specification of Commercial Contracts” Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, and Christian Stefansen, 1st International Symposium on Leveraging Applications of Formal Methods, 2004 Accompanying technical report
- “Qualification Report” Christian Stefansen, unpublished, Sep. 2005
- “SMAWL: A Small Workflow Language Based on CCS” Christian Stefansen, CAiSE Forum, 2005
- “SMAWL: A SMAll Workflow Language Based on CCS” Christian Stefansen, Technical Report, TR-06-05, Harvard University
- “Expressing Workflow Patterns in CCS” Christian Stefansen, unpublished, 2005
- “Evaluating the REA Enterprise Ontology from an Operational Perspective”, Signe Ellegård Borch, Christian Stefansen, Enterprise Modelling and Ontologies for Interoperability, EMOI – INTEROP 2004
- “Transforming the Resources/Events/Agents Model into a Formal Process-Oriented Enterprise Framework”, Christian Stefansen, position paper for the First International REA Technology Workshop, April 2004
Slides from Presentations and Misc. Documents (OLD)
- Workflows for eScience (presentation at DIKU, eScience Day, Sep. 2006)
- A Declarative Framework for Enterprise Systems (presentation at Yale University, Feb. 2006; Northeastern University, Mar. 2006; Microsoft Research, Bangalore, Aug. 2006)
- Qualification Report (slides from qualification defense, Sep. 2005)
- SMAWL: A SMAll Workflow Language Based on CCS (poster from CAiSE Forum, 2005)
- Compositional Specification of Commercial Contracts (ps.gz) (presentation at ISoLA, 2004)
- Formal Commercial Contracts(presentation given June 14, 2004 at Microsoft Research, Redmond) (also dvi and ps/gz)
- Studieplan for ph.d.-projekt (pdf) (KLADDE)
- Mini-seminar: The General Ledger (ps.gz)
- Mini-seminar: Activity-Based Costing (ps.gz)
- Workflow Modeling Using the pi-Calculus (short NEXT presentation given at ITU) (also dvi and ps.gz)
- Hovedopgave på HD om DIKU
- Introduktion til tidskompleksitet (ps.gz)
- ML Server Pages (with Peter Sestoft) (#1 – ps.gz, pdf) (#2 pdf)