Author of the publication

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

Idioms of Logical Modelling.. ICGT, volume 4178 of Lecture Notes in Computer Science, page 14. Springer, (2006)Object spreadsheets: a new computational model for end-user development of data-centric web applications., , and . Onward!, page 112-127. ACM, (2016)Occupancy monitoring using environmental & context sensors and a hierarchical analysis framework., , , , , , , , , and . BuildSys@SenSys, page 90-99. ACM, (2014)Automating first-order relational logic.. SIGSOFT FSE, page 130-139. ACM, (2000)Do You Really Need Formal Requirements/Requirements Need Form, Maybe Formality (Point-Counterpoint)., and . IEEE Software, 13 (2): 20 (1996)Aspect: Detecting Bugs with Abstract Dependences.. ACM Trans. Softw. Eng. Methodol., 4 (2): 109-145 (1995)Panopticon: a parallel video overview system., , , , , and . UIST, page 123-130. ACM, (2013)αRby - An Embedding of Alloy in Ruby., , and . ABZ, volume 8477 of Lecture Notes in Computer Science, page 56-71. Springer, (2014)A Structure for Dependability Arguments., and . ASM, volume 5977 of Lecture Notes in Computer Science, page 1. Springer, (2010)Conveying spatial awareness cues in xR collaborations., , , and . IEEE Trans. Vis. Comput. Graph., 25 (11): 3178-3189 (2019)