Author of the publication

Languages for formalizing, visualizing and verifying software architectures

, , and . Computer Languages, 27 (1-3): 3--18 (2001)
DOI: 10.1016/S0096-0551(01)00013-3

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

Languages for formalizing, visualizing and verifying software architectures, , and . Computer Languages, 27 (1-3): 3--18 (2001)Exploring the potentials of combining photo annotating tasks with instant messaging fun., and . MUM, volume 83 of ACM International Conference Proceeding Series, page 11-17. ACM, (2004)Size Variation and Flow Experience of Physical Game Support Objects., , and . ICEC, volume 3166 of Lecture Notes in Computer Science, page 283-295. Springer, (2004)Implementation and Validation of UPnP for Embedded Systems in a Home Networking Environment., , and . Communications, Internet, and Information Technology, page 279-284. IASTED/ACTA Press, (2002)Co-constructing Stories Based on Users Lived Experiences to Investigate Visualization Design for Collective Stress Management., , , , , , and . Conference on Designing Interactive Systems, page 652-663. ACM, (2023)Understanding How Group Workers Reflect on Organizational Stress with a Shared, Anonymous Heart Rate Variability Data Visualization., , , , and . CHI Extended Abstracts, page 27:1-27:7. ACM, (2022)HeartPlotter: Visualizing Bio-data by Drawing on Paper., , , , and . CHI Extended Abstracts, page 1794-1799. ACM, (2016)Designing for reliable textile neonatal ECG monitoring using multi-sensor recordings., , , , and . EMBC, page 2488-2491. IEEE, (2011)Pain signaling with physiological data for persons with communication difficulties: A pilot study of the Pain App., , , , and . CogInfoCom, page 61-66. IEEE, (2020)Smart Jacket Design for Neonatal Monitoring with Wearable Sensors., , , and . BSN, page 162-167. IEEE Computer Society, (2009)