Author of the publication

Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties.

, and . DSV-IS, volume 1946 of Lecture Notes in Computer Science, page 135-150. Springer, (2000)

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

MARIA: A universal, declarative, multiple abstraction-level language for service-oriented applications in ubiquitous environments, , and . ACM Trans. Comput.-Hum. Interact., 16 (4): 1--30 (November 2009)Exploiting Mobile Devices to Support Museum Visits through Multi-Modal Interfaces and Multi-Device Games., and . WEBIST (1), page 459-465. INSTICC Press, (2007)Support for authoring service front-ends, , and . Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems, page 85--90. New York, NY, USA, ACM, (2009)Natural Development of Nomadic Interfaces Based on Conceptual Descriptions., , and . End User Development, Springer, (2006)One Model, Many Interfaces, and . Computer-Aided Design of User Interfaces III, Kluwer, Dordrecht, (2002)Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties., and . DSV-IS, volume 1946 of Lecture Notes in Computer Science, page 135-150. Springer, (2000)On-demand cross-device interface components migration., , and . Mobile HCI, page 299-308. ACM, (2010)Support for authoring service front-ends., , and . EICS, page 85-90. ACM, (2009)A Design Space for User Interface Composition., , and . Model-Driven Development of Advanced User Interfaces, volume 340 of Studies in Computational Intelligence, (2011)Design and Development of Multidevice User Interfaces through Multiple Logical Descriptions., , and . IEEE Trans. Software Eng., 30 (8): 507-520 (2004)