Author of the publication

CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS.

, , , , , , , , , , , , and . TACAS, volume 2031 of Lecture Notes in Computer Science, page 574-577. Springer, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Can apps play by the COPPA Rules?, , , , and . PST, page 1-9. IEEE, (2014)Understanding Kinaesthetic Creativity in Dance., , and . CHI, page 511. ACM, (2019)Video brainstorming and prototyping: techniques for participatory design., and . CHI Extended Abstracts, page 118-119. ACM, (1999)The UIST Video Browser: Creating Shareable Playlists of Video Previews., , , and . UIST (Adjunct Volume), page 59-60. ACM, (2016)Computer-Augmented Environments: Back to the Real World - Introduction to the Special Issue., , and . Commun. ACM, 36 (7): 24-26 (1993)Co-designing Communication Technology with and for Families - Methods, Experience, Results and Impact., , , , , and . The Disappearing Computer, volume 4500 of Lecture Notes in Computer Science, page 99-119. Springer, (2007)HCI, Music and Art: An Interview with Wendy Mackay., and . New Directions in Music and Human-Computer Interaction, Springer, (2019)CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets., , , , , , , , , and 3 other author(s). ICATPN, volume 2075 of Lecture Notes in Computer Science, page 71-80. Springer, (2001)Ariel: augmenting paper engineering drawings., , , , , , and . CHI 95 Conference Companion, page 421-422. ACM, (1995)Ethics, Lies and Videotape.... CHI, page 138-145. ACM/Addison-Wesley, (1995)