Publications
- "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
- 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)
|
