Much of this information is internal documentation. Care has not been made to make links work and make the documentation conprehensible for outsiders.
A tool presentation paper for the Petri Nets 2001 conference. Page limit is 10 pages and submission deadline is November 15.
A paper about the experiment comparing the three interaction techniques for the ACM CHI Conference (Human Factors in Computing Systems).
A paper about the wonders of using Beta for the ECOOP or OOPSLA conference.
A journal article about the whole system for TOCHI, TOG or SP&E.
Instrumental Interaction: an Interaction Model for Designing Post-WIMP Interfaces,
In Proc. ACM Human Factors in Computing Systems, CHI'2000, The Hague (Netherlands), April 2000, ACM Press.
M. Beaudouin-Lafon, M. Lassen.
The Architecture and Implementation of CPN2000, A Post-WIMP Graphical Application.
To appear in Proc. ACM Symposium on User Interface Software and Technology, UIST 2000 San Diego, CA (USA), 5-8 November 2000, ACM Press, 2000.
M. Beaudouin-Lafon, W.E. Mackay.
Reification, Polymorphism and Reuse: Three Principles for Designing Visual Interfaces.
In Proc. Advanced Visual Interfaces, AVI 2000, Palermo (Italy), 24-26 May 2000, ACM Press, 2000, p. 102-109.
P. Janecek, A.V. Ratzer, W.E. Mackay.
Redesigning Design/CPN: Integrating Interaction and Petri Nets in Use.
In Kurt Jensen (ed.):
http://www.daimi.au.dk/CPnets/workshop99/ Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN,
Aarhus, Denmark, October, 1999.
W.E. Mackay, A.V. Ratzer, P. Janecek.
Video Artifacts for Design: Bridging the Gap Between Design Abstraction and Detail.
In Proc. ACM Designing Interactive Systems, DIS 2000, New York (USA), August 2000, ACM Press.
Expanding an Advanced Interface: Modifying and Reapplying Design Principles (poster).
In Extended Abstracts, CHI 2001, Seattle (USA), April 2001, ACM Press.
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets.
Ecole des Mines de Nantes, May 29, 2000
21st International Conference on Applications and Theory of Petri Nets, 28-30 June, 2000
ETAPS 2001, April 2001